证明:∵ sinθ=2ab/(a^2+b^2)(0<θ<π/2), ∴ cosθ=(a^2-b^2)/(a^2+b^2)。下面用数学归纳法证明之:
(1) A1=2ab为整数。
A2=4ab(a^2-b^2)为整数。
(2) 假设n=k,n=k-1(k≥2)时,Ak=(a^2+b^2)^k*sin(kθ),A(k-1)=(a^2+b^2)^(k-1)*sin[(k-1)θ]为整数。
则当n=k+1时,
∵ 2(a^2+b^2)·cosθ·Ak=(a^2+b^2)^(k+1)*2sin(kθ)cosθ
=(a^2+b^2)^(k+1)[sin(k+1)θ+sin(k-1)θ]
=A(k+1)+(a^2+b^2)^2·A(k-1),即
A(k+1)=2(a^2+b^2)·cosθ·Ak-(a^2+b^2)^2·A(k-1)
=2(a^2-b^2)Ak-(a^2+b^2)^2·A(k-1),
∵ 2(a^2-b^2),Ak,-(a^2+b^2)^2,A(k-1)均为整数,
∴ A(k+1)为整数。
由数学归纳法原理知,对一切n∈N*,An均为整数。
。