该楼层疑似违规已被系统折叠 隐藏此楼查看此楼
同理, 可证m₁p=-1+x₁²+y₁²也有一样的结论. 于是两式之和得mp=x₁²+x₂²+x₃²+x²₄ , m
下面我们一直假定m取m₀为满足的最小值, 并证明m₀=1.
证明:
(i) 显然(x₁,x₂,x₃,x₄)=1, 如果m₀为偶数, 则x₁,x₂,x₃,x₄中的奇数的个数必为偶数个(包括没有奇数的情形). 所以可假定2|x₁+x₂ , 2|x₃+x₄ .
由此及式(3)(m=m₀)就推出
m₀p/2=[(x₁+x₂)/2]²+[(x₁-x₂)/2]²+[(x₃+x₄)/2]²+[(x₃-x₄)/2]².
这和m₀的最小值矛盾. 所以m₀一定为奇数.
(ii) 必有m₀=1. 若不然, 设m₀>1(m₀是奇数), 现取y_i≡x_i(mod m₀), |y_i|
我们有y₁²+y₂²+y₃²+y₄²
所以有y₁²+y₂²+y₃²+y₄²=m₁m₀ , 0≤m₁
我们来证明m₁≠0. 若m₁=0, 则y₁=y₂=y₃=y₄=0, 由式(4)得m₀|x_i, i=1,2,3,4. 即m₀|(x₁,x₂,x₃,x₄)=1, 矛盾.
式(3)和式(5)作乘得
u₁²+u₂²+u₃²+u₄²=m₁m₀²p, 1≤m₁
其中u₁=x₁y₁+x₂y₂+x₃y₃+x₄y₄ , u₂=x₁y₂-x₂y₁+x₃y₄+x₄y₃ , u₃=x₁y₃-x₃y₁+x₄y₂+x₂y₄ , u₄=x₁y₂-x₄y₁+x₂y₃-x₃y₂ ,
由式(4)及式(3)(m=m₀)得
u₁≡x₁²+x₂²+x₃²x₄²≡0(mod m₀). 由式(4)得x_i*y_j≡x_j*y_i(mod m₀), 1≤i , j≤4, 因而有u₂≡u₃≡u₄≡0(mod m₀).由以上两式及式(6)得到
(u₁/m₀)²+(u₂/m₀)²+(u₃/m₀)²+(u₄/m₀)²=m₁p, 1≤m₁
这和m₀的最小性矛盾. 所以m₀=1.证毕.