rpenner
24th July 2009 - 06:10 AM
WOG, let's fix AB as the not-shorter side. Use straightedge to extend AB. Set compass at B and use it to find E, further down on the line AB such that BE = BC. These are the two basic operations of straightedge and compass construction.
Now that ABE is a straight line segment, we need to find the perpendicular bisector of the line segment AE. Place the compass point at A and the drawing end at E and draw a circle. Next place the compass point at E and the drawing end at A and draw another circle. These two circles intersect each other at F and G (it doesn't matter which name goes which which point). Use to the straightedge to build the line FG which intersects AE at a point H exactly halfway between A and E.
(Triangles ▵AEF and ▵AEG are equilateral and congruent, so of course FG goes halfway between A and E -- every point on line FG is exactly the same distance from F and G.)
Assuming AB > BE, then we have AHBE as a straight line. (The alternative is that H and B are the same point.) But the important thing at this point is the distance AH = HE. Let's emphasize this by setting our compass at H and drawing a semicircle from A to E. Remember the magic thing about circles is every single point is the same distance from the center.
Now we know how to construct the perpendicular bisector to any point, we can easily use this to construct the perpendicular to a line at any chosen point. Set the compass point at B and draw a circle to find the other point, I, which is the same distance as BE and on the same line. Now construct the perpendicular bisector of IE which we call the line JK (which intersects at point B ). Finally extend JK until it hits the big semicircle we drew between A and E. This new point L forms a segment BL which is the first side of our square. Since we know how to construct a perpendicular to a line at a point, the actual square is brief tedium.
That might be too confusing without pictures. Here's some pictures (not made by me) which roughly show you most of what I was talking about:
http://planetmath.org/?method=l2h&from=obj...cMean&op=getobjhttp://www.cut-the-knot.org/pythagoras/GeometricMean.shtml (Lots of methods)
http://aleph0.clarku.edu/~djoyce/java/elem...I/propII14.htmlhttp://aleph0.clarku.edu/~djoyce/java/elem...I/propVI13.htmlSo we have the line AHBE, the semicircle A to E, the perpendicular line BL where L is on the semicircle. How can we prove BL×BL = AB×BE ?
Using geometry: ⊿LBE is a right triangle. ⊿ABL is a right triangle. And because it is inscribed in a semicircle, ⊿ELA is a right triangle. But since the two small angles of a right triangle are complementary (sum to a right angle), and angles ∠ELB and ∠BLA sum to ⊾ELA which is also a right angle, then all three triangles have the same three angles and are similar. And so the ratio AB to BL is the same as the ratio BL to BE.
AB/BL = BL/BE => BL×BL = AB×BE
A more algebraic attack on the proof is based on the different right triangle HBL and the good-old Pythagorean theorem.
HL = HA = HE = (1/2)(AE) = (1/2)(AB + BE)
HB = HB + BE − BE = HE − BE = (1/2)(AB + BE) − BE = (1/2)(AB − BE)
BL×BL = BL² = HL² − HB² = (1/4)(AB + BE)² − (1/4)(AB − BE)² = AB×BE