ピタゴラス三角形の直角を挟む辺をａ，ｂとする．このとき，

　　ａ，ｂ，ａ−ｂ，ａ＋ｂのどれかは７で割り切れる

　　（３，４，５）→真

　　（５，１２，１３）→真

　　（７，２４，２５）→真

　　（８，１５，１７）→真

という言明の真偽を確かめてみよう．

　（その１６）より，

　　ａ^2−ｂ^2＝ｍ　　（ｍｏｄ　７）

　　　　ｍ＝０，１，２，３，４，５，６

したがって，この言明は真のことも偽のこともありうると思われるが，・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ａ^2＋ｂ^2は平方数であるという条件を用いていないので，

　　ａ＝ｐ^2−ｑ^2，ｂ＝２ｐｑ，ｃ＝ｐ^2＋ｑ^2

とおく．

　　ａ＋ｂ＝ｐ^2−ｑ^2＋２ｐｑ

　　ａ−ｂ＝ｐ^2−ｑ^2−２ｐｑ

　　ａ^2−ｂ^2＝（ｐ^2−ｑ^2）^2−（２ｐｑ）^2＝ｐ^4−６ｐ^2ｑ^2＋ｑ^4

　　ｐ^4−６ｐ^2ｑ^2＋ｑ^4＝ｐ^4＋ｐ^2ｑ^2＋ｑ^4　　（ｍｏｄ　７）

［０］ａ＝７ｋ　　　→　ａ^2＝０，ａ^4＝０　　（ｍｏｄ　７）

［１］ａ＝７ｋ＋１　→　ａ^2＝１，ａ^4＝１　　（ｍｏｄ　７）

［２］ａ＝７ｋ＋２　→　ａ^2＝４，ａ^4＝２　　（ｍｏｄ　７）

［３］ａ＝７ｋ＋３　→　ａ^2＝２，ａ^4＝４　　（ｍｏｄ　７）

［４］ａ＝７ｋ＋４　→　ａ^2＝２，ａ^4＝４　　（ｍｏｄ　７）

［５］ａ＝７ｋ＋５　→　ａ^2＝４，ａ^4＝２　　（ｍｏｄ　７）

［６］ａ＝７ｋ＋６　→　ａ^2＝１，ａ^4＝１　　（ｍｏｄ　７）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