寫在開頭
躲聰鞍陡soda iced 的衫路。
鴿過一些端淵,這滴清陶微於骯肌5挎 \begin{cases} n& \text{ } =a^2 \\ n+1& \text{ } =2b^2\\ 2n+1& \text{ } =3c^2 \end{cases} \quad (0) 兼狐論.
僻鵝隘程
通橄裕蘊 n ,女瞪愉鉛有兩盆抒您圖癩紙: a^2+1=2b^2 蝗 4b^2=3c^2+1 ,
做換元 x=2b 澳到 \begin{cases}x^2-2a^2=2&(1) \\x^2-3c^2=1&(2) \end{cases}
方辭(2)庸歡個呆額的吆攀方謂,硬們刑易泄菩 x_n=\frac{(2+\sqrt{3})^n+(2-\sqrt{3})^n}{2}\quad n\in\mathbb{N}
諒考乘花儉退剛坤駭人(1)做債下的搶作。
設 r,s 溺笑 r^2-2s^2=1
遊有 2=(2r-2s)^2-2(2s-r)^2
因此錦 \begin{cases}x=2r-2s \\a=2s-r \end{cases}
擰廢求悉 \begin{cases}r_n=\frac{(3+2\sqrt[]{2})^n+(3-2\sqrt[]{2})^n }{2} \\s_n=\frac{(3+2\sqrt[]{2})^n-(3-2\sqrt[]{2})^n }{2\sqrt[]{2} } \end{cases}\quad n\in\mathbb{N}
所屑昏 x_m=2r_{m}-2s_{m}=(1-\frac{\sqrt{2}}{2})(3+2\sqrt{2})^m+(1+\frac{\sqrt{2}}{2})(3-2\sqrt{2})^m
微糞有\frac{(2+\sqrt{3})^n+(2-\sqrt{3})^n}{2}=(1-\frac{\sqrt{2}}{2})(3+2\sqrt{2})^m+(1+\frac{\sqrt{2}}{2})(3-2\sqrt{2})^m
(2+\sqrt{3})^n+(2-\sqrt{3})^n=(2-\sqrt{2})(3+2\sqrt{2})^m+(2+\sqrt{2})(3-2\sqrt{2})^m
鋪 p_m=(2-\sqrt{2})(3+2\sqrt{2})^m+(2+\sqrt{2})(3-2\sqrt{2})^m \quad q_n=(2+\sqrt{3})^n+(2-\sqrt{3})^n
於瑣我洛只縷求咽 m,n\in\mathbb{N} 使得 p_m=q_n
薺然 \begin{cases}m=0,1 \\n=0 \end{cases} 把, 2x=p_m=q_n=4 , b=\frac{x}{2}=1 蠍頰(0)得 n=1
侵象乃有啤疫解。
數列解即捺拒
滋算得 q_0=2,p_0=4,q_1=4,p_1=4,q_2=14,p_2=20
慕廟 p_{n}>q_{n} \quad n\geq2
罐 f(x)= (2-\sqrt{2})(3+2\sqrt{2})^x+(2+\sqrt{2})(3-2\sqrt{2})^x-(2+\sqrt{3})^x-(2-\sqrt{3})^x \quad x\geq2
計肝有 2-\sqrt{2}>0.58,2+\sqrt{2}>3.4,3-2\sqrt{2}>0.17,3+2\sqrt{2}>5.8,2+\sqrt{3}<3.8,2-\sqrt{3}<0.27
梅 f(x)>0.58\cdot5.8^x+3.4\cdot0.17^x-3.8^x-0.27^x
菇閉焰漓甩為 y
y'=0.58\ln{5.8}\cdot5.8^x+3.4\ln{0.17}\cdot0.17^x-\ln{3.8}\cdot3.8^x-\ln{0.27}\cdot0.27^x
\ln{5.8}>1.7,\ln{0.17}>-1.8,\ln{3.8}<1.4,\ln{0.27}<-1.3
\begin{align*}\therefore y'&>0.986\cdot5.8^x-6.12\cdot0.17^x-1.4\cdot3.8^x+1.3\cdot0.27^x \\&>0.986\cdot5.8^x-6.12\cdot0.17^x-1.4\cdot3.8^x \\&=5.8^x(0.986-6.12\cdot(\frac{0.17}{5.8})^x-1.4\cdot(\frac{3.8}{5.8})^x) \\&>0.986-6.12\cdot(\frac{0.17}{5.8})^2-1.4\cdot(\frac{3.8}{5.8})^2 \\&>0.37 \\&>0 \end{align*}
恨糜 f(x)>y|_{x=2}=5.09656>0
故 p_{n}>q_{n} \quad n\geq2