26/05/13 00:43:24.02 m6SDQl9Y.net
どうやって示す？
2:１３２人目の素数さん
26/05/13 04:40:30.55 mXmVPDD2.net
ジャンピング
3:１３２人目の素数さん
26/05/13 07:18:56.59 WEDXp7jP.net
珠子チャンス
4:１３２人目の素数さん
26/05/13 10:23:04.55 S1kE/295.net
ビエタ
5:１３２人目の素数さん
26/05/13 15:16:26.43 xGGKX7gf.net
整数k=(a²+b²)/(ab+1) と置くとa, b>0よりk>0である。
a²+b²=k(ab+1)、a, b, k,正整数 ①
①の時、kは平方数になることを証明する。
kは非平方数であると仮定する。②
①を満たす(a, b)のうち、a+bが最小となる組を(A, B)とする。対称性よりA≥Bとしてよい。
a²-kBa+B²-k=0 ③
aに関する二次方程式③はa=Aを解に持つ。③の他の解をCとすると
②⇔a=A, C、A, B, k>0
解と係数の関係により
A+C=kB、AC=B²-k
C=kB-AとなるからCは整数である。
C=(B²-k)/A<B²/A≤A²/A=A
∴C<A⇔C+B<A+B ④
C>0とするとAの最小性に反する④。
C=0とするとk=B²より②に矛盾する
C<0とすると①で∀B>0に対して右辺=k(CB+1)≤0、左辺>0であり矛盾する。
よって②の仮定は否定されるのでkは平方数となることが示された。
6:１３２人目の素数さん
26/05/13 21:50:07.35 xGGKX7gf.net
a, bを正整数とする時、次を証明せよ。
(4ab-1) | (4a²-1)² ⇒ a=b
(4a²-1)²≡0 mod (4ab-1)より
b²(4a²-1)²≡0 mod(4ab-1)
(4a²b-b)²≡0 mod(4ab-1)
(a-b)²≡0 mod(4ab-1)
よって(a-b)²=k(4ab-1)、kは非負整数と置ける。①
①を満たす(a, b)の組のうちa+bが最小になる組を(A, B)とする。
a²-2(1+2kB)Ba+B²+k=0、kは非負整数。②
②はaの二次方程式であり解の1つはAであり他の解をCとする。
②⇔a=A, C、kは非負整数。③
解と係数の関係より
A+C=2(2kB+1)、AC=B²+k>0よりC>0、
C=2(2kB+1)-AよりCは正整数。
A>Bとする。A-B>0、k>0。
AC=B²+k=B²+(A-B)²/(4AB-1)
ここでC<A⇔CA<A²
⇔(A-B)²<(A²-B²)(4AB-1)
⇔A-B<(A+B)(4AB-1)=4A²B-A+4AB²-B
⇔1<2B(A+B) これは成り立つ。
すなわちCはAの最小性に反する。
A<Bとする。A-B<0、k>0。
AC=B²+k=B²+(A-B)²/(4AB-1)
ここでC<A⇔CA<A²
⇔(A-B)²<(A²-B²)(4AB-1)
⇔A-B>(A+B)(4AB-1)=4A²B-A+4AB²-B
⇔1>2B(A+B) これは成り立たない。
よってA≠Bでは矛盾が生じるのでA=Bが必要である。k=0。
逆にa=b>0とすると(4a²-1) | (4a²-1)²でありこれは自明である。
7:１３２人目の素数さん
26/06/21 23:45:37.02 EcGHoY9F.net
a, bは正の整数とするとき、(a^2 + b^2)/(ab + 1) の形で表される平方数はどのようなものか？
8:１３２人目の素数さん
26/06/21 23:53:35.94 EcGHoY9F.net
「a, bは正の整数とする。(a^2 + b^2)/(ab + 1)が整数なら平方数であることを示せ」
6までの証明は、(a^2+b^2)/(ab+1) が常に整数にならなくても成り立つし、それで正しいが、
(a,b)=(1,1) とすると平方数1を表すから、少なくとも平方数を表す場合が1つあることがわかる。
9:１３２人目の素数さん
26/06/22 15:36:39.22 0kV0BL/o.net
相加相乗不等式より ab <= (a^2+b^2)/2。
すると
(a^2+b^2)/(ab+1) <= (2ab)/(ab+1) < (2ab+2)/(ab+1) = 2
よって 0 < (a^2+b^2)/(ab+1) < 2 より、
(a^2+b^2)/(ab+1) が整数であるならば その値は1に限られる。
1は平方数であるから、「整数であるならば平方数になる」は成立。
しかもそのとき、2ab/(ab+1) = 1 であることが必要で、
つまり ab = 1 であるから、
題意の式が平方数となるのは a = b = 1 の場合だけしかない。
10:１３２人目の素数さん
26/06/23 16:54:33.69 pnq1b5BG.net
済まん、不等号の向きが逆だったわ。