基本例題の方では、互いに素でない⇔素数を公約数にもつ、と書かれてあるのですが、Exercisesの方の問題では、公約数gが素数と書かれてありません。なぜなのか教えて欲しいです🙏

530 |基本例題 121 互いに素に関する証明問題 (2) 000 自然数 α, bに対して, aとbが互いに素ならば, a + b と abは互いに素である。 ことを証明せよ。 p.525 基本事項 2 重要 121 a+b abの最大公約数が1となることを直接示そうとしても見通しが立たない。 そこで,背理法(間接証明法)を利用する。 →a+b と ab が互いに素でない, すなわち, a+bとαbはある素数」を公約数 にもつ,と仮定して矛盾を導く。 なお、次の素数の性質も利用する。 ただし,m, n は整数である。 mn が素数 』 の倍数であるとき,またはnはかの倍数である。 1 最大公約数が1を導く CHART 互いに素であることの証明 背理法 (間接証明法)の利用 a+b と ab が互いに素でない, すなわち, a + b と αbは 解答ある素数を公約数にもつと仮定すると とnが互いに素で ない a+b=pk D, ab=pl ② と表される。 ただし, k, lは自然数である。 ...... mnが素数を 公約数にもつ ② から, α または は の倍数である。 α a=pmとなる自然数がある。 の倍数であるとき, = 1 このとき,①から,b=pk-a=pk-pm=p(k-m) となk-mは整数。 りもの倍数である。 (I+\)8=8+18=8+ (I+s)=( これはaとbが互いに素であることに矛盾している。(+0) Ict bがpの倍数であるときも,同様にしてαはの倍数であa=pk-b り,aとbが互いに素であることに矛盾する。 =pk-m') したがって, a+bとabは互いに素である。)=+ ( ' は整数) 参考 前ページの基本例題120 (2) の結果 「連続する2つの自然数は互いに素である」は,整数 の問題を解くのに利用できることがある。 興味深い例を1つあげておこう。 問題 素数は無限個存在することを証明せよ。 [証明] 2以上の自然数とする。 +1は互いに素であるから, n=n (n+1) は異な る素因数を2個以上もつ。 同様にして, n=n(n+1)=ni(n+1) (n2+1) は異なる素因数を3個以上もつ。 「この操作は無限に続けることができるから,素数は無限個存在する 素数が無限個存在す

113. 「自然数k,l」を「互いに素である自然数k,l」 としたのですが別に良いですか？ また、最後「矛盾している」と書いていますが 同じことを2回書いているように思うのですが、 2回目の「矛盾している」には何の意味があるのですか？

基本例題113 互いに素に関する証明問題 (2) 00000 自然数a,bに対して, aとbが互いに素ならば, a + b と abは互いに素であるこ とを証明せよ。 091 5: 指針a+b と ab の最大公約数が1となることを直接示すのは糸口を見つけにくい。 そこで,背理法(間接証明法)を利用する。→a+b と ab が互いに素でない,すなわち a+b と ab はある素数を公約数にもつ,と仮定して矛盾を導く。 なお、次の素数の性質も利用する。 ただし,m,nは整数である。 mnが素数」の倍数であるとき, mまたはnはかの倍数である。 CHART 互いに素であることの証明 解答 a+b と ab が互いに素でない,すなわち a + b と ab はある素 数』を公約数にもつと仮定すると a+b=pk ①, ab=pl ...... p.4762 重要 114 ①1 最大公約数が1を導く 2 背理法 (間接証明法) の利用 ② , lは自然数) to と表される。 ② から, a または6の倍数である。 aがpの倍数であるとき, a=pmとなる自然数mがある。 このとき、①から6=pk-a=pk-pm=p(k-m) となり, bもpの倍数である。 これはαとが互いに素であることに矛盾している。 bがpの倍数であるときも、同様にしてαはかの倍数であり, aとbが互いに素であることに矛盾する。 したがって, a +6 と ab は互いに素である。 [番号] 前ページの基本例題 112 (2) の結果 「連続する2つの自然数は互いに素である」は、整数 この問題を解くのに利用できることがある。 興味深い例を1つあげておこう。 各自=2や 3 などの場合で,このことを検証してみるとよい。 n₁ mとnが互いに素でない ⇔mとnが素数を公約 数にもつ k-mは整数。 TRAF a=pk-b 問題 素数は無限個あることを証明せよ。 [証明] n を2以上の自然数とする。 と+1は互いに素であるから, n2 =n(n+1) は異な る素因数を2個以上もつ。 同様にして。 ns=n(n+1)=n(n+1)(n2+1) は異なる素因数を3個以上もつ。 この操作は無限に続けることができるから、素数は無限個存在する。 =p(k-m') ( m' は整数) 素数が無限個あることの証明は,ユークリッドが発見した背理法を利用する方法が有名である け 21世紀に入って (2006年), サイダックによって提示された, とても簡潔な方 a)(w) P 481 4章 17 約数と倍数、最大公約数と最小公倍数

