反过来:假设不存在两支铅笔长度和颜色都不相同.只要证明它是错的.
设铅笔1,2.颜色分别为X1,X2; 长度为Y1,Y2.
不妨设X1=X2,由假设得 Y1不=Y2.
必有第三支铅笔3,特征为(X3,Y3).其中 X3不=X1.
则Y3必须满足Y3=Y1,而此时Y3不=Y2.
出来啦:X3不=X2,Y3不=Y2.假设就不成立了.
于是 其中必有两支长度和颜色都不相同的铅笔.
反过来:假设不存在两支铅笔长度和颜色都不相同.只要证明它是错的.
设铅笔1,2.颜色分别为X1,X2; 长度为Y1,Y2.
不妨设X1=X2,由假设得 Y1不=Y2.
必有第三支铅笔3,特征为(X3,Y3).其中 X3不=X1.
则Y3必须满足Y3=Y1,而此时Y3不=Y2.
出来啦:X3不=X2,Y3不=Y2.假设就不成立了.
于是 其中必有两支长度和颜色都不相同的铅笔.