Trójkąt prostokątny - trójkąt, którego jeden z kątów wewnętrznych jest prosty.
Dwa boki trójkąta wyznaczające ramiona kąta prostego nazywane są przyprostokątnymi, trzeci bok przeciwprostokątną.
Szczególnym rodzajem trójkąta prostokątnego jest trójkąt pitagorejski tj. taki, w którym długości boków są liczbami naturalnymi. Najprostszy z nich to trójkąt egipski o stosunkach długości boków 3:4:5 [1].
Trójkąt prostokątny jest figurą, na której opierają się podstawowe definicje funkcji trygonometrycznych kątów przy przeciwprostokątnej.
Spis treści |
, jest ona zarazem średnią geometryczną długości odcinków, na które dzieli przeciwprostokątną spodek wysokości

,

Dowód: Zgodnie z wzorem na różnicę kwadratów: (a + b − c)(a + b + c) = (a + b)2 − c2. Z twierdzenia Pitagorasa wynika: (a + b)2 − c2 = 2ab. Zatem z wzorów na pole trójkąta:
i
.
Dowód: Z wzoru na promień okręgu wpisanego:
,
,
, gdzie x,y to długości odcinków, na które wysokość dzieli c. Zatem (x + y = c)
.

co wynika z twierdzenia Pitagorasa i podobieństwa trójkątów.
