もし7が素数なら、どうやって 7が不合理であることを証明するのでしょうか？

回答：

# "説明を参照してください"#

説明：

#「sqrt（7）」が合理的だとします。

# "それから、2つの整数aとbの商として書くことができます。"#

# "今、分数a / bが最も単純な形になっていて、できないと仮定します。"#

# "もう単純化されている（一般的な要因はない）"#

#sqrt（7）= a / b#

# "方程式の両辺を二乗する。"#

#=> 7 = a ^ 2 / b ^ 2#

#=> 7 b ^ 2 = a ^ 2#

#=> "aは7で割り切れる"#

#=> a = 7 m "、mも整数

#=> 7 b ^ 2 =（7 m）^ 2 = 49 m ^ 2#

#=> b ^ 2 = 7 m ^ 2#

#=> "bは7で割り切れる"#

# "したがってaとbの両方は7で割り切れるので、分数は異なりません"#

# "最も単純な形で、これは私たちのと矛盾する"#

#"仮定。"#

# "したがって、" sqrt（7） "が合理的であるという我々の仮定は間違っています。"##

#=> sqrt（7）は「不合理です」#