119. cが3の倍数でないときcの2乗を3で割ったときは2ではないのですか？（a^2+b^2の余りが2でa^2+b^2=c^2なので余りが2だと思いました。）

-9 い。 つ 考え お 。 重要 例題 119 等式 a²+b²=c^に関する証明問題 a,b,cは整数とし,+b2=c^2 とする。a,bのうち、少なくとも1つは3の倍 数であることを証明せよ。 基本 117 指針>「少なくとも1つ」の証明では、間接証明法 (対偶を利用した証明, 背理法) が有効であ る。ここでは,背理法を利用した証明を考えてみよう。 「α, bのうち、少なくとも1つは3の倍数である」の否定は, 「α6はともに3の倍数でない」 であるから, a =3m+1,3m+2;6=3n+1,3n+2 (m,nは整数)と表される。 よって, a,bがともに3の倍数でないと仮定して, d'+b2=c^2 に矛盾することを導く。 CAHOTSAL 08 CHART の倍数に関する証明なら, で割った余りで分類 解答 a,bはともに3の倍数でないと仮定する。 このとき,a2, 62は (3k+1)=3 (3k²+2k)+1, (3k+2)^=3(3k²+4k+1) +1 のどちらかの式のkに適当な整数を代入すると, それぞれ表さ れる。 3k2+2k, 3k²+4k+1は整数であるから、3の倍数でない数α, bの2乗を3で割った余りはともに1である。 [+5] したがって, a2+b2を3で割った余りは2である。…… ① 一方,cが3の倍数のとき, c2は3で割り切れ, cが3の倍数でないとき, cを3で割った余りは1である。 すなわち,c2を3で割った余りは0か1である。 2 ① ② は a²+6°= c2 であることに矛盾する。 -- ゆえに,a^2+b2=cならば、a,b のうち、少なくとも1つは 3の倍数である。 (平方数とは、自然数の2乗になっている数のこと。) DCは奇数である 【検討】 ピタゴラス数とその性質 a2+b2=c2 ゴラス数 (a,b,c) について,次のことが成り立つ。 a, ものうち、少なくとも1つは3の倍数である。 (2) a,bのうち、少なくとも1つは4の倍数である。 a,b,cのうち, 少なくとも1つは5の倍数である。 3 参考 <a =3m+1,b=3n+2 など の場合をまとめて計算。 [①の理由] ( 3K+1)+(3L+1) =3(K+L)+2 AASURA NOTAR 注意 「平方数を3で割った余りは0か1である」 (上の②) も, 覚えておくと便利である。 **a, (K,Lは整数) (から。 (左辺)÷3の余りは2 (右辺) ÷3の余りは0, 1と なっている。 A を満たす自然数の組 (a, b, c) を ピタゴラス数 という。 A を満たすピタ FC <重要例題 119 p.491 EXERCISES 86 p.496 練習 123 (2) ①② から abは12の倍数であり, 1~③から, abc は 60 の倍数である。 b,c, d が等式α'+b'+c2=d2 を満たすとき, dが3の倍数でないな の中に3の倍数がちょうど2つあることを示せ。 [一橋大] Op.491 EX86 489 4章 18 整数の割り算と商および余り あ あ 九

113. mとnが互いに素でないことを言い換えると mとnが素数を公約数にもつ となるのはなぜですか？ 例えばm=20,n=4のときm,nは互いに素でなく、 公約数は4で素数ではないですよね？

