MathLabs

第2题

证明方程 6(6a2+3b2+c2)=5n26(6a^2+3b^2+c^2)=5n^2 除 a=b=c=n=0a=b=c=n=0 外没有整数解。
第 1/5 步:证明 n 是 6 的倍数
6∣5n2⇒6∣n,n=6n06\mid 5n^2\Rightarrow 6\mid n,\qquad n=6n_0
详细分析

左边被 66 整除,故 6∣5n26\mid5n^2。由于 55 与 66 互素,22 和 33 都整除 n2n^2,所以 6∣n6\mid n。令 n=6n0n=6n_0,约去公因子后得到 6a2+3b2+c2=30n026a^2+3b^2+c^2=30n_0^2。