奥马尔·海亚姆几何问题与三次方程求解：关联tribonacci常数的问询

Alright, let's break down this geometric problem tied to Omar Khayyam's work step by step—first clarifying the setup, verifying the cubic equation derivation, then solving it when $h=10$.

一、明确几何模型与变量定义 #

首先得把问题里的几何元素界定清楚，避免歧义：

• 设圆$O$的半径为$R$，取圆上任意一点$P$。
• 过$P$作垂线垂直于圆的某条直径（我们把这条直径设为x轴，圆心$O$在原点），垂足为$Q$。
• 定义：$h = |PQ|$（点$P$到直径的垂直距离），$x = |OQ|$（圆心到垂足$Q$的水平距离）。

根据勾股定理，显然有：
$$R^2 = x^2 + h^2 \tag{1}$$

问题要求点$P$满足比例关系：
$$\frac{x}{R} = \frac{R - h}{h} \tag{2}$$

二、验证三次方程的推导过程 #

我们从上面两个方程消去$R$，得到关于$x$和$h$的三次方程，步骤如下：

1. 先变形比例式(2)，交叉相乘得：
   $$xh = R(R - h)$$
   整理成关于$R$的二次式：
   $$R^2 - hR - xh = 0 \tag{3}$$
2. 从勾股定理(1)，我们知道$R^2 = x^2 + h^2$，把它代入方程(3)：
   $$x^2 + h^2 - hR - xh = 0$$
   解出$R$的表达式：
   $$R = \frac{x^2 + h^2 - xh}{h} \tag{4}$$
3. 现在把(4)代回(3)的左边$R^2 - hR$，让它等于$xh$：
   $$\left( \frac{x^2 + h^2 - xh}{h} \right)^2 - h \cdot \frac{x^2 + h^2 - xh}{h} = xh$$
4. 化简右边和左边的第二项：
   左边第二项化简后是$-(x^2 + h^2 - xh)$，所以等式变为：
   $$\frac{(x^2 - xh + h²⁾2}{h^2} - (x^2 + h^2 - xh) = xh$$
5. 两边乘以$h^2$消去分母，再展开左边的平方项：
   $$(x^4 - 2hx^3 + 3h^2x2 - 2h^3x + h^4) - h^2(x2 + h^2 - xh) = xh^3$$
6. 展开并合并同类项：
   $$x^4 - 2hx^3 + 3h^2x2 - 2h^3x + h^4 - h^2x2 - h^4 + h^3x = xh^3$$
   进一步化简后，两边减去$xh^3$：
   $$x^4 - 2hx^3 + 2h^2x2 - 2h^3x = 0$$
7. 提取公因子$x$（$x≠0$，因为$x$是圆心到垂足的距离，若$x=0$则比例式不成立），最终得到三次方程：
   $$x^3 - 2hx^2 + 2h^2x - 2h^3 = 0 \tag{5}$$

验证$h=10$时的方程 #

当$h=10$时，代入(5)：
$$x^3 - 20x^2 + 200x - 2000 = 0$$
移项后就是你提到的海亚姆的方程：
$$x^3 + 200x = 20x^2 + 2000$$
完全一致，推导正确。

三、求解$h=10$时的几何问题 #

我们需要解这个三次方程$x^3 -20x^2 +200x -2000=0$，有理根定理尝试后发现没有整数解，所以用卡尔达诺公式求解：

步骤1：消去二次项 #

令$x = y + \frac{20}{3}$（三次方程$ax^3+bx2+cx+d=0$，消去二次项的替换是$x=y - \frac{b}{3a}$），代入原方程后化简得到：
$$y^3 + \frac{200}{3}y - \frac{34000}{27} = 0$$
两边乘以27消去分母：
$$27y^3 + 1800y - 34000 = 0$$
令$z=3y$，方程变为：
$$z^3 + 600z - 34000 = 0$$

步骤2：用卡尔达诺公式求实根 #

对于三次方程$z^3 + pz + q = 0$，实根公式为：
$$z = \sqrt[3]{-\frac{q}{2} + \sqrt{\left(\frac{q}{2}\right)^2 + \left(\frac{p}{3}\right)^3}} + \sqrt[3]{-\frac{q}{2} - \sqrt{\left(\frac{q}{2}\right)^2 + \left(\frac{p}{3}\right)^3}}$$
这里$p=600$，$q=-34000$，代入计算：

• $\left(\frac{q}{2}\right)^2 + \left(\frac{p}{3}\right)^3 = (-17000)^2 + (200)^3 = 289000000 + 8000000 = 297000000$
• $\sqrt{297000000} = 3000\sqrt{33} ≈ 17233.8$

计算实根：
$$z ≈ \sqrt[3]{17000 + 17233.8} + \sqrt[3]{17000 - 17233.8} ≈ \sqrt[3]{34233.8} + \sqrt[3]{-233.8} ≈ 32.4 - 6.16 ≈ 26.24$$

步骤3：还原回$x$，计算$R$ #

$y = \frac{z}{3} ≈ 8.747$，所以$x = y + \frac{20}{3} ≈ 8.747 + 6.667 ≈ 15.414$

再用(4)计算半径$R$：
$$R = \frac{x^2 + h^2 - xh}{h} ≈ \frac{(15.414)^2 + 10^2 - 15.414*10}{10} ≈ \frac{237.6 + 100 - 154.14}{10} ≈ 18.346$$

验证结果 #

• 比例$\frac{x}{R} ≈ \frac{15.414}{18.346} ≈ 0.840$
• 比例$\frac{R - h}{h} ≈ \frac{18.346 -10}{10} ≈ 0.8346$
  两者近似相等（误差来自计算中的近似），验证成立。

四、几何作图思路（海亚姆的方法） #

古代没有代数解法，海亚姆用圆锥曲线相交来解这类三次方程：

1. 从$xh = R(R - h)$，令$y = R - h$，则$R = y + h$，代入得抛物线方程：$y^2 + hy - xh = 0$
2. 从勾股定理$R^2 = x^2 + h^2$，代入$R = y + h$得圆的方程：$y^2 + 2hy = x^2$
3. 这两个圆锥曲线的交点的$x$坐标就是我们要求的解，对应圆上点$P$的水平距离。

内容的提问来源于stack exchange，提问作者Tito Piezas III