桥本有菜24部合集种子
)…最、简,分、数、分数,最简分数:见《欧几里得77》……形、式、形式:见《欧几里得13》……(n/m)2=2:(n/m)的平方=2…∵ (n/m)2=2∴ 2m2=n2(2×m的平方=n的平方)…∵:数学符号“因为”…见《欧几里得77》……∴:数学符号“所以”…见《欧几里得77》…∴ n2(n的平方)=m2/2(m的平方/2)∴ n2(n的平方)为偶数∴ n为偶数(奇数的平方为奇数,偶数的平方为偶数)n可表示为2x∵ 2m2=n2(2×m的平方=n的平方),n2=2x(n的平方=2x)∴ 2m2=n2=(2x)2[(2x)的平方]=4x2(4·x的平方)∴ m2=2x2(m的平方=2·x的平方)∵ 奇数的平方为奇数,偶数的平方为偶数∴ m 也为偶数∴ m和n有公因数2,这与n/m为最简分数矛盾根据矛盾律(互相矛盾的两命题必有一假),“m和n有公因数2”“n/m为最简分数”必有一假…矛盾律:见《欧几里得73》……命、题、命题:见《欧几里得70》……假:不符合事实…见《欧几里得75》…根据排中律(命题不可能既真又假),“n/m为最简分数”真,所以“m和n有公因数2”必为假…排中律:见《欧几里得72~74》…根据逻辑关系(证明方法正确,原命题为真、推论为真,原命题为假、推论为假),原命题“√2(根号2)为有理数”为假…逻、辑、逻辑:见《欧几里得5》……关、系、关系:见《欧几里得75》……逻辑关系:见《欧几里得76》…∴ 原命题的反命题为真∴ “√2(根号2)为无理数”为真∴ √2(根号2)为无理数这个证明简短而又有力,充分体现了证明者的智慧,也体现出数学的概括性和美丽