Mając do dyspozycji kolby miarowe przedstawione

Znając długości trzech boków trójkąta jesteśmy w stanie stwierdzić czy jest on prostokątny.

Wystarczy sprawdzić czy suma kwadratów długości dwóch krótszych boków jest równa kwadratowi długości najdłuższego boku.

Takie twierdzenie nazywamy twierdzeniem odwrotnym do twierdzenia Pitagorasa.

Twierdzenie odwrotne do twierdzenia Pitagorasa:

Jeśli w trójkącie suma kwadratów długości dwóch krótszych boków jest równa kwadratowi długości najdłuższego boku, to trójkąt jest prostokątny.

Liczby niewymierne to liczby, których nie da się przedstawić w postaci ułamka `p/q` , gdzie p jest liczbą całkowitą a q jest liczbą całkowitą różną od 0.

Zbiór wszystkich liczb niewymiernych oznaczamy symbolem NW.
 

Przykłady liczb niewymiernych: `sqrt2 \ , \ -sqrt5 \ , \ pi \ , root(4)(17)`   

Każda liczba niewymierna posiada rozwinięcie dziesiętne nieskończone i nieokresowe.