Muốn tính diện tích tam giác vuông ABC, ta dựng hình chữ nhật ABDC như trên
- ∆ABC = ∆DCB (hai cạnh góc vuông)
⇒SABC = SDCB (theo tính chất 1 diện tích đa giác) (1)
Đường chéo BC chia hình chữ nhật ABDC thành 2 phần là ∆ABC và ∆DCB
⇒SABDC = SABC + SDCB (theo tính chất 2 diện tích đa giác) (2)
Từ (1) và (2) ⇒ SABDC = 2SABC ⇒ SABC = SABDC
- ABDC là hình chữ nhật ⇒ SABDC = a.b
⇒ SABC = SABDC = ab