>>587
は>>548でなく >>578 です。
3a^2-a=4b^2 でなくて　
3a^2-a＝b^2 を満たす自然数 a, b が存在しないことが、示せたので
かえって自信ないけど。