Bhaskara's lemma

From testwiki
Jump to navigation Jump to search

Template:Short description Bhaskara's Lemma is an identity used as a lemma during the chakravala method. It states that:

Nx2+k=y2⟹N(mx+yk)2+m2−Nk=(my+Nxk)2

for integers m,x,y,N, and non-zero integer k.

Proof

The proof follows from simple algebraic manipulations as follows: multiply both sides of the equation by m2−N, add N2x2+2Nmxy+Ny2, factor, and divide by k2.

Nx2+k=y2⟹Nm2x2−N2x2+k(m2−N)=m2y2−Ny2
⟹Nm2x2+2Nmxy+Ny2+k(m2−N)=m2y2+2Nmxy+N2x2
⟹N(mx+y)2+k(m2−N)=(my+Nx)2
⟹N(mx+yk)2+m2−Nk=(my+Nxk)2.

So long as neither k nor m2−N are zero, the implication goes in both directions. (The lemma holds for real or complex numbers as well as integers.)

References

  • C. O. Selenius, "Rationale of the chakravala process of Jayadeva and Bhaskara II", Historia Mathematica, 2 (1975), 167-184.
  • C. O. Selenius, Kettenbruch theoretische Erklarung der zyklischen Methode zur Losung der Bhaskara-Pell-Gleichung, Acta Acad. Abo. Math. Phys. 23 (10) (1963).
  • George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of Mathematics (1975).

Template:Number-theoretic algorithms


Template:Math-hist-stub