Difference between revisions of "Construct a pentagon/proof"

From OpenTutorial
Jump to navigation Jump to search
m
(Reverted edits from UxxLu5)
 
Line 46: Line 46:
 
=== P 05 ===
 
=== P 05 ===
  
Since the complete circle has an angle of 2π, the angle connecting adjacent vertices (such as
+
Since the complete circle has an angle of 2π, the angle connecting adjacent vertices (such as ∠A'OD) must be 2π / 10 = π / 5. Call this θ ("theta").
 +
 
 +
• We discuss angles in radians. The angle θ = π / 5 radians = 36°.
 +
 
 +
=== P 06 ===
 +
 
 +
Since A'O and DO are both radii of circle O they are equal and triangle A'OD must be isosceles in O.
 +
 
 +
=== P 07 ===
 +
 
 +
Since the sum of all angles in every triangle is π = 5θ and ∠A'OD = π / 5 = θ, ∠DA'O = ∠A'DO = 2π / 5 = 2θ.
 +
 
 +
=== P 08 ===
 +
 
 +
• Equal angles inscribed in a circle subtend equal chords.
 +
 
 +
Arc AE = Arc ED, so ∠AA'E = ∠EA'D = (∠DA'O) / 2 = θ.
 +
 
 +
=== P 09 ===
 +
 
 +
Since ∠EA'D = ∠NA'D = θ and ∠A'DN = ∠A'DO = 2θ, ∠A'ND = 2θ and so triangle A'DN is isosceles in A'; and A'N = DA'.
 +
 
 +
=== P 10 ===
 +
 
 +
Since ∠NA'D = ∠A'OD, ∠A'DN = ∠A'DO, and ∠A'ND = ∠DA'O; therefore triangles A'OD and A'DN are similar (AAA) and the ratios of corresponding sides are equal.
 +
 
 +
So DO / A'N = DA' / ND = A'O / DA'.
 +
 
 +
Also DO / DA' = A'O / DA' = NA' / ND = DA' / ND.
 +
 
 +
=== P 11 ===
 +
 
 +
Since ∠NA'D = θ and ∠DA'O = 2θ, ∠NA'O = θ. Thus triangle ONA' is isosceles in N; and A'N = NO. Also ∠A'NO = 3θ. By (P 09), A'N = DA' = NO; call this length ''g''.
 +
 
 +
=== P 12 ===
 +
 
 +
By (P 01), DO = 1. By (P 10) and (P 11), DO / A'N = DO / NO = 1 / ''g''.
 +
 
 +
Also DO / NO = DO / DA' = NA' / ND = NO / ND = 1 / ''g''.
 +
 
 +
==== Summary ====
 +
 
 +
[[Image:5star-20-proof-04a.png|400px|left]]
 +
[[Image:5star-21-proof-04b.png|400px|left]]
 +
[[Image:5star-22-proof-04c.png|400px|left]]
 +
 
 +
<br clear="left" />
 +
 
 +
The conclusions of (P 05) through (P 12) and later (P 16) are summarized in the figures above. The angles are &theta;, 2&theta;, and 3&theta;. The line lengths are 1, ''g'', and 1 - ''g''.
 +
 
 +
=== P 13 ===
 +
 
 +
By (P 12), DO / NO = NO / ND. But DO = NO + ND. So by substitution:
 +
{{:Construct a pentagon/eq|01}}
 +
 
 +
For convenience, let's rewrite this as:
 +
{{:Construct a pentagon/eq|02}}
 +
 
 +
Call this ratio ''s'' / ''t'' = {{varphi}} ("phi").
 +
 
 +
=== P 14 ===
 +
 
 +
Divide numerator and denominator of the left side by ''t'':
 +
{{:Construct a pentagon/eq|03}}
 +
 
 +
Substitute {{varphi}} for ''s'' / ''t'':
 +
{{:Construct a pentagon/eq|04}}
 +
 
 +
Multiply both sides by {{varphi}}:
 +
{{:Construct a pentagon/eq|05}}
 +
 
 +
=== P 15 ===
 +
 
 +
This is a ''quadratic equation'', so put in standard form:
 +
 
 +
{|
 +
|-
 +
| {{:Construct a pentagon/eq|06}}
 +
| {{:Construct a pentagon/eq|07}}
 +
|}
 +
 
 +
So ''a ''= 1, ''b'' = -1, and ''c'' = -1; using the ''quadratic formula'':
 +
 
 +
{|
 +
|-
 +
| {{:Construct a pentagon/eq|09}}
 +
| {{:Construct a pentagon/eq|08}}
 +
|}
 +
 
 +
Simplify to:
 +
{{:Construct a pentagon/eq|10}}
 +
 
 +
The ratio NO / ND is positive, so we prefer the positive root:
 +
{{:Construct a pentagon/eq|11}}
 +
 
 +
=== P 16 ===
 +
 
 +
[[Image:5star-17-proof-04.png|400px]]
 +
 
 +
Since A'O = EO, triangle EOA' is isosceles in O. By (P 11), &ang;NA'O = &ang;EA'O = &ang;OEA' = &theta;. Again, since the sum of angles in a triangle must be π = 5&theta;, &ang;A'OE = 3&theta;. Therefore triangles A'OE and ONA' are similar (AAA); A'O / EA' = NA' / EO and A'O / NA' = EA' / EO.
 +
 
 +
=== P 17 ===
 +
 
 +
By (P 09, 11, 12), the ratio A'O / NA' = 1 / ''g'' = {{varphi}}; by (P 16) this is also equal to EA' / EO. But since EO = 1, the length EA' is itself {{varphi}}.
 +
 
 +
=== P 18 ===
 +
 
 +
We have already found (P 11) that the length DA' = ''g''. By (P 13) we set 1/''g'' = {{varphi}}, so ''g'' = 1/{{varphi}}.
 +
 
 +
=== P 19 ===
 +
 
 +
In (P 14) we found:
 +
{{:Construct a pentagon/eq|04}}
 +
 
 +
Simplify:
 +
{{:Construct a pentagon/eq|12}}
 +
{{:Construct a pentagon/eq|13}}
 +
{{:Construct a pentagon/eq|14}}
 +
 
 +
Therefore:
 +
{{:Construct a pentagon/eq|15}}
 +
 
 +
{{box||At this point we have said nothing at all about our construction but we have analyzed the properties of an inscribed regular decagon and deduced certain lengths and angles within it. If we can show our construction generates lines of these lengths, then we will have proven it. }}
 +
 
 +
=== P 20 ===
 +
 
 +
Now it is time to look again at our construction:
 +
 
 +
[[Image:5star-10-step-04.png|400px]]
 +
 
 +
Since A'O = 1 and MO = 1 / 2, then by Pythagoras:
 +
{{:Construct a pentagon/eq|16}}
 +
 
 +
Simplify:
 +
{{:Construct a pentagon/eq|17}}
 +
{{:Construct a pentagon/eq|18}}
 +
 
 +
=== P 21 ===
 +
 
 +
Since the radius of circle M is 1 / 2 (Step 2, 3), then OM = PM = QM = 1 / 2.
 +
 
 +
=== P 22 ===
 +
 
 +
Since PA' = MA' + PM, then by (P 20, 21):
 +
 
 +
{{:Construct a pentagon/eq|19}}
 +
 
 +
which by (P 15) is also equal to {{varphi}}. In (Step 5) we found E such that EA' = PA'. By (P 17), E and A' are indeed vertices of a regular decagon.
 +
 
 +
[[Image:5star-11-step-05.png|400px]]
 +
 
 +
=== P 23 ===
 +
 
 +
Similarly, QA' = MA' - QM, so:
 +
{{:Construct a pentagon/eq|20}}
 +
 
 +
Adding zero is of course allowed:
 +
{{:Construct a pentagon/eq|21}}
 +
 
 +
Regroup:
 +
{{:Construct a pentagon/eq|22}}
 +
{{:Construct a pentagon/eq|23}}
 +
 
 +
which is equal to {{varphi}} - 1 (P 15). In (Step 5) we found D such that DA' = QA'. By (P 17), D and A' are indeed vertices of a regular decagon.
 +
 
 +
=== P 24 ===
 +
 
 +
[[Image:5star-15-proof-02.png|400px]]
 +
 
 +
By similar arguments we show that B and C are also vertices of a regular decagon. Since a decagon has an even number of vertices, A is also a vertex. And by (P 02), we have also found the vertices of a regular pentagon. QED.

Latest revision as of 03:15, 13 April 2007

5star-13-complete.png

I say the figure ABCDE is a regular pentagon.


Proof: Inscribed Pentagon

P 01

5star-14-proof-01.png

Consider a regular decagon AD'BE'CA'DB'EC' inscribed in a circle O with radius AO. Set AO = r = 1.

• We may consider the inscribed decagon given without having a construction.


P 02

5star-15-proof-02.png

A decagon has 10 vertices and a pentagon has 5 vertices, so if we can construct the first then we can construct the second.


P 03

5star-16-proof-03.png

Connect every vertex of the decagon to every other vertex.

• This is called a complete graph.


P 04

5star-17-proof-04.png

Remove most of the lines from the last figure, for simplicity. Find the intersection of DD' and A'E; call this N.


P 05

Since the complete circle has an angle of 2π, the angle connecting adjacent vertices (such as ∠A'OD) must be 2π / 10 = π / 5. Call this θ ("theta").

• We discuss angles in radians. The angle θ = π / 5 radians = 36°.

P 06

Since A'O and DO are both radii of circle O they are equal and triangle A'OD must be isosceles in O.

P 07

Since the sum of all angles in every triangle is π = 5θ and ∠A'OD = π / 5 = θ, ∠DA'O = ∠A'DO = 2π / 5 = 2θ.

P 08

• Equal angles inscribed in a circle subtend equal chords.

Arc AE = Arc ED, so ∠AA'E = ∠EA'D = (∠DA'O) / 2 = θ.

P 09

Since ∠EA'D = ∠NA'D = θ and ∠A'DN = ∠A'DO = 2θ, ∠A'ND = 2θ and so triangle A'DN is isosceles in A'; and A'N = DA'.

P 10

Since ∠NA'D = ∠A'OD, ∠A'DN = ∠A'DO, and ∠A'ND = ∠DA'O; therefore triangles A'OD and A'DN are similar (AAA) and the ratios of corresponding sides are equal.

So DO / A'N = DA' / ND = A'O / DA'.

Also DO / DA' = A'O / DA' = NA' / ND = DA' / ND.

P 11

Since ∠NA'D = θ and ∠DA'O = 2θ, ∠NA'O = θ. Thus triangle ONA' is isosceles in N; and A'N = NO. Also ∠A'NO = 3θ. By (P 09), A'N = DA' = NO; call this length g.

P 12

By (P 01), DO = 1. By (P 10) and (P 11), DO / A'N = DO / NO = 1 / g.

Also DO / NO = DO / DA' = NA' / ND = NO / ND = 1 / g.

Summary

5star-20-proof-04a.png
5star-21-proof-04b.png
5star-22-proof-04c.png


The conclusions of (P 05) through (P 12) and later (P 16) are summarized in the figures above. The angles are θ, 2θ, and 3θ. The line lengths are 1, g, and 1 - g.

P 13

By (P 12), DO / NO = NO / ND. But DO = NO + ND. So by substitution:


For convenience, let's rewrite this as:


Call this ratio s / t = Varphi.png ("phi").

P 14

Divide numerator and denominator of the left side by t:


Substitute Varphi.png for s / t:


Multiply both sides by Varphi.png:


P 15

This is a quadratic equation, so put in standard form:



So a = 1, b = -1, and c = -1; using the quadratic formula:



Simplify to:


The ratio NO / ND is positive, so we prefer the positive root:


P 16

5star-17-proof-04.png

Since A'O = EO, triangle EOA' is isosceles in O. By (P 11), ∠NA'O = ∠EA'O = ∠OEA' = θ. Again, since the sum of angles in a triangle must be π = 5θ, ∠A'OE = 3θ. Therefore triangles A'OE and ONA' are similar (AAA); A'O / EA' = NA' / EO and A'O / NA' = EA' / EO.

P 17

By (P 09, 11, 12), the ratio A'O / NA' = 1 / g = Varphi.png; by (P 16) this is also equal to EA' / EO. But since EO = 1, the length EA' is itself Varphi.png.

P 18

We have already found (P 11) that the length DA' = g. By (P 13) we set 1/g = Varphi.png, so g = 1/Varphi.png.

P 19

In (P 14) we found:


Simplify:




Therefore:


P 20

Now it is time to look again at our construction:

5star-10-step-04.png

Since A'O = 1 and MO = 1 / 2, then by Pythagoras:


Simplify:



P 21

Since the radius of circle M is 1 / 2 (Step 2, 3), then OM = PM = QM = 1 / 2.

P 22

Since PA' = MA' + PM, then by (P 20, 21):


which by (P 15) is also equal to Varphi.png. In (Step 5) we found E such that EA' = PA'. By (P 17), E and A' are indeed vertices of a regular decagon.

5star-11-step-05.png

P 23

Similarly, QA' = MA' - QM, so:


Adding zero is of course allowed:


Regroup:



which is equal to Varphi.png - 1 (P 15). In (Step 5) we found D such that DA' = QA'. By (P 17), D and A' are indeed vertices of a regular decagon.

P 24

5star-15-proof-02.png

By similar arguments we show that B and C are also vertices of a regular decagon. Since a decagon has an even number of vertices, A is also a vertex. And by (P 02), we have also found the vertices of a regular pentagon. QED.