■x^1/2に収束する分数列(その45)
p/q→(p^2+2q^2)/2pq
において,P=p^2+2q^2,Q=2pqとおいた場合,
P^2−2Q^2=p^4−4p^2q^2+4q^2=(p^2−2q^2)^2=1
P=(p^3+6pq^2)=p(p^2+6q^2),
Q=(3p^2q+2q^2)=q(3p^2+2q^2)
P^2−2Q^2=p^2(p^4+12p^2q^2+36q^4)−2q^2(9p^4+12p^2q^2+4q^4)
=(p^6+12p^4q^2+36p^2q^4)−(18p^4q^2+24p^2q^4+8q^6)
=p^6−6p^4q^2+12p^2q^4−8q^6
=(p^2−2q^2)^3=1
===================================
p/q→(p^2+2q^2)/2pq
において,pをp+2q,qをp+qで置き換えれば,
{(p+2q)^2+2(p+q)^2}/2(p+2q)(p+q)
3次式にはならない.
p/q→(p+2q)/(p+q)
において,pをp^2+2q^2,qを2pqで置き換えれば,
{p^2+2q^2+4pq}/{p^2+2q^2+2pq}
3次式にはならない.
===================================
[まとめ] p/q→(p^3+6pq^2)/(3p^2q+2q^3)
は何処へ? についてはよくわからないが,P^2−2Q^2=1になっていることがわかった.
===================================