基本例題 113 互いに素に関する証明問題 (2) 00000 自然数 α, bに対して, aとbが互いに素ならば, a+babは互いに素であるこ とを証明せよ。 p.476 基本事項 [②] 重要 114 指針a+b と ab の最大公約数が1となることを直接示すのは糸口を見つけにくい。 そこで,背理法(間接証明法)を利用する。 →a+b と ab が互いに素でない,すなわち a+b と ab はある素数』を公約数にもつ,と仮定して矛盾を導く。 なお,次の素数の性質も利用する。 ただし, m, nは整数である。 mnが素数」の倍数であるとき, mまたはn はかの倍数である。 CHART 互いに素であることの証明 ① 最大公約数が1を導く ② 背理法 (間接証明法) の利用 解答 a+b と ab が互いに素でない, すなわちa+b ab ある素 数』を公約数にもつと仮定すると ② (k, lは自然数) a+b=pk...・・･ ①, ab=pl と表される。 ② から, a または6の倍数である。 aがpの倍数であるとき, a=pm となる自然数mがある。 このとき, ①から6=pk-a=pk-pm=p(k-m) となり, ももかの倍数である。 これはaとbが互いに素であることに矛盾している。 bがpの倍数であるときも、同様にしてαはpの倍数であり, aとbが互いに素であることに矛盾する。 したがって,a+b と αb は互いに素である。 mとnが互いに素でない ⇒ m nが素数を公約 数にもつ <k-mは整数。 <a=pk-b =p(k-m') ( m'は整数) [参考] 前ページの基本例題112 (2) の結果 「連続する2つの自然数は互いに素である」 は, 整数 の問題を解くのに利用できることがある。 興味深い例を1つあげておこう。 問題 素数は無限個あることを証明せよ。 [証明] を2以上の自然数とすると+1は互いに素であるから,(n+1) は異な 」 る素因数を2個以上もつ。 同様にして, n=n(n+1)=n(n+1) (n2+1) は異なる素因数を3個以上もつ。 この操作は無限に続けることができるから, 素数は無限個存在する。 ※各自=2や=3などの場合で,このことを検証してみるとよい。 素数が無限個あることの証明は, ユークリッドが発見した背理法を利用する方法が有名である が、上の証明は、21世紀に入って (2006年), サイダックによって提示された, とても簡潔な方 法で 481 4章 17 約数と倍数、最大公約数と最小公倍数

青色のマーカー部分について教えて頂きたいです

