できれば、作図の個々の手続きが、何をしているか、という説明をしてほしいです。--Ks 2010年2月10日 (水) 14:54 (UTC)[返信]
12手順目の円弧ですが、大きさの基準はどこで取るのでしょうか。
- きちんと検証はしていませんが、外接円の半径の半分でしょうか。その下のアニメーションの方では、コンパスの幅を変えるときにはそういう動きが示されますから、それがないということは、その直前に取った幅のままということと思われます。--白駒(会話) 2012年11月9日 (金) 09:47 (UTC)[返信]
- 質問した者です。よく見たら、角度を割り出すためだけに円弧を描いてるみたいですね。ということは、半径は何でも良いということになりますね。お騒がせしました。
- 失礼しました。その通りですね。少し調べて、作図の手順を文章で説明してみました。これで、遅まきながらKsさんのご要望にも答えられたのではないかと思います。しかし、人間がこの通りに作図しても、なかなか正十七角形になりませんな。 --白駒(会話) 2012年11月19日 (月) 11:43 (UTC)[返信]
この手順によってちゃんと正十七角形が作図できることの証明がないのは気持ち悪いと思って書いてみたのですが、どうも冗長になってしまいました。そのまま本文に反映するにはちょっとお粗末な感じがしますので、とりあえずここにおいておきます。改良できそうなら本文に反映していただけるとありがたいです。
- 簡単のため円の半径を1とする。
を示せばよい。
- ∠OCD = θ とし、
とおく。
なので、tanの倍角公式より
であり、tanの倍角公式をもう一度用いることで、
は方程式
・・・①
- の解であることがわかる。
- また、
であり、
なので、同様にtanの倍角公式を用いると
は方程式
・・・②
- の解であることがわかる。
である。また、
なので、
であり、よって
なので、結局
・・・③
- である。
- さて、ここで
とする。
![{\displaystyle c_{0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/999460f270fbe87ebf16b993441d91073aa8efd9)
![{\displaystyle c_{17-n}=c_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c4ec276eb40ff27b177f1c0121348fe06534e1b)
![{\displaystyle \sum _{n=0}^{16}c_{n}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10e099fbcee02e43e0745d4ff34929794a0b025b)
- なので、
である。また、上記の式と積和の公式より、
![{\displaystyle (c_{1}+c_{2}+c_{4}+c_{8})(c_{3}+c_{5}+c_{6}+c_{7})=-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37fd0e9fd743138ae80f8697de568592788c3ca2)
- であることもわかる。よって、解と係数の関係より2数
は方程式
![{\displaystyle 2x^{2}+x-2=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf364c88dddd8b8b4d9c5be6c2c01ea70deafcc0)
- の解であり、
である。
- また、
なので、このことと上の結果を合わせて2数
は方程式
・・・④
- の解である。符号に注意して、同様に、
なので、このことと上の結果を合わせて2数
は方程式
・・・⑤
- の解である。
- 式①と⑤を見比べると、①のxを2xに変えたものが⑤なので、符号に注意すると
である。また同様に②と④を見比べると、②のxを-2xに変えたものが④なので、
である。つまり、
であり、また
なので、解と係数の関係より
は方程式
![{\displaystyle 4x^{2}-2t_{1}x-t_{2}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe372b857ccc6ed5c4ca5435dc71334ea5f98e2d)
- の解であり、符号に注意すると
である。③と見比べて
![{\displaystyle OG=c_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2c8ec9a132539f343a0cd1f355410eaf6924e99)
- を得る。--211.1.206.202 2012年11月23日 (金) 13:55 (UTC)[返信]
正十七角形は、第八貴金属比である4+√17を利用して作図できると思いますが…--beautiful icosagon(会話) 2018年8月2日 (木) 16:52 (UTC)[返信]