Twierdzenie Pitagorasa
Jeśli trójkąt jest prostokątny, to suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej.
Założenie: ABC jest prostokątny.
Teza: a2 + b2 = c2
Odwrotne twierdzenie Pitagorasa
Jeżeli w trójkącie kwadrat długości jednego boku jest równy sumie kwadratów długości boków pozostałych, to ten trójkąt jest prostokątny.
Założenie: a, b, c - boki ABC, c2 = a2 + b2.
Teza: ABC jest prostokątny (|kątC| = 900).
Odwrotne twierdzenie Talesa
Jeżeli proste przecinające ramiona kąta wyznaczają na jednym ramieniu odcinki proporcjonalne do odpowiednich odcinków na drugim ramieniu, to te proste są równoległe.