
(Lånte bildet ditt)
Bilde:
http://img65.imageshack.us/my.php?image=syvkantzq3.png
Tegn den omskrevne sirkelen [tex]S[/tex] om den regulære syvkantede polygonet [tex]ABCDEF[/tex]. La [tex]\alpha := \frac{180}{7}^\circ.[/tex]
Roter [tex]ABCDEF[/tex] og [tex]S[/tex] med vinkelen [tex]\alpha[/tex] fra [tex]A[/tex] med klokken. La merker et transformert punkt [tex]T[/tex] med [tex]T^\prime[/tex].
Roter [tex]ABCDEF[/tex] og [tex]S[/tex] med vinkelen [tex]2\alpha[/tex] fra [tex]D[/tex] mot klokken. På samme måte så lar vi [tex]T \to {T^\prime}^\prime [/tex].
Da har vi at:
[tex](1):[/tex] [tex]S[/tex] skjærer [tex]S^\prime[/tex] i [tex]D^\prime[/tex], fordi [tex]AE[/tex] skjærer [tex]S^\prime[/tex] i [tex]D^\prime[/tex] fordi [tex]D[/tex] er rotert med [tex]\alpha[/tex] og [tex]AE=AD \Rightarrow E=D^\prime[/tex].
[tex](2):[/tex] [tex]BE[/tex] skjærer [tex]S^\prime[/tex] i [tex]B^\prime[/tex] fordi [tex]\angle AEB = \angle AD^\prime B^\prime[/tex] og [tex]D^\prime=E[/tex].
[tex](3) :[/tex] [tex]AD[/tex] skjærer [tex]S^\prime[/tex] i [tex]C^\prime[/tex], fordi [tex]\angle CAD=\alpha[/tex], og [tex]C[/tex] er rotert med vinkelen [tex]\alpha[/tex] til [tex]C^\prime[/tex].
[tex](4):[/tex] [tex]AD[/tex] skjærer [tex]{S^\prime}^\prime[/tex] i [tex]{C^\prime}^\prime[/tex], fordi [tex]\angle CDA = 2\alpha[/tex], og [tex]C[/tex] er rotert med vinkel [tex]2\alpha[/tex] til [tex]{C^\prime}^\prime[/tex].
[tex](5):[/tex] [tex]D{C^\prime}^\prime || BC[/tex], fordi [tex]D{C^\prime}^\prime||AD[/tex] og [tex]AD||BC[/tex]. På samme måte så vil [tex]DC||BE[/tex].
Anta [tex]BE[/tex] skjærer [tex]{S^\prime}^\prime[/tex] i [tex]Z[/tex].
[tex](6)[/tex] : ([tex]DA||BC \Rightarrow DZ||BC[/tex] og [tex]DC||BE \Rightarrow DC||BZ) \Rightarrow DCBZ[/tex] er et parallellogram [tex]\Rightarrow BC=DZ \Rightarrow DZ=D{C^\prime}^\prime \Rightarrow Z={C^\prime}^\prime[/tex].
Vi lar [tex]X[/tex] være krysningspunktet mellom [tex]BD[/tex] og [tex]AC[/tex]. Siden [tex]S^\prime[/tex] er kongruent med [tex]S[/tex], vil [tex]A{C^\prime}^\prime = AX[/tex] og [tex]{C^\prime}^\prime D =AB[/tex], så har vi at [tex]AB+AX=AD[/tex].