■ブラーマグプタ・バースカラ・チャクラバーラ法(その159)

Du0^2+c0=v0^2,Du1^2+c1=v1^2とする。

このとき、

D(u0v1+u1v0)^2+c0c1=(Du0u1+v0v1)^2が成り立つ。

===================================

左辺

D(u0v1+u1v0)^2+(v0^2-Du0^2)(v1^2-Du1^2)

=D(u0^2v1^2+u1^2v0^2+2u0u1v0v1)+v0^2v1^2-Du1^2v0^2-Du0^2v1^2+(Du0u1)^2

=D(2u0u1v0v1)+v0^2v1^2(Du0u1)^2

=(Du0u1+v0v1)^2=右辺

===================================