■

８：３０起床。９：００〜１１：３０まで自習。疲れて休憩をとってそのまま昼飯。１２：３０ネットをしていたらやごさんに漫画実話ナックルズを思い出させられたので探しに外出。結局見つからず、週刊誌を立ち読みして帰宅。モーニングのちばてつや賞が物凄くだらだらだったなあ・・・。でもあの自転車お姫様だっこは濡れる。１３：５０自習再開。途中で詰まる。１８：２０どうしても出来ないところ１つのみに絞れたので終了。１８：３０バイオリン練習。音階とポジショニングをじりじりやっていたら１時間が経過。１９：３０夕食。２０：００近所に家庭教師のバイト。２１：００喉をからして帰宅。お菓子を食べたりお茶を飲んで休憩。今に至る

勉強、時間は長いけど自習しかしてない…。最小の合同数（３辺が有理数であるような直角三角形の面積）が５であることを示そうとしたんだが、３が合同数にならないことがあと１歩で言えない。２Ａ⁴＋１８Ｂ⁴＝Ｃ²がＡ，Ｂ：奇数のとき非自明整数解を持たないことを示せずに３時間以上過ぎてしまった。それとは別なんだけど、Ａ，Ｂが３と互いに素なとき、ｍｏｄ９で３（Ａ⁴＋Ｂ⁴）≡６ってちょっと凄くない？　５が合同数になること（３辺が 20/3，3/2，41/6）は（1681/144，62779/1728）がＥ：Ｙ²＝Ｘ³−２５Ｘ 上の有理点ということを使ってちゃんと導けた。導出方法はテキストに載っていても、自分で出来ると嬉しい。

追記：匿名の人達から答えを聞いた。無限降下法の手本みたいな問題だな。ともかく晴れて最小の合同数は５。