数学证明

大家在中小学课程里都会碰到某种程度的数学证明，有些人甚至把做数学与进行数学证明等同起来。但究竟数学证明这种工夫在数学活动中有何作用？它是否真正确立无可置疑的结论？它是事后的装扮工夫抑或它能导致前所未知的新发现？这种独特的思考方式是怎样发展起来的？本书试以大量实例与读者探讨以上问题。  

数学有两种品格，其一是工具品格，其二是文化品格。
由于数学在应用上的*广泛性，特别是在实用主义观点日益强化的思潮中，使数学之工具品格愈来愈突出和愈来愈受到重视。
对于那些当年接受过立足于数学之文化品格数学训练的学生来说，当他们后来真正成为哲学大师、著名律师或运筹帷幄的将帅时，可能早已把学生时代所学到的那些非实用性的数学知识忘得一干二净了。但那种铭刻于头脑中的数学精神和数学文化理念，却会长期地在他们的事业中发挥着重要作用。也就是说，他们当年所受到的数学训练，一直会在他们的生存方式和思维方式中潜在地起着根本性的作用，并且受用终身。
这就是数学之文化品格，文化理念与文化素质原则之深远意义和至高的价值所在。

一 证明的由来
什么叫做证明，《辞海》是这样解释的：“根据已知真实的判断来确定某一判断的真实性的思维形式。”
实际上，在日常生活里，我们常常不自觉地运用了“证明”。让我们来看两则出自《韩非子》里的故事。
狗猛酒酸
宋国有个卖酒的人，买卖公道，待客恭敬，酿酒醇美，酒帘醒目，但酒卖不出去，都变酸了。后来有位长者对店主说：“是你的狗太凶猛啦！”原来，人家都怕店主的狗。有的人家让小孩子拿钱提壶来打酒，那只狗迎上去就咬人，谁还敢来呢？
这是混合采用了穷举法和演绎法。酒卖不出的原因本来可能有好几个，但经逐一排除，只剩下一个。再经推理，即导致合理的解释。
棘刺母猴
燕王供养了一位自称能在棘刺尖上雕母猴的卫国人，并想看他表演。谁料这客人只顾吃喝玩乐，还说若国王要看棘刺母猴，必须半年不进后宫，不喝酒，不吃肉，而且要待至雨停日出，似明似暗的一刹那才能看到。燕王拿他没法，只好一直供养他。后来有位铁匠对燕王说：“我是打刀的，我知道刻东西需用小刀，而且刻的东西一定要比刀刃大方行，如果棘刺尖儿容纳不下刀刃，就不能在上面雕刻了。请国王瞧瞧客人的刻刀，不就知道他有没有说谎吗？”于是国王问客人取刻刀看，客人借辞回家取刀趁机溜走了！
这是采用了反证法。要在棘刺尖上刻母猴，必须有刀刃比棘刺尖儿还小的刻刀。如果没有这样的刀，便没法在棘刺尖上雕母猴了。
……