22/06/16 23:06:20.43 ODLY8JbF.net
折角なので、>>152に補足
(0,0),(a,b),(c,d)が格子点からなる正三角形だとすると、
(a,b),(d,-c),(b+c,-a+d)の三点も格子点からなる正三角形で、かつ上記より小さい。
無限に、より小さな格子点からなる正三角形を見いだすことが可能となり矛盾。
22/06/16 23:06:20.43 ODLY8JbF.net
折角なので、>>152に補足
(0,0),(a,b),(c,d)が格子点からなる正三角形だとすると、
(a,b),(d,-c),(b+c,-a+d)の三点も格子点からなる正三角形で、かつ上記より小さい。
無限に、より小さな格子点からなる正三角形を見いだすことが可能となり矛盾。