|
Assertions
b² = q ·
c and a² = p · c
Evidence
Condition: Both hypotenuse sections p and q make the
hypotenuse c.
1. b² = q · c
b² = h² + q² (Theorem
of Pythagoras, h² = p · q – Theorem of Euclid’s)
b² = p · q + q²
| q factored out
b² = q · (p + q)
(p + q = c, displayed shortly before)
b² = q · c
2. a² = p · c
a² = h² + p² (Theorem of
Pythagoras, h² = p · q – Theorem of Euclid’s)
a² = p · q + p²
| p factored out
a² = p · (q + p) (p + q = c,
displayed shortly before)
a² = p · c
[previous site] [superordinate site] |