请检查我的数论证明答案并纠错：证明x²=6无有理数解及判断√2+√3是否有理

咱们来逐个解决这两个问题：

1. 证明不存在满足x²=6的有理数 #

用反证法推导如下：

• 假设存在这样的有理数x，将其表示为既约分数a/b（a、b为互质整数，b≠0，互质即a和b无除1外的公因子）。
• 根据条件x²=6，代入得(a/b)² = 6，两边同乘b²后得到a² = 6b²。
• 由于6是3的倍数，因此a²必为3的倍数。而3是质数，根据质数性质：若质数p整除整数的平方，则p必整除该整数本身，所以a一定是3的倍数。
• 令a=3n（n为整数），代入a²=6b²可得(3n)²=6b²，展开后为9n²=6b²，两边除以3化简得到3n²=2b²。
• 此时左边3n²是3的倍数，因此右边2b²也必须是3的倍数。由于2和3互质，只能是b²为3的倍数，同理b也必为3的倍数。
• 这与最初假设的“a、b互质”矛盾——a和b都有公因子3，说明原假设不成立。

结论：不存在满足x²=6的有理数。

2. 判断√2+√3是否为有理数 #

同样用反证法分析：

• 假设√2+√3是有理数，记为r，即r = √2 + √3（r为有理数）。
• 对等式两边平方：r² = (√2 + √3)²，展开右边得r² = 2 + 2√6 + 3，合并常数项后为r² = 5 + 2√6。
• 整理式子解出√6：将5移至左边得r² - 5 = 2√6，两边除以2后得到√6 = (r² - 5)/2。
• 观察右边：有理数的平方、加减、乘除运算结果仍为有理数，因此(r² - 5)/2是有理数，但我们已证明√6是无理数，矛盾。

结论：√2+√3不是有理数，它是无理数。

内容的提问来源于stack exchange，提问作者lindsey chan