Kolmion voi todistaa suorakulmaiseksi pythagoraan lauseen käänteislauseen avulla.

• (Käänteislausetta voi käyttää myös nelikulmion suorakulmaiseksi todistamiseen sen lävistäjän avulla)
  
  
• Käänteislauseessa tarkastellaan erikseen kateettien neliöiden summaa ja hypotenuusan neliötä. Jos kateettien neliöiden summa on yhtä suuri kuin hypotenuusan neliö, on kolmio suorakulmainen.