Question

宇野

対偶を使った証明の問題について、、
1枚目が私が解いたノートで、2枚目が解答です。
私のやり方ではダメなのでしょうか？
ダメな場合はなぜダメなのか教えてくださるとありがたいです。
お願いします🙇‍♀️

)<の妥っ牧釣 ag2AN 27的 のんのいみ のをググ のを
) る= ツィ7。 2 =アク のとマ
と多Zゾィ ②2つ = タン2テイ22ナタチ/
ラル6 ラク7 奪数2っ4 っす 7 ばで区|りれい

にな

でうけの= 7。 の> =72とテ
3 その本 3カテの"= ラン久季78 モうん7う
3克ラ67 3ん7 2Z (の克数の2で 2?/ なクウみい

0OD 2Z= 2 。ち3カテ72/そ             3
て多りすその"うす多人サタルテの7
タル(テス7 7飼数6ので の7が6 多り切れがい

の) <より 2なのの3で便リウれがいと の12 と須り切れ
者色 七4p そとの 争惑 3 Co

・

は偶は,
のAi oZまたは6めが 3で割り切れない
、 ば 07はうる交且
となるので, これを証明する.
み、ヵを義数とすると,

   
   
     
  
 

三97z?土6z十1十97?
3(3*土2x十322十1 (複号同原)

3 土2十37* は整数であるから, の2十2は3
で割り切れない.

介 <=3み土]1、ぁ=ニ3ヵー1 のとき
のが=(⑬み12二(3ヵー1)
三92?圭62十1二92一6ヵ寺1

3(3か2寺2十3872ー2ヵ)二2 (複号同原)

3が土2娘十3がーー2 は整数であるから, Z2T 2
| は3で割り切れない.

@三3 土], 23ヵ十1 のとき
のが=3み7(3ヵ1

人人
@! Rt rr oo co  と<

ー92が2圭6巡二1す9726ヵ1
 2よ2十372直27)2 (複号同順)
37寺2が十3二2 は整数であるから、 のど
は3で割り切れない

め⑩ (0におぉいて
語となる そのま入れかえでも it

5で, ⑪こょり. 々または6が3で    れ
2 の十が5 は3で割り切れない.    ーー
を   ・対偶が証  れたので, もとの命題成り立

命題と対偶 対偶 待遇証明

Answer 1

コギト

あなたの回答だとa=3m+-1でb=3n-+1のときを言ってないですね。

解答の4みたいに
与式がa,bについて対称なんだからその事を使わない手はないですね。