证明_cos π_7为无理数

要证明 \\（\\cos \\frac{\\pi}{7}\\） 是无理数，我们可以使用反证法。假设 \\（\\cos \\frac{\\pi}{7}\\） 是有理数，那么它可以表示为两个互质整数 \\（a\\） 和 \\（b\\） 的比，即 \\（\\cos \\frac{\\pi}{7} = \\frac{a}{b}\\）。

根据三角恒等式，我们有：

\\[

\\cos 3x = 4\\cos^3 x - 3\\cos x

\\]

将 \\（x = \\frac{\\pi}{7}\\） 代入上式，得到：

\\[

\\cos \\frac{3\\pi}{7} = 4\\cos^3 \\frac{\\pi}{7} - 3\\cos \\frac{\\pi}{7}

\\]

由于 \\（\\cos \\frac{\\pi}{7} = \\frac{a}{b}\\），我们可以将 \\（\\cos \\frac{3\\pi}{7}\\） 表示为 \\（\\frac{a}{b}\\） 的形式：

\\[

\\cos \\frac{3\\pi}{7} = \\frac{4a^3 - 3a}{b^3}

\\]

因为 \\（\\cos \\frac{3\\pi}{7}\\） 也是有理数，所以 \\（4a^3 - 3a\\） 和 \\（b^3\\） 必须互质。

现在，我们使用费马小定理，该定理指出，如果 \\（p\\） 是一个质数，且 \\（a\\） 是一个不被 \\（p\\） 整除的整数，那么：

\\[

a^{p-1} \\equiv 1 \\pmod{p}

\\]

在这里，我们取 \\（p = 7\\），因为 7 是质数，并且 \\（a\\） 不被 7 整除（因为 \\（a\\） 和 \\（b\\） 互质，且 \\（b\\） 不会是 7 的倍数），我们有：

\\[

a^6 \\equiv 1 \\pmod{7}

\\]

这意味着 \\（a^6 - 1\\） 是 7 的倍数。我们可以将 \\（a^6 - 1\\） 分解为：

\\[

a^6 - 1 = （a^3 + 1）（a^3 - 1）

\\]

进一步分解 \\（a^3 + 1\\） 和 \\（a^3 - 1\\），我们得到：

\\[

a^3 + 1 = （a + 1）（a^2 - a + 1）

\\]

\\[

a^3 - 1 = （a - 1）（a^2 + a + 1）

\\]

因为 \\（a^6 - 1\\） 是 7 的倍数，所以 \\（a + 1\\）、\\（a - 1\\）、\\（a^2 - a + 1\\） 和 \\（a^2 + a + 1\\） 中至少有一个是 7 的倍数。

注意到 \\（a + 1\\） 和 \\（a - 1\\） 是连续的整数，它们的乘积不可能是 7 的倍数。因此，\\（a^2 - a + 1\\） 或 \\（a^2 + a + 1\\） 必须是 7 的倍数。

不失一般性，假设 \\（a^2 - a + 1\\） 是 7 的倍数。我们可以将 \\（a^2 - a + 1\\） 设置为 7k，其中 \\（k\\） 是一个整数。然后我们有：

\\[

a^2 = 7k + a - 1

\\]

将上式平方，得到：

\\[

a^4 = 49k^2 + 42k + a^2 - 2a + 1

\\]

整理得到：

\\[

a^4 - a^2 + 2a - 49k^2 - 42k + 1 = 0

\\]

这是一个关于 \\（a\\） 的二次方程。由于 \\（a\\） 是整数，这个方程的解也必须是整数。但是，根据二次方程的求根公式，解包含 \\（\\sqrt{1 + 4 \\times 49k^2 + 42k}\\），这意味着 \\（a\\） 不能是整数，这与我们的假设矛盾。

因此，我们的假设 \\（\\cos \\frac{\\pi}{7}\\） 是有理数是不成立的，所以 \\（\\cos \\frac{\\pi}{7}\\） 必须是无理数。证毕

其他小伙伴的相似问题：

证明π/7为无理数的其他方法有哪些？

如何证明2是无理数的？

证明tan3度为无理数的步骤是什么？