a=2k+1
とおいて、
b^2=(4k^2+4k+1-c^2)/3
=((4k^2+4k+4-c^2)/3)-1
b^2+1=(4k^2+4k+4-c^2)/3
ここらへんで手が止まります。