この記事では最近 Twitter で話題の、円と多項式の交点で円周を等分する問題について書きます。
放物線を使ったものも話題ですが、この記事ではチェビシェフ多項式を使って簡単にそのような式を作るレシピを紹介します。
参考:放物線を使った方法についてのリンク
・
ポテト一郎さんのツイート
・
私のツイート
・
みゆさんの記事
・
子葉さんの記事
参考:チェビシェフ多項式を使った方法についてのリンク
・
こばっしーさんのツイート
・
私のツイート
※ 他にもたくさんありますが、数が多いので一部のみのご紹介としています。
一般的な方法を紹介する前に、まずは具体例で交点の座標を計算してみましょう。
四次式
まず、
これを
この公式を使うと先ほどの式はこうなります。
和積の公式で変形すれば
となり、円周の3等分点と5等分点が確かに交点になっていることが確認できました。
では、天下り的ですが、チェビシェフ多項式について説明します。
次のような多項式を第一種チェビシェフ多項式といいます。
これらの多項式は次の漸化式に従うことがわかります。
じつは、この多項式は
と見ることで、
式の形をよく見れば、先ほどの方法では
チェビシェフ多項式を使えば先ほどの方法を一般化して、円周を任意の自然数
まず、
これを
和積の公式で変形すれば
となり、円周の
わかってしまえば不思議感は減ってしまうかもしれませんが、多項式で円周を等分できるのって非自明な感じがして楽しいですね!