Twierdzenie Pitagorasa. Jeżeli trójkąt jest prostokątny, to kwadrat długości przeciwprostokątnej jest równy
sumie kwadratów długości przyprostokątnych. Założenie: ?ABC jest prostokątny. Teza: c2 = a2 b2. 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.