格子点を頂点にするのに一辺の長さが無理数なのか。