フェルマーの最終定理の簡単な証明

x^2+y^2=(y+1)^2が整数解を持つならば、
必ず分数解を持つ。