5

数オリの問題に留数を使う その2

860
1
$$$$

数オリの問題を解いていて面白い解法を見つけたので書いておきます.

問題 (Mediterranean 2021-1)
次の条件をみたす最小の正整数$M$を求めよ.
条件: どのような整数$a,b,c$に対してもある整数係数多項式$P(x)$が存在して$P(1)=aM, \ P(2)=bM,\ P(4)=cM$となる.

$a_n=4^n-3\cdot2^n+2$とすると
$a_0=a_1=0,\ a_2=6 \\a_{n+3}=7a_{n+2}-14a_{n+1}+8a_n$
から任意の自然数$n$に対して$a_n$$6$の倍数であることがわかり,特に$P(4)-3P(2)+2P(1)=(c-3b+2a)M$$6$の倍数である.
$c-3b+2a$$6$と互いに素なときを考えると,$M$$6$の倍数であることがわかる.
また,$\displaystyle P(x)=2a(x-2)(x-4)-3b(x-1)(x-4)+c(x-1)(x-2)$という多項式を考えることで最小値が$M=6$であることがわかる.

(ラグランジュ補間と因数定理を組み合わせると簡単に解けるのですが気付かなかったことにします)
この問題を一般化してみます.

$n$を正の整数とし,$a_1,\ldots,a_n$を相異なる整数とする.次の条件をみたす最小の正整数$M$を求めよ.
条件: どのような整数$b_1,\ldots,b_n$に対してもある整数係数多項式$P(x)$が存在して$P(a_1)=b_1M,\ldots,P(a_n)=b_nM$となる.

補題を用意します.

$f(x),g(x)\in\mathbb{Z}[x]$$g$がモニック多項式であるとき,$\dfrac{f(z)}{g(z)}$の無限遠点における留数は整数である.

無限遠点での留数については参考文献をご覧ください.(記事下にあります)

$\displaystyle z^{\deg f}f\left(\frac{1}{z}\right)=\bar{f}(z),\ z^{\deg g}g\left(\frac{1}{z}\right)=\bar{g}(z)$とする.
$g$はモニックなので$h(z)\in\mathbb{Z}[z]$が存在して$\bar{g}(z)=1-zh(z)$となる.
原点を中心とする半径$R$の円周を反時計周りに$1$周する積分路を$C_R$とすると,$\displaystyle-\oint_{C_R}\dfrac{f(z)}{g(z)}dz=\oint_{C_{1/R}}\dfrac{\bar{f}(z)}{\bar{g}(z)}z^{\deg g-\deg f-2}dz$となるので$\dfrac{f(z)}{g(z)}$の無限遠点での留数は$\dfrac{\bar{f}(z)}{\bar{g}(z)}$$z=0$でのLaurent展開の係数として与えられることがわかる.
ここで,$\dfrac{\bar{f}(z)}{\bar{g}(z)}=\bar{f}(z)(1+zh(z)+z^2h^2(z)+\ldots)$となり,これは整数係数なので,$ \dfrac{f(z)}{g(z)}$の無限遠点での留数が整数になることがわかる.

$f$を,$\mathbb{C}$において有限個の点$a_1,\ldots,a_n$を除いて正則な関数とするとき,$\displaystyle\mathrm{Res}(f,\infty)=-\sum_{i=1}^n\mathrm{Res}(f,a_i)$

$\displaystyle\mathrm{Res}(f,\infty)=-\frac{1}{2\pi i}\oint_{C_R}f(z)dz$と留数定理よりしたがう.

$\dfrac{P(z)}{(z-a_1)\ldots(z-a_n)}$に補題1を適用すると,これの無限遠点での留数は整数であり,補題2より,$\displaystyle\sum_{i=1}^n\frac{P(a_i)}{\prod_{j\neq i}(a_i-a_j)}=\sum_{i=1}^n\frac{b_iM}{\prod_{j\neq i}(a_i-a_j)}$は整数です.
これより,$M$$\displaystyle\prod_{j\neq i}(a_i-a_j)\ (i=1,\ldots,n)$の公倍数とわかります.(これは自明ではないけどここでは説明を省略します)
また,ラグランジュ補間による構成を考えると,$M$が最小公倍数のときに最小値を実現することがわかります.

参考文献

リーマン球面と無限遠点 -高校数学の美しい物語
https://manabitimes.jp/math/2663

投稿日:2023115

この記事を高評価した人

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

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

バッジはありません。

投稿者

tria_math
tria_math
472
32777
大学2年生

コメント

他の人のコメント

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