質問: a,bが互いに素な整数のとき、 ax+by1 をみたす整数x,yが存在し、その中でもとくに x^2+y^2≦(a^2+b^2)/4 + 1/(a^2+b^2) をみたすものが存在すること
回答: 最後の部分って、≦じゃなくて≧じゃないですか?