We have prove
an−√Aan+√(A)=(a1−√Aa1+√(A))2n−1 for all nϵN
Clearly for n = 1, equality (1) holds .
Now from the given relation a2=12(a1+Aa1)
we have
a2√(A)=12√(A)(a1+Aa1)=a21+A2a1√(A)
Using componendo and dividendo , this gives
a2−√Aa2+√(A)=a21+A−2a1√Aa21+A+2a1√(A)=(a1−√Aa1+√(A))2
Hence the equality (1) holds for n = 1,
Now assume that (1) holds for n = m(m≥2), that is, we assume
am−√Aam+√(A)=(a1−√Aa1+√(A))2m−1 ........(2)
Then by the given relation
an+1=12(an+Aan) we have
am+1√(A)=12√(A)(am+Aam) (m≥2) so that
am+1−√Aam+1√(A)=12(am+Aam)−√A12(am+Aam)+√A
=am2−2am√A+Aam2+2am√A+A
=(am−√Aam+√(A))2=(an−√Aan+√(A))2m by (2)
Hence the equality (1) holds for n = m + 1
Hence it holds for all nϵN