9

2019ISL-A5

486
0
2019ISLのA5

の面白い解法を見つけたので紹介しようと思います.
ISL というのは IMO shortlist problems の略で,その年の IMO の問題の候補が集められており,この中から IMO の問題や代表選考合宿の問題が選ばれます.
ISL は分野ごとで難易度の昇順に並んでおり,A5 はIMO2番級程度なので普通はこんなに簡単に解けるはずはないのですがたまたま簡単な解法を見つけたので紹介します.

x1,x2,,xn は相異なる実数である.
1inji1xixjxixj={0, if n is even; 1, if n is odd. 
であることを証明せよ.

明らかに留数定理の香りがします.留数定理が使えるように適当な関数を構成します.

f(z)=i=1n1xizzxi
F(z)=11z2f(z)

以下,x1,x2,,xn はどれも ±1 でないとします.(連続関数なのでxiのどれかが±1のときも極限を取ることで解決します)

仮定より, F(z) の極は 1,1,x1,x2,,xn であり,それらは全て一位の極です.

f(z) を極を有限個しかもたない有理型関数とする.
ある正の定数 R0,C,ε が存在して任意の |z|>R0 に対し |f(z)|<C|z|1+ε が成り立つとき, f(z) の留数全ての和は 0 になる.

CR を原点を中心とする半径R の円周とする.
積分路は反時計回りで考える.
十分大きい R に対し,CR 上で f(z) を積分したものは f(z) の留数の和の2πi倍になる.
一方で,
|CRf(z)dz|CR|f(z)||dz|CRCR1+ε|dz|=2πCRε
より limRCRf(z)dz=0 である.

|z| が十分大きいとき f(z) は定数で押さえられるので F(z) には補題が適用できます.

F(z) の留数を見ていきましょう.

Resz=xiF(z)=limzxi(zxi)F(z)=ij1xixjxixj
Resz=1F(z)=limz1(z1)F(z)=12f(1)=12
Resz=1F(z)=limz1(z+1)F(z)=12f(1)=(1)n2

これより,補題を使うと
i=1nij1xixjxixj=(Resz=1F(z)+Resz=1F(z))=1(1)n2
となり,証明が完了しました.

感想
留数定理って偉大ですね.

投稿日:202238
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

tria_math
tria_math
543
47222
大学2年生

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中