要证明|m|是合数，只要能证出|m|=p•q，p•q均为大于1的正整数即可．证明：m=(ab+cd)2-

1

4

(a2+b2-c2-d2)

=[ab+cd+

1

2

(a2+b2-c2-d2)][ab+cd-

1

2

(a2+b2-c2-d2)

=

1

4

[2ab+2cd+a2+b2-c2-d2][2ab+2cd-a2-b2+c2+d2]

=

1

4

[(a+b)2-(c-d)2][(c+d)2-(a-b)2]

=

1

4

(a+b+c-d)(a+b-c+d)(c+d+a-b)(c+d-a+b)

因为m是非零整数，则

1

4

(a+b+c-d)(a+b-c+d)(c+d+a-b)(c+d-a+b)是非零整数．

由于四个数a+b+c-d，a+b-c+d，a-b+c+d，-a+b+c+d的奇偶性相同，乘积应被4整除，

所以四个数均为偶数．

所以可设a+b+c-d=2m₁，a+b-c+d=2m₂，a-b+c+d=2m₃，-a+b+c+d=2m₄，其中m₁，m₂，m₃，m₄均为非零整数．

所以m=

1

4

（2m₁）（2m₂）（2m₃）（2m₄）=4m₁m₂m₃m₄，

所以|m|=4|m₁m₂m₃m₄|≠0，

所以|m|是一个合数．