>>183
(x^2-1)y^(k+2)+2xy^(k+1)-k(k+1)y^(k)=0　・・・②
のもとで
(x^2-1){(x^2-1)y}^(k+3)+2x{(x^2-1)y}^(k+2)-(k+1)(k+2){(x^2-1)y}^(k+1)=0
を証明する。
②のyをそのまま使うなら、このようになる。