Bhaskara's Lemma is an identity used as a lemma during the chakravala method. It states that:
Nx2+k=y2\impliesN\left(
mx+y | |
k |
\right)2+
m2-N | |
k |
=\left(
my+Nx | |
k |
\right)2
m,x,y,N,
k
The proof follows from simple algebraic manipulations as follows: multiply both sides of the equation by
m2-N
N2x2+2Nmxy+Ny2
k2
Nx2+k=y2\impliesNm2x2-N2x2+k(m2-N)=m2y2-Ny2
\impliesNm2x2+2Nmxy+Ny2+k(m2-N)=m2y2+2Nmxy+N2x2
\impliesN(mx+y)2+k(m2-N)=(my+Nx)2
\impliesN\left(
mx+y | |
k |
\right)2+
m2-N | |
k |
=\left(
my+Nx | |
k |
\right)2.
So long as neither
k
m2-N