已知非零代数数的正弦值必为超越数，无理代数数的反余弦值是否必为超越数？

好问题！答案是是的，无理代数数的反余弦值必然是超越数，我们可以通过林德曼-魏尔斯特拉斯定理严谨推导出来，下面一步步拆解逻辑：

• 先明确设定：假设 ( x ) 是无理代数数，令 ( \theta = \arccos(x) )。根据反余弦的定义，( \cos\theta = x )，而且因为 ( x ) 是无理数，所以 ( \theta \neq 0 )（毕竟 ( \cos0 = 1 ) 是有理数，和前提矛盾）。
• 我们用反证法：假设 ( \theta ) 是代数数。因为 ( \theta ) 是非零代数数，那么 ( i\theta ) 也是非零代数数（( i ) 是代数数，代数数的乘积仍是代数数）。
• 根据林德曼-魏尔斯特拉斯定理：如果 ( \alpha ) 是非零代数数，那么 ( e^\alpha ) 是超越数。由此可得 ( e^{i\theta} ) 必然是超越数。
• 但另一方面，由余弦的欧拉公式展开：( \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2} = x )，整理后得到 ( e^{i\theta} + e^{-i\theta} = 2x )。两边乘以 ( e^{i\theta} ) 进一步整理为二次方程：

  (e^{i\theta})^2 - 2x \cdot e^{i\theta} + 1 = 0
  

• 这个方程的系数 ( 2x ) 和 ( 1 ) 都是代数数（( x ) 是代数数，常数 ( 1 ) 也是代数数）。根据代数数的基本性质：满足系数为代数数的多项式方程的根，本身也必是代数数。这就意味着 ( e^{i\theta} ) 是代数数——这和我们从林德曼-魏尔斯特拉斯定理得出的结论完全矛盾。
• 因此，“( \theta ) 是代数数”的假设不成立，( \theta = \arccos(x) ) 只能是超越数。

补充一点：如果 ( x ) 是有理数（比如 ( x = 1/2 )），( \arccos(x) ) 仍然是超越数（比如 ( \pi/3 )）；只有当 ( x = 1 ) 时，( \arccos(1) = 0 ) 是代数数，但 ( 1 ) 是有理数，不在“无理代数数”的讨论范围内。

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