尤里哥哥！哥哥！

今天是周六，尤里刚刚还在我房间懒洋洋的看书，突然就蹬跟着腿叫了起来，看来脚已经痊愈了

泷泽成啥事，你不是在看书吗？

尤里太无聊了，出点什么题吧

泷泽成好好，那我就出个著名的证明题吧

证明：根号2不是有理数

尤里这个人家不会……等等，这题我在学校做过！老师讲的很复杂，说什么假设根号2是有理数，就可以说根号2是有理数，因为根号2是有理数……不好意思，我证明不了

泷泽成呃……算了，那我们一起来想

泷泽成我们用反证法来做

尤里反证法？

泷泽成就是要“假设要证明的命题不成立，从而推导出矛盾的方法

我跟尤里讲了许久，最后总结出来的证明方法大致如下

假设根号2是有理数

此时存在整数ab满足以下条件，a不等于0，a和B互质，根号二等于a/B

将两边同时平方去分母的2a平方等于B平方

因为2a平方是偶数，所以B平方也是偶数

因为B平方是偶数，所以B也是偶数

因此存在整数B使B=2B。

把B=2B代入2a平方等于B平方得到a平方等于2B平方。

因为a平方是偶数，所以a也是偶数

因为a和B都是偶数，所以a和B不互质

这跟a和B互质相矛盾

所以根号2不是有理数

— — — — —

泷泽成就这样，我给她讲了怎么证明根号2不是有理数

放学后，我们在音乐教室随便找了个座位闲聊，盈盈一心一意的弹着钢琴，刚才那首曲子是二声部创意曲，我把之前跟尤里讲的话告诉泰朵拉跟米尔嘉，不过米尔嘉一直面对着盈的方向

泰朵拉学长真是会教人啊

米尔嘉你知道其他的证明方法吗？

一直看着盈盈的米尔嘉转过身来，冷不丁的问了一句，还以为她在专心听弹琴，没想到她一直在认真的听我们说话啊

泷泽成其他的证明方法？

米尔嘉用反证法

于是，米尔嘉又开启了讲课模式

米尔嘉假设根号2是有理数，存在整数ab使得根号2等b/a，将两边同时平方，去分母得到2a平方等于B平方，左边含有奇数个质因数2，右边含有偶数个质因数2，这就推导出了矛盾，因此根号2不是有理数

泰朵拉一副不理解的模样

米尔嘉怎么了？

泰朵拉在刚才的证明过程中出现了2a平方等于B平方这个等式，米尔嘉你刚才的意思是这个等式左边和右边的值相等对吧，但是我感觉刚刚你用的不是值相等这一点，所以我才会有些焦躁

米尔嘉泰朵拉指出来的这点很有趣嘛，你什么意见

米尔嘉把话锋转向我

泷泽成诶？比较两边质因数二的个数确实不等于比较两边的值，不过你的证明应该是对的，因为式子是个等式，所以只要判断左边和右边整数的结构相同就可以了，整数的结构是用质因数表示的，所以……

米尔嘉把食指伸到我面前，晃了两三下

米尔嘉废话太多了，只要说根据质因数分解的唯一分解定理，等式两边每个质因数的个数都是一样的就行了

泰朵拉这样啊……我思维练习还不够啊，不过，尽管这样……

泷泽成米尔嘉你那个证明方法很有趣啊

米尔嘉说着把脸别过去，突然站起来，开始跟还在不停的弹着钢琴的盈盈说起话来。

这么说来，米尔嘉要在跟我分个高下的时候绝对不会离开视线，但是有时候也会刷的看向别处，比如说被我表扬的时候，难不成……米尔嘉是在害羞？