第3讲 常用数学证明法总结

1. 有 50 名运动员进行某个项目的单循环赛，如果没有平局，也没有全胜，试证明：一定有两个运
动员积分相同.
【证明】设每胜一局得一分，由于没有平局，也没有全胜，则得分情况只有 0、1、2、3……48，
只有 49 种可能，以这 49 种可能得分的情况为 49 个抽屉，现有 50 名运动员得分，则一定有两名运
动员得分相同.

2. 任意给定 70 个不超过 200 的互不相同的自然数，求证其中必有某两个数的差或为 4，或为 5，或

为 9.
【证明】记给定的 70 个数为 a1 , a2 , , a70 ，考虑如下的 210 个自然数 a1 , a2 , , a70 ，
a1  4, a2  4, , a70  4 ， a1  9, a2  9, , a70  9 ，其中的所有数都是不超过 209 的自然数.于是由于
抽屉原理便知，其中必有两个数相等且这两个数既不同行也不同列.显然，两个数去掉后一项所得
的 ai , a j 便满足题中要求.

3. 17 位学者，每一位都给其余的人写一封信，信的内容是讨论三个问题中的一个．而且两个人互
相通信所讨论的是同一个问题.证明：至少有三位学者，他们之间通信所讨论的是同一个问题.
【证明】作完全图 K17 ，它的 17 个点 vi (i  1, 2,  ,17) 分别表示 17 位科学家.设他们讨论的题目为
x, y, z ,两位科学家讨论 x 连红线,讨论 y 连蓝线,讨论 z 连黄线.于是只须证明这个 K17 中有一同色三
16 
角 形 . 任 取 一 点 v1 ， 自 v1 引 出 的 边 共 16 条 ， 因 而 一 定 有    6 条 边 同 色 ， 不 妨 设 v1v2 ,
3
v1v3 , v1v4 , v1v5 , v1v6 , v1v7 为红色. v2 , v3 , v4 , v5 , v6 , v7 构成的完全图 K6 中，如果有一条边 v2 v3 也是红色，则
三角形v1v2 v3 为红色三角形；如果这个 K 6 中没有红色边，只有蓝色和黄色，由扩展 1 知一定存同色
三角形（蓝色或黄色）.

4.（1）能否用 9 个如图 1 所示的 1  4 的长方形拼成一个 6  6 的棋盘，给出相应的证明；

（2）能否用 9 个如图 2 所示的“L 型”拼成一个 6  6 的棋盘，给出相应的证明.

【答案】见解析

实验班

\ 1 /
 【解析】（1）不能，按照如左图方式染色，每个 1  4 的长方形覆盖了 1 个黑色格子，那么 9 个
1  4 的长方形只能覆盖 9 个黑色格子，但图中有 10 个黑色格子，所以不能完全覆盖；
（2）不能，如右图方式染色，每个“L 型”覆盖奇数个黑格，9 个“L 型”覆盖了奇数个黑格，而
黑格总数是偶数，所以不能完全覆盖.

5.已知 a，b，c 都是小于 2 的正数．求证：(2－a)b，(2－b)c，(2－c)a 不能同时大于 1.

【证明】假设(2－a)b、(2－b)c、(2－c)a 都大于 1.
因为 a、b 都是小于 2 的正数，
所以  2  a  b   4  2  a  b  4
2

即 2  a  b  2, b  a ，同理 c  b, b  a ，所以 c  b  a  c ，矛盾，所以命题成立.

6. 请证明：质数有无穷多个.
【证明】假设质数是有限的，依次为 p1、p2、p3 pn ，则 p1 p2 p3 pn  1 不能被前面的任何质数
整除，则这个数也是质数，与假设矛盾，因此假设不成立，质数有无穷多个.

7. 证明不能找到自然数 a 和 b，使 a 2  2002  b 2

【证明】因为 a 2  2002  b 2 ，所以 a 2  b2  2002 ，即(a+b)(a-b)=2×1001．
如果 a、b 同为奇数或同为偶数，那么(a+b)×(a-b)必定是偶数×偶数；
如果 a、b 为一奇一偶，那么(a+b)×(a-b)必定是奇数×奇数．
上述两种情况均与等式右边的偶数×奇数相矛盾．所以不能找到这样的 a 和 b．

8. 将一个 4×19 的方格表每个方格都染成黑、白、红三种颜色之一，请证明：一定存在一个长方形，

四个顶点处的四个方格同色.
【证明】一个 4 行 19 列的方格表，每个方格染成黑、白、红三色之一.那么根据抽屉原理，每一列
中，至少有两个方格的颜色相同.那么根据这两个格子的颜色和位置，共有 C42  3  18 种可能，看做
18 个抽屉.那么根据抽屉原理，19 列中，至少有两列的相同颜色的格子的颜色和位置都是一样的.那
么，这两列中存在一个四个顶点同侧的长方形.

9. 设 x1 , x2 , xn (n  4) 为+1 或-1，并且 x1 x2 x3 x4  x2 x3 x4 x5   xn x1 x2 x3  0 .求证： n 是 4 的倍数

【证明】设 x1 x2 x3 x4 , x2 x3 x4 x5 , , xn x1 x2 x3 中+1 的有 k 个，于是-1 的也有 k 个，故 n  2k .
再把 x1 x2 x3 x4, x2 x3 x4 x5, , xn x1 x2 x3这 n 个数相乘，得 ( x1 x2 xn )4  1k  (1) k  (1) k ，所以 (1) k  1 .故
k 为偶数，从而 n 是 4 的倍数.

实验班

\ 2 /
10. 解不定方程 x 2  y 2  z 2  x 2 y 2
【答案】 ( x, y, z )  (0, 0, 0).
【解析】容易看出 ，若 x, y, z 中有一个为零，则方程有整数解 ( x, y, z )  (0, 0, 0). 事实上若 x  0, 或
y  0 ，此时结论显然.现在考虑 z  0 ，于是 x 2  y 2  x 2 y 2 ，则 x | y , y | x. 所以 x  y 或 x   y ，
代入方程得 2 x 2  x 4 此时的整数解为 0，即结论成立.
因此若 不定方程 x 2  y 2  z 2  x 2 y 2 还有其它的整数解，则 x, y, z 均不为零
且原方程变形为
( x 2  1)( y 2  1)  z 2  1. (*)

（1）如果 z 为奇数，则 z 2  1 为偶数，故 x 2  1 与 y 2  1 中至少有一个是偶数，此时 (*) 式左边是

4 的倍数而右边是 2 的倍数，故 z 不可能是奇数.
（2）如果 z 为偶数，则 z 2  1 为奇数，于是 x 2  1 与 y 2  1 均为奇数，从而 x, y 同为偶数 . 此时
x, y, z 可表示为 x  2m a ， y  2n b ， z  2 p c （其中 a, b, c 为奇数） m, n, p  1.
原方程化为 22 m a 2  22 n b 2  22 p c 2  22( m  n ) a 2 b 2 (**)
若 m  n  p 或 m, n, p 中有一个最小的，如 m  n  p ，则用 22m 除（**）式各项得
a 2  22( n  m ) b2  22( p  m ) c 2  22 n a 2 b2
则上式中一边是偶数，一边是奇数，显然无解.
若 m, n, p 中没有最小也不全相等，则必有一个最大的，如 m  n  p ，则用 22m 除 (**) 式各项得
a 2  b 2  22( p  m ) c 2  22 n a 2 b2
因 a 2  b2 被 4 除余 2，而 与 22 n a 2 b 2 均为 4 的倍数，仍然不可能.
故原方程的整数解是 (0, 0, 0).

实验班

\ 3 /