若cosθ为有理数，正整数k对应的coskθ是否也为有理数？求证咨询

你的观察非常准确！这个结论是完全成立的——只要cosθ是有理数，那么任意正整数k对应的coskθ也一定是有理数。我来帮你把之前没完成的归纳法证明补全，再给你一个更本质的视角理解这个结论：

首先我们需要用到一个关键的三角恒等式：对于任意整数n≥2，有
cos(nθ) = 2cos((n-1)θ)cosθ - cos((n-2)θ)
这个式子可以通过余弦和角公式推导出来（比如把nθ拆成(n-1)θ+θ，展开后再用cos²x=1-sin²x转化，最终就能得到这个递推式）。

接下来用数学归纳法严谨证明：

1. 基例验证：

   • 当k=1时，cos1θ=cosθ，已知是有理数，显然成立；
   • 当k=2时，cos2θ=2cos²θ -1，因为有理数的平方仍是有理数，有理数的线性组合（加减乘）结果也为有理数，所以cos2θ是有理数，成立。

2. 归纳假设：
   假设对于所有满足1≤m≤k的正整数m（k≥2），cosmθ都是有理数。

3. 归纳步骤：
   根据递推恒等式，cos((k+1)θ)=2coskθ·cosθ - cos((k-1)θ)
   由归纳假设，coskθ和cos((k-1)θ)都是有理数，cosθ本身也是有理数；而有理数的乘法、减法运算结果仍然是有理数，因此cos((k+1)θ)必然是有理数。

由数学归纳法的原理，对所有正整数k，coskθ都是有理数。

上面的递推式其实是第一类切比雪夫多项式Tₙ(x)的核心性质，这类多项式满足：
cos(nθ) = Tₙ(cosθ)
而第一类切比雪夫多项式是整系数多项式——也就是说，Tₙ(x)的每一项系数都是整数（比如T₁(x)=x，T₂(x)=2x²-1，T₃(x)=4x³-3x，T₄(x)=8x⁴-8x²+1，等等）。

如果cosθ是有理数，设cosθ = p/q（p、q为整数，q≠0），代入整系数多项式Tₙ(x)后，Tₙ(p/q)的结果是整数的加减乘运算后除以qⁿ，显然仍是有理数，因此cos(nθ)=Tₙ(cosθ)必然是有理数。

这个视角能让我们更直接地理解结论：多倍角的余弦值本质上是原余弦值的整系数多项式，有理数代入整系数多项式的结果一定是有理数。

内容的提问来源于stack exchange，提问作者TheRandomGuy