X Clear 串 分割21 (令和….. 480 なぜこれらは 表記を変えているのでか? × 分割19 (第3... 解答 B CHART (1) Clear 00000 基本例題 112 互いに素に関する証明問題 (1) (4) nは自然数とする。 n+3は6の倍数であり, n+1は8の倍数であるとき､ n+9は24の倍数であることを証明せよ。 任意の自然数nに対して､連続する2つの自然数nとn+1は互いに素であ の方の解 ることを証明せよ。 (21はおさてんどん P.476 基本事項 (2) 基本111114 指針 (1)次のことを利用して証明する。a,b,kは整数とするとき く 生物 白紙法 a,bは互いに素で, akがもの倍数であるならば、はの倍数である。 n=ga,n+1=gb(a,bは互いに素 (2)nn+1は互いに とn+1の最大公約数は nとn+1の最大公約数をとすると この2つの式から消去して 9-1を導き出す｡ ポイントは A.Bが自然数のとき, AB 1 ならば A=B=1 3-664 (k, は自然数)と表される。 n+9= (n+3)+6=6k+6=6(k+1) n+9 (n+1)+8=81+8=8(7+1) XO よって 6(k+1)=8(Z+1) すなわち 3 (k+1)=4(+1) 3と4は互いに素であるから,k+1は4の倍数である。 したがって, k+1=4m (m は自然数) と表される。 ゆえに n+9=6(k+1)=6.4m24m したがって n+9は24の倍数である。 (2)+1 最大公約数を」とすると ngan+1=gb (a,bは互いに素である自然数) と表される。 nga を n+1=gb に代入すると ga+1=gb すなわち (b-g) =1 9, a,bは自然数で,n<n+1 より b-a>0であるから g=1 よって, nとn+1の最大公約数は1であるから nとn+1 は互いに素である。 注意 (2)の内容に関連した内容を、 次ページの世で扱っている。 α b は 1 ak = bl ならば kの倍数の倍数 互いに素 [2] αとの最大公約数は1 としてもよい。 <n=ga, n+1=gb 積が1となる自然数はまだ けである。 99 (1) nは自然数とする。 n+5は7の倍数でありn+7は5の倍数であるとき､ 112 +1235で割った余りを求めよ。 (2) nを自然数とするとき, 2n-1と2n+1は互いに素であることを示せ。 [ 中央大 (2) 広島修道大) p.484 EN7 X 大森徹遺伝問題･･･ Ć D Đ tlas CHART 互いに素であることの証明 X 基本例題13 互いに素に関する証明問題 (2) 00000 自然数a,bに対して, aとbが互いに素ならば、 α+b と ab は互いに素であるこ とを証明せよ。 P.476 基本事項 2 114 a+b abの最大公約数が1となることを直接示すのは糸口を見つけにくい。 そこで、背理法 (間接証明法)を利用する。 at babが互いに素でない、すなわち a+b と abはある素数』を公約数にもつ、と仮定して矛盾を導く。······· なお、次の素数の性質も利用する。ただし、 は整数である。 mnが素数の倍数であるとき、またはnはの倍数である。 45 5 最大公約数が1を導く [2] 背理法 (間接証明法) の利用 このとき、1+1は3の これはともが互いに素であることに矛盾している。 である。したがって bがpの倍数であるときも、同様にしては』の倍数であり、 4+1-3m² と表されるから､ aとbが互いに素であることに矛盾する。 +9-8-3m-24m したがって, a+babは互いに素である。 a+b と ab が互いに素でない、すなわちa+b と abはある素 を公約数にもつと仮定すると a+b=pk....... ①, ab=pl....... ② (k,は自然数) と表される。 ②から、またはもは♪の倍数である。 がpの倍数であるとき,a=pm となる自然数mがある。. このとき、①からbpk-a-pk-pm=pm となり もの倍数である。 第6講 4mとが互いに素でない とが数を公約 にもつ は © 113 (1) aとbが互いに素ならば、 da-pk-b -p(k-m') (mmは整数) 481 同様にして, nna(n+1)=n(n+1) (n+1) は異なる素因数を3個以上もつ、 この操作は無限に続けることができるから、素数は無限個存在する。 ※各自=2や3などの場合で、このことを検証してみるとよい。 4章 αbは自然数とする。 このとき、次のことを証明せよ。 とは互いに素である。 / (2) a+b と ab が互いに素ならば、ともは互いに素である。 17 前ページの基本例題112 (2) の結果 「連続する2つの自然数は互いに素である」は、整数 の問題を解くのに利用できることがある。 興味深い例を1つあげておこう。 1 素数は無限個あることを証明せよ。 明n を2以上の自然数とする。 とn+1は互いに素であるから, n(n+1) は異な る素因数を2個以上もつ。 最大公約数と小数 素数が無限個あることの証明は、ユークリッドが発見した背理法を利用する方法が有名である が、上の証明は、21世紀に入って (2006年)。 サイダックによって提示された。 とても簡潔な方 法である。 ×

【1】や【2】の最後の ーーーは整数であるから、n^2は３の倍数ではない。（①） は2枚目の写真のように、 よって、3の倍数ではない でもいいですか？ また①は3でくくったものは整数より、3(----)は3の倍数で、それと別に1が残っているから３の倍数ではない。 というこ... 続きを読む

98 00000 対偶を利用した証明 (1) 基本例題 56 整数 n の平方が3の倍数ならば,nは3の倍数であることを証明せよ。 指針n² が3の倍数→nが3の倍数 を直接証明するのは, ｢n² が3の倍数」 が扱いにくいの で面倒である。 そこで, 対偶を利用した (間接) 証明を考える。 対偶を考えるとき,「nが3の倍数でない」ということを、どのような式で表すかがポイン トとなるが,これは次のように表す (検討 参照 )。 n=3k+1[3で割った余りが1], n=3k+2[3で割った余りが2] なお,命題を証明するのに,仮定から出発して順に正しい推論を進め、結論を導く証明は を直接証明法という。これに対して, 背理法や対偶を利用する証明のように, 仮定から 間接的に結論を導く証明法を間接証明法 という。 解答 与えられた命題の対偶は 「nが3の倍数でないならば,n²は3の倍数でない」 である。 nが3の倍数でないとき, kを整数として, n=3k+1またはn=3k+2 と表される。 [1] n=3k+1のとき n²=(3k+1)^=9k²+6k+1 =3(3k²+2k)+1 3k²+2k は整数であるから,n²は3の倍数ではない。 [2] n=3k+2のとき n²=(3k+2)^=9k²+12k+4 =3(3k²+4k+1)+1 3k²+4k+1は整数であるから, n²は3の倍数ではない。 [1], [2] により, 対偶が真である。 したがって, 与えられた命題も真である。 基本 55 0, 1) 2で割った余りが ① 直接がだめなら間接で 対偶の利用 (p.99 の検討も参照。) 検討 整数の表し方 整数nは次のように場合分けして表すことができる (kは整数)。 ① 2k, 2k+1 (個数、奇数 ② 3k, 3k+1, 3k+2 (3で割った余りが 0 1,2) ③ ph, pk+1, pk+2, ., pk+(p−1) (pで割った余りが 0, 1,2, ...... 詳しくは数学A で学習する。 3× (整数)+1の形の数は, 3で割った余りが1の数で､ 3の倍数ではない。 [¯¯¯

波線で引いたn2乗は3の倍数ではないってどこからくるのですか？

98 基本 例題 56 対偶を利用した証明(1) 整数nの平方が3の倍数ならば, nは3の倍数であることを証明せよ。 指針nが3の倍数→nが3の倍数 を直接証明するのは, 「n² が3の倍数」 が扱いにくいの で面倒である。そこで, 対偶を利用した (間接)証明 を考える。 対偶を考えるとき, 「nが3の倍数でない」ということを,どのような式で表すかがポイン n=3k+2[3で割った余りが2] トとなるが, これは次のように表す (検討 参照)。 n=3k+1[3で割った余りが1], なお、命題を証明するのに, 仮定から出発して順に正しい推論を進め、結論を導く証明 解答 CENER 与えられた命題の対偶は 「nが3の倍数でないならば, n2は3の倍数でない」 である。 nが3の倍数でないとき, kを整数として, n=3k+1またはn=3k+2 を直接証明法という。 これに対して, 背理法や対偶を利用する証明のように, 仮定から 間接的に結論を導く証明法を間接証明法 という。 と表される。 [1] n=3k+1のとき n²=(3k+1)=9k²+6k+1 =3(3k²+2k)+1 3k²+2k は整数であるから n²は3の倍数ではない。 [2] n=3k+2のとき 基本55 ......... n²=(3k+2)^=9k²+12k +4 =3(3k²+4k+1)+1 ( 3k²+4k+1は整数であるから n²は3の倍数ではない。 [1], [2] により, 対偶が真である。 したがって、与えられた命題も真である。 ① 直接がだめなら間接で 対偶の利用 (p.99 の検討も参照。) 2 13× (整数)+1の形の数は 3で割った余りが1の数 3の倍数ではない。

命題 練習の(1)の問題の証明ってこれでもいいですか？(3枚目　　　

の形の 命題の対偶は 解答 「a, bがともに3の倍数でないならば, abは3の倍数でない」 である。 a,bがともに3の倍数でないとき、3で割ったときの余りはそ れぞれ1または2であるから, k, lを整数とすると a=3k+1 または a=3k+2 と表せる。 b=3l+1 または b=3l+2 [1] a=3k+1, b=3l+1 のとき ab=(3k+1)(3+1)=3 (3kl+k+1)+1 3kl+k+1は整数であるから, abは3の倍数でない。 [2] a=3k+1, b=3l+2のとき ab=(3k+1)(31+2)=3 (3kl+2k+1)+2 3kl+2k+1は整数であるから αbは3の倍数でない。 [3] α=3k+2, b=3l+1のとき ab=(3k+2)(3l+1)=3(3kl+k+21)+2ことに不 3kl+k+2lは整数であるから, abは3の倍数でない。 [4] α=3k+2, b=3l+2 のとき ab=(3k+2)(3l+2)=3(3kl+2k+2l+1)+13 3kl+2k +21+1は整数であるから abは3の倍数でない。 [1]~[4] により, 対偶は真である。 したがって,もとの命題も真である。 164 ...... 2 I α またはbは3の 倍数である」 の否定 は、「αは3の倍数 でないかつbは3の 倍数でない」 である。 α=3k±1,b=3/±1 とおいて進めること もできる。 3× (整数)+1の形 の数は、3で割った 余りが1の数で 3 の倍数ではない。 間接証明法を使う見極め方 検討 間接証明法 (対偶を利用した証明, 背理法) が有効かどうかは、 命題の結論から見極める とよい。 特に, 結論が次のような場合は, 間接証明法を検討するとよい。 ① ● または■｣ 「少なくとも1つは●」....･･ ｢かつ」 などの条件から出発できる ② 「●でない」, 「■」 「●である」 などの、 肯定的な条件から出発できる。 (90) 習 対偶を考えることにより、 次の命題を証明せよ。 ただし, a, b, cは整数とする。 50 (1) a²+b2+cが偶数ならば, a,b,cのうち少なくとも1つは偶数である。 128 ~21 221

(2)の説明が分かりません、どうしてこれで証明が出来るんですか？

亜例題 直接証明しにくい問題は間接証明法で ピ=° に関する証明問題 nが3の倍数でないとき, nは整数んを用いて がともに3の倍数でないと仮定して, 矛盾を導く。 nが3の倍数でないとき, n'を3で割った余りを求めよ。 その際,(1)の結果を利用するために, 両辺をそれぞれ3で割ったときの余りにつ 特に,(2)のような「少なくとも1つ」の証明には間接証明法が有効である。 a, b は整数とする。 6, C, n a bのうち少なくとも1つは3の倍数であること を証明せよ。 SOLUTION CHART 対偶を証明する 2 背理法を利用する 基本 113 いて考える。 解答) n 3k+1 または 3k+2 別解(1) nが3 の倍 ないとき, kを整数 と表される。 ] n=3k+1 のとき パ=(3k+1)?=9k"+6k+1=3(3k°+2k)+1 てn=3k±1 と表さ このとき n=(3k±1) =3(3土2k)+1 [2] n=3k+2 のとき パ=(3k+2)?=9k?+12k+4=3(3k?+4k+1)+1 よって, n° を3で割った余りは1である。 ) a, bがともに3の倍数でないと仮定する。 このとき,(1) により,α", b° を3で割った余りはともに1で あるから, a°+6° を3で割った余りは 1+1=2 である。 (複) よって, nを3で 余りは1である。 *和の余りの性質 0 (b.407 参照) 一方, cが3の倍数のとき, c?も3の倍数であり, cが3の倍数でないとき, c'を3で割ると1余る。 よって, c?を3で割った余りは0または1である。 0,2は a'+b=c? であることに矛盾する。 ゆえに, a°+6°=c? ならば、a, bのうち少なくとも1つは 3の倍数である。 合ら+8とでに た余りが同じ とに矛盾。 S-

何故①、②は矛盾するのかがわからないです。 解説お願いします！

重要 例題119 等式α+6=c' に関する証明問題 指針>「少なくとも1つ」 の証明 では, 間接証明法(対偶を利用した証明, 背理法)が有効 cは整数とし、α'+b=c° とする。a, bのうち, 少なくとも1つは3の 6が13のに 数であることを証明せよ。 基本11 る。ここでは,背理法を利用した証明を考えてみよう。 「a. bのうち,少なくとも1つは 3の倍数 である」 の否定は, 「a, bは ともに3の倍数 でない」であるから, a=3m+1, 3m+2; b=3n+1, 3n+2(m, nは整数) と表される。 よって, a, bがともに3の倍数でないと仮定して, α'+6°=c°に矛盾することを導く。 さ CHART の倍数に関する証明なら, ●で割った余りで分類 解答 CF 4, bはともに3の倍数でないと仮定する。 このとき, a', 6°は ケ (3k+1)=3(3k2+2k)+1, (3k+2)°=3(3k°+4k+1)+1 のどちらかの式のkに適当な整数を代入すると, それぞれ表さ (a=3m+1, b=3n+2など の場合をまとめて計算。 ち 会 S十n ーn [1] [O の理由] =n I9) れる。 き(a=)+ 3°+2k, 3k?+4k+1 は整数であるから, 3の倍数でない数 a, 6の2乗を3で割った余りはともに1である。+ したがって, a'+6°を3で割った余りは2である。 一方,cが3の倍数のとき, c? は3で割り切れ, cが3の倍数でないとき, c'を3で割った余りは1である。 すなわち, c' を3で割った余りは0か1である。 0, 2 はa+6=cであることに矛盾する。 ゆえに, α'+6°=c? ならば, a, bのうち, 少なくとも1つは (在右辺)33の余りは0, 1と 3の倍数である。 おゅ (3K+1)+(3L+1) =3(K+L)+2 (K, Lは整数) の ▲(から。お+ の 1(左辺)33の余りは2 なっている。 注意 「平方数を3で割った余りは0か1である」(上の②) も, 覚えておくと便利である。 (平方数 とは,自然数の2乗になっている数のこと。)