>>800
互助法なんて使った覚えがないんだが。

>>801
図描かないでも解けるかもね。
ただ、計算が少々めんどくさそうだけど。
「このような性質を」持つ⇔任意の実数 t に対し、ある整数 m , n が存在して
　　　| 2m - 5n + 5t | / √29 ≦ r
「このような性質」を持たない⇔ある実数 t が存在して、任意の正数 m , n に対して
　　　| 2m - 5n + 5t | / √29 ≦ r
だけど、少なくとも漏れはこれでとける気はしないな。