|
You can change the figure by clicking and dragging on points A and B. Notice
that while the measure of the length of AB changes, the ratio of the length of
CD to AB is always √3.
Proof
- The length of AB is taken to be 1 by definition.
- Because both circles are constructed with a radius of AB, they are congruent.
- Since the segments CA and CB are both radii of congruent circles, they are congruent.
- Since AB is perpendicular to CD (see Euclid's Proposition ??), ∠ CMB is a right angle.
- By the Pythagorean Theorem (see Euclid's Proposition 47), BM2 + CM2 = BC2.
- But, since CD is unity, CM = 1/2.
- Since CB = unity by construction, CB = 1.
- CM2 + (1/2)2 = 12.
- Since CM = 1/2 CD, (1/2 CD)2 + (1/2)2 = 12.
- Simplifying give us (1/2 CD)2 + 1/4 = 1.
- 1/4 CD2 = 3/4.
- CD2 = 3.
- CD = √3, QED.
|