>>548
自信ないけど、途中まで
3a^2-a＝4b^2
(3a-1)a=(2b)^2
任意の自然数aについて(3a-1)とaは互いに素なので a=c^2,3a-1=d^2
3c^2-1=d^2
左辺=2(mod3),右辺=0,1(mod3)