|
|
楼主 |
发表于 2026-8-31 04:14
|
显示全部楼层
本帖最后由 风花飘飘 于 2026-8-31 04:18 编辑
\section{几何量与代数量的边界辨析}
代数当中的数字，是人类用来标记、记录几何量的一套\textbf{符号标签}。我们日常书写数值习惯使用十进制，但十进制仅仅是一套书写记号，它不属于几何本身。
几何研究的对象是\textbf{量}：线段的长短、角度的张开程度、图形之间的比例关系。线段相加、截取、作垂线、利用相似三角形构造比例、开平方，这些尺规几何运算只关心长度之间的比例，\textbf{不存在进制一说}。几何的量并不依附十进制、二进制或者任意一种记数体系。
解析几何建立以后，人们人为建立映射关系，将一条线段对应到一个实数，也就是``数''。但是\textbf{几何之量 $\neq$ 代数之数}，二者只是人为建立起的对应关系，并不是天生等价。
将几何线段转换成代数实数以后，才进入数域、多项式、伽罗瓦理论的讨论范围。因此不能直接把代数数域上推导出来的扩张障碍结论，不加检验、不加说明就强行判定带初始条件的几何构造不可行。
传统``有理数域之上，正九边形无法从零开始尺规作图''的结论，它的前提条件是：\textbf{没有预先给出任何无理长度的线段作为已知条件}。
本章节的研究，选取长度 $\sqrt{3}$（对应 $30^\circ$）作为已经给定的初始几何量。二者研究前提不一样，因此原有结论不能直接套用在本研究当中。
\section{基础三角恒等式推导}
依据余弦三倍角公式：
\[
\cos 3\theta = 4\cos^3\theta-3\cos\theta
\]
取三组角度：$\theta=50^\circ,\;70^\circ,\;-10^\circ$
对应的三倍角：
\[
3\theta=150^\circ,\quad 210^\circ,\quad -30^\circ
\]
\[
\cos 150^\circ=\cos 210^\circ=\cos(-30^\circ)=-\frac{\sqrt{3}}{2}
\]
代入三倍角公式：
\[
4\cos^3\theta-3\cos\theta = -\frac{\sqrt3}{2}
\]
等式两边同乘以 $2$，整理得到配套三次方程：
\[
\boldsymbol{8x^{3}-6x+\sqrt{3}=0}
\]
该三次方程的三个实数根为：
\[
x=\cos 50^\circ,\quad x=\cos 70^\circ,\quad x=-\cos 10^\circ
\]
\section{鲍‑B四次总方程}
引入预先已知根 $\cos 30^\circ=\dfrac{\sqrt{3}}{2}$，将一次因式与三次多项式相乘：
\[
\Big(8x^{3}-6x+\sqrt{3}\Big)\left(x-\frac{\sqrt{3}}{2}\right)=0
\]
展开，得到标准四次方程（鲍‑B方程）：
\[
\boldsymbol{16x^{4}-8\sqrt{3}\,x^{3}-12x^{2}+8\sqrt{3}\,x-3=0}
\]
\section{四根显式二次嵌套根式表达式}
\[
\begin{cases}
\cos 30^\circ=\dfrac{\sqrt{3}}{2}\\[8pt]
\cos 50^\circ=\dfrac{\sqrt{3}+1-\sqrt{2\left(5-\sqrt{3}\right)}}{4}\\[8pt]
\cos 70^\circ=\dfrac{-\sqrt{3}+1+\sqrt{2\left(5+\sqrt{3}\right)}}{4}\\[8pt]
-\cos 10^\circ=\dfrac{-\sqrt{3}-1-\sqrt{2\left(5+\sqrt{3}\right)}}{4}
\end{cases}
\]
\section{数值核验对照表}
\begin{tabular}{|l|l|l|}
\hline
目标余弦量 & 十进制真值 & 嵌套根式算出的数值 \\
\hline
$\cos 50^\circ$ & $0.642788$ & $0.043878$ \\
$\cos 70^\circ$ & $0.342020$ & $0.734324$ \\
$-\cos 10^\circ$ & $-0.984808$ & $-1.600349$ \\
\hline
\end{tabular}
\paragraph{核验批注：}
当前给出的二次嵌套根式候选表达式，代入方程后的十进制数值结果暂时没有和余弦真值重合。该组根式形式可以作为后续继续优化、调整闭式的候选研究对象；但三次方程 $8x^{3}-6x+\sqrt{3}=0$ 和三个三角根之间的恒等关系严格成立。
\section{研究立场总结}
伽罗瓦域扩张理论属于\textbf{代数‑数}层面的理论工具，它讨论的对象是被赋值之后的代数实数。
而本研究从\textbf{几何‑量}的层面起步，把线段长度 $\sqrt{3}$ 视作现成已知的几何条件。几何量的运算本身不依靠任何进制记数系统。
代数障碍结论只对从零开始、仅拥有单位线段的代数构造生效。当我们已经具备额外给定的无理几何量时，原先有理数域上得到的不可作结论不再构成直接约束。本课题需要在几何量的框架之内独立完成构造论证，而不是直接借用有理数域代数结论下定论.
\end{document}
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看，没有帐号？注册
x
|
IP卡
狗仔卡
发表于 2026-7-23 06:29
显身卡