0010132人目の素数さん垢版 | 大砲2023/01/22(日) 13:56:46.64ID:PFVHSZW9 代数曲線としてQ上y^2=x^3+1と同型なことから有理点もそれと無限遠点しかないことが分かる