純粋・応用数学・数学隣接分野(含むガロア理論)17at MATH
純粋・応用数学・数学隣接分野(含むガロア理論)17 - 暇つぶし2ch856:132人目の素数さん
24/01/18 11:35:58.19 Q8ip59pc.net
>>769
>>平面図形をガウス平面の問題として、
>>e^iΘ=cosΘ+isinΘ (Θは円周角で実数)として
>>なお、17等分を三角関数の公式で”平方根だけで解ける”とした
>>ガウスの話が高木「近世数学史談」の冒頭の章です
>「三角関数の公式で」がウソね

やれやれ
・高木「近世数学史談」を持ってないのか? 冒頭の章を再度確認しろ!w
・円周等分の話は、下記の円分多項式にも説明がある通りです
・「実際 e^(2πik/n) は k を 1 から n まで変化させると方程式 x^n - 1 = 0 の n 個の異なる根をすべて与える」
 「複素平面上にあるこれらの根は単位円の弧を n 等分する。これが円分多項式と呼ばれる所以である」
 です
・「三角関数の公式で」、平方根だけで解けると分かって式を導くことと、出来るか不明で解くこととは難易度が違う(前者が易しい)

>>”平方根だけで解ける”が、
>>「定規とコンパスのみを使う」という
>>古典ユークリッド幾何学の手法を意味することは
>ガウスには当然だった
>そこ、どうでもいいけどな

よくない
ここ、ガロア理論の応用として、作図問題の可否で角の三等分とか、普通に取り上げられる題材だよ

URLリンク(ja.wikipedia.org)
円分多項式(えんぶんたこうしき、英: cyclotomic polynomial, 独: Kreisteilungspolynom)とは、1の冪根に関連のある多項式である。具体的には次の式で定義される多項式 Φn(x) を指す。

概要
一般に n 次方程式は代数的閉体において、重根を含め n 個の根を持つ。特に、複素数体は代数的閉体であるから、方程式 x^n - 1 = 0 は複素数の範囲で n 個の根を持つ。

実際 e^(2πik/n) は k を 1 から n まで変化させると方程式 x^n - 1 = 0 の n 個の異なる根をすべて与える。複素平面上にあるこれらの根は単位円の弧を n 等分する。これが円分多項式と呼ばれる所以である。

URLリンク(manabitimes.jp)
高校数学の美しい物語
ギリシアの三大作図問題 2022/12/16
三大作図問題とは

円積問題
立方体倍積問題
角の3等分問題
の3つのことである

作図とは
1.(目盛りの無い)定規で直線を引く
2.コンパスで円を描く
の2つのみを用いて図形をつくることです。
作図問題は,ある図形が作図可能かという問題です。
この記事では,歴史的にも数学的にも重要な三大作図問題を紹介します。古代ギリシアから議論されていたこともあり,ギリシアの三大作図問題とも呼ばれます。

角の3等分問題
角の3等分問題とは,任意に与えられた角を三等分できるかという問題です。
作図可能ではありません(この証明についてはより深くガロア理論を勉強するとわかります。今後の記事にご期待ください)


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch