Mechanical Proof of the Pythagorean Theorem
The Pythagorean theorem is arguably one of the most fundamental results in mathematics, with more known proofs than probably any other theorem. It is satisfying to know that the theorem lurks in many mechanical phenomena as demonstrated below. There is clearly more than one sense in which it deserves the designation of fundamental.
Imagine a right triangular prism with a right triangle as a base [Mark Levi, p. 10, and another discussion]. Let the legs of the triangle be a, b, and the hypotenuse c. Imagine the prism filled with water and mounted on a vertical spindle at one of the acute angles of the base triangle. The prism can freely rotate around the spindle. Will it?
The answer is naturally, No. A prism left to its own devices will not move any way and stay at rest. This means that the forces acting on the prism somehow balance out. Beside the vertical gravitational pull that is balanced by the spindle's resistance, what are other forces that act on the prism?
The water pushes from inside on each of the side faces of the prism. The push is proportional to the area of the side and, since all of them are rectangles of the same height, to their lengths. This force at each side generates a torque (momentum) as if it was concentrated at the center of gravity - the center - of the side. The torques on the legs pull the prism in one direction, the torque on the hypotenuse in the other. The torques balance. Each is the product of the distance to the axis times the force applied. As the result,
a² + b² = c².
(For a mathematical framework based on the invariance of the area of a moving body see a separate page.)
Consider now material point C that can slide without friction over a rigid semicircle with a diameter AB and center at O [Mark Levi, pp. 21-23]. Imagine two identical springs that link C to the points A and B and assume that the springs satisfy Hooke's law: F = κx, where x is the elongation of the spring, κ Hooke's constant, and F the tension of the spring, i.e. the force it exerts at both end points. The average force needed to stretch the spring to length x is κx/2 and the work performed is then the product of the distance and the force:
Returning to our configuration, we claim that point C is in equilibrium at any position on the semicircle. Indeed, since the radial forces can't cause it to move along the circle, suffice it to prove that the tangential components of the tension exerted by the two springs balance out.
Let M and N be the projections of A and B onto the tangent to circle at C. The lengths of CM and CN are proportional to the projections of the two forces on the tangent. But
As a consequence, the potential energy of the two springs is the same for any position of C. In particular, for a position with
If a puck of mass
- M. Levi, The Mathematical Mechanic, Princeton University Press, 2009
Copyright © 1996-2017 Alexander Bogomolny