A Proof of the Pythagorean Theorem From Heron's Formula II

I was reminded of this proof by José Antônio Fabiano Mendes from Rio de Janeiro, Brazil. It appears as the algebraic proof 107 in Loomis' collection.

Join two copies of the base right triangle with legs a, b and hypotenuse c as shown in the diagram. The result is an isosceles triangle with side lengths of 2b, c, c and area S = ab, obviously. To this triangle we apply Heron's formula. With the semiperimeter p = b + c, we have

S² = (b + c) b² (c - b)

Substituting S² = (ab)² and dividing by b² we obtain

a² = c² - b²

This is indeed a much shorter application of Heron's formula than proof #23.

If the length of the derivation is of no concern, note that Heron's formula extension, i.e. Brahmagupta's formula for cyclic quadrilaterals could be used in proof #52; for an isosceles trapezoid is cyclic. To apply Brahmagupta's formula we'll have to use the Socratic version of the Pythagorean theorem as was done in proof #64. The result is lengthier than proof #52 but, otherwise, is much along the lines of the above derivation.

Loomis mentions that Versluys attributes the proof to J. J. Posthumus.

References

E. S. Loomis, The Pythagorean Proposition, NCTM, 1968

41173603