Derékszögű háromszögekre vonatkozó tételek
A derékszögű háromszögek metrikus geometriájának alapját a hasonlósági transzformációk terjesztik ki. Ha az átfogóhoz tartozó $m$ magasságot behúzzuk, a háromszöget két, az eredetihez és egymáshoz is hasonló derékszögű háromszögre bontjuk.[cite: 64]
- Magasságtétel: A derékszögű háromszög átfogóhoz tartozó magassága mértani közepe az átfogó két szeletének. $m = \sqrt{pq}$, vagy $m^2 = p \cdot q$.[cite: 64]
- Befogótétel: A derékszögű háromszög bármelyik befogója mértani közepe az átfogónak és a befogó átfogóra eső merőleges vetületének. $a = \sqrt{cq}$ és $b = \sqrt{cp}$.[cite: 64]
- Thalész-tétel: Ha egy kör átmérőjének két végpontját összekötjük a körvonal bármely más pontjával, derékszögű háromszöget kapunk.[cite: 65]
Állítás: Bármely derékszögű háromszögben a befogók hosszának négyzetösszege egyenlő az átfogó hosszának négyzetével ($a^2 + b^2 = c^2$).
Bizonyítás: Írjuk fel a befogótételt mindkét befogóra, és emeljük négyzetre őket:
$$a^2 = c \cdot q$$ $$b^2 = c \cdot p$$Adjuk össze a két egyenletet megfelelő oldalanként:
$$a^2 + b^2 = c \cdot q + c \cdot p$$Emeljük ki a közös $c$ tényezőt a jobb oldalon:
$$a^2 + b^2 = c \cdot (p + q)$$Mivel az átfogó két szeletének összege maga az átfogó ($p + q = c$), behelyettesítve kapjuk:
$$a^2 + b^2 = c \cdot c = c^2$$Ezzel a tételt bebizonyítottuk. Q.E.D.[cite: 64] (A tétel megfordítása is igaz: ha $a^2 + b^2 = c^2$, akkor a háromszög derékszögű).