No.1ベストアンサー
- 回答日時:
こんな感じでいかがでしょうか。
Z=e^(2ix) (i=√(-1))
とおくと、e^(ix)=cos(x)+i*sin(x)を用いて、
cot(x)=i(Z+1)/(Z-1)
と表せる。a=e^(-2πi/n)とすると、
Z^n-1=(Z-a)(Z-a^2)…(Z-a^n)
と表せるので、cot(nx)は部分分数
cot(nx)=i(Z^n+1)/(Z^n-1)=i+Σ2i/b_k/(Z-a^k) (k=1,2,...,n) ・・・(☆)
に分解できる。ここで、
b_k=(a^k-a)(a^k-a^2)…(a^k-a^(k-1))×(a^k-a^(k+1))…(a^k-a^n)
である。a^n=1に注意すると、b_(k+1)*aは上の式で積の順序を変えたものになっている。よって、
a*b_(k+1)=b_k
一方、k=nの場合、
b_n=lim(Z^n-1)/(Z-1)=n (Z→1)
である。よって、
b_k=n/(a^k)
となる。これを使って(☆)を計算すると
cot(nx)=i+i/n*Σ2a_k/(Z-a^k)
=i+i/n*(Σ(Z+a_k)/(Z-a^k)-1)
=i/n*Σ(Z+a_k)/(Z-a^k)
=i/n*Σ(Z*a_(-k)+1)/(Z*a^(-k)-1)
=(1/n)*Σcot(x+πk/n)
∴n*cot(nx)=Σcot(x+πk/n)
gef00675 さん、早速の回答ありがとうございました。私にとっては証明の道筋を理解するだけで大変で時間もかかりましたが証明法を発見するのはもっと大変(=高度)だったと思います。
Z^n-1=(Z-a)(Z-a^2)…(Z-a^n) は「オイラーの贈物」にあった1のn乗根の公式だと気づきましたが未定係数法で b_k=n/(a^k) までたどり着くのに時間がかかってしまいました。
教えていただいた証明は発見した公式(再発見かもしれませんが)とともに私の宝物と致します。
今後また同様の機会があればご指導いただければ幸いです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 宇宙科学・天文学・天気 AIが答えた方程式 1 2023/02/20 00:12
- 数学 大学数学です 8 2023/04/21 00:59
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 物理学 ラグランジェ方程式 1 2022/12/16 18:37
- 大学受験 【急募】國學院大學数学について質問です。 僕の受ける方式は下線の引いた所(B日程)なのですが、結果の 2 2023/02/20 19:34
- 数学 1-1+1-1+…=sqrt(2)って証明できるの?(解析接続)(グランディ級数) 解析接続はほぼ入 3 2023/06/08 12:35
- 数学 sin/x=1の証明で、範囲を0〜1/2π、0度〜-1/2πの2つの範囲でおいてから証明してますが、 4 2022/05/10 21:57
- 物理学 次元解析に関する問題です。 質量mの質点が一辺aの鉄板に衝突し、音波が発生。 衝突前の質点の運動エネ 2 2022/05/12 10:10
- 物理学 ベクトル解析 回転と発散について 2 2022/04/20 18:27
- その他(職業・資格) データ分析実務スキル検定(Citizen級)学習方法 1 2022/12/18 18:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報