1は合同数でない。 補題 1が合同数ならば各辺の長さが整数で面積が平方数の三角形が存在。 ∵1が合同数なので面積が1の有理直角三角形が存在。 辺の長さが整数になるように相似拡大する。 具体的には角辺を既約分数で表したときの分母の最小公倍数をLとして …

なんだかんだでマスターズ最終日をギリギリまで見つつ 6時ごろに就寝。9時に起床。 適当に朝食をでっち上げて10時過ぎに学校へ。 一発目の講義は確率論。離散マルチンゲールをやるそうで。 なんか難しくなりそうだなぁと言う印象。 条件つき確率って今ひとつ…