Question

のん

この問題で、
a/bが既約分数でb≠0だから(初めに仮定する時)
最後にaとbが公約数2を持つことに矛盾するという
書き方では間違いですか？
教えてください＜(_ _)＞

ea

./ぢ は無理数であることを証明せよ>          の
無理才でない。 ナ なわゎち有理数であると仮定         叶
とを用いる>

し1 9 2 は                    3
/  く。また, 60 ページの例題 1 で証明した次ジニ   ら
を整数とするとき。 7 が偶数ならぱ, ヵは伯数て  0

ムわち和有理数であると仮定する と。
旧人を用いて

  

証明 。/2 は無理数でない,
1 以外に正の公約数をもたない 2 つの自然数

72 =

ら

と表される。このとき

   

両辺を 2 乗すると
よって, の は偶数ペ したがって, Zも偶数である。

ゆえに, は, ある自然数c を用いて
g三2c

と表される。② を ① に代入すると
4c*ー27*

すなわち       の=2c*
よって, /* は個数。 したがって, 5も偶数である。

とのはともに偶数であり, 公約数 2 をもつ。
Op        が1       の公約数をもたないことに

(である。

②計

Answer 1

きらら

書く量を省略するという事ですかね？
ABの明記はした方がいいかもです。互いの数が自然数という保証は無いので！
最後のまとめは結論が分かっている分、誤魔化しが聞くと思いますが多少の減点はあると思います

Answer 2

とと

細かいところですが
公約数2を持つこと（に）矛盾するでは、
公約数2を持つことが正しいとして比較しています。

しかし仮定が正しいものとして論説を繋げていくので仮定と比較しなければいけません。

なので、
公約数2を持つこと（は）仮定（に）矛盾する。
よって仮定は間違いであるという流れが必要です。