二次元座標で、正三角形の全ての頂点が整数座標になるような３点のとり方はあるんでしょうか？
あるならその一例を、なければ証明をお願いします