解方程组 x + y − 3z = 0，2x(6 − x) + 4y(3 − y) + 6z(0.5 − z) = 0，x² + 2y² + 3z² = 21。

Step-by-step solution

1. 1

   把第二个方程展开，并把线性部分与二次部分分开。

   $12x - 2x^2 + 12y - 4y^2 + 3z - 6z^2 = 0$

   $\Longrightarrow \ 12x + 12y + 3z = 2x^2 + 4y^2 + 6z^2$

   右边的二次组合恰好就是 $2\left(x^2 + 2y^2 + 3z^2\right)$——与第三个方程里出现的是同一个组合。这个「巧合」正是整道题的题眼。

2. 2

   代入第三个方程，把二次项全部消掉。 由于 $x^2 + 2y^2 + 3z^2 = 21$：

   $12x + 12y + 3z = 2(21) = 42$

   看上去非线性的方程就此变成了线性方程。

3. 3

   用第一个方程把它化成只含 z 的式子。 由 $x + y = 3z$：

   $12(3z) + 3z = 42 \ \Longrightarrow \ 39z = 42 \ \Longrightarrow \ z = \frac{42}{39} = \frac{14}{13}$

4. 4

   归结为关于 y 的一个二次方程。 有了 $z = \tfrac{14}{13}$，就得到 $x + y = 3z = \tfrac{42}{13}$，以及

   $3z^2 = 3\cdot\frac{196}{169} = \frac{588}{169}, \qquad x^2 + 2y^2 = 21 - \frac{588}{169} = \frac{3549 - 588}{169} = \frac{2961}{169}$

   （注意 $21 \times 169 = 3549$；这里若写成 $3559$，错误会一路传到根上去）。把 $x = \tfrac{42}{13} - y$ 代入并两边同乘 $169$：

   $1764 - 1092y + 507y^2 = 2961 \ \Longrightarrow \ 507y^2 - 1092y - 1197 = 0$

5. 5

   解这个二次方程。 两边除以 $3$ 得 $169y^2 - 364y - 399 = 0$，判别式为

   $364^2 + 4(169)(399) = 132496 + 269724 = 402220 = 26^2 \cdot 595$

   于是

   $y = \frac{364 \pm 26\sqrt{595}}{338} = \frac{14 \pm \sqrt{595}}{13}$

   判别式不是完全平方数（$595 = 5 \cdot 7 \cdot 17$），所以根是无理数——凡是算出 $7/13$ 这类漂亮分数的答案，一定是哪里错了。

6. 6

   回代求 x 并验证两组解。 由 $x = \tfrac{42}{13} - y = \dfrac{28 \mp \sqrt{595}}{13}$，两组解是

   $\left(\frac{28 - \sqrt{595}}{13},\ \frac{14 + \sqrt{595}}{13},\ \frac{14}{13}\right) \approx (0.27749,\ 2.95328,\ 1.07692)$

   $\left(\frac{28 + \sqrt{595}}{13},\ \frac{14 - \sqrt{595}}{13},\ \frac{14}{13}\right) \approx (4.03020,\ -0.79943,\ 1.07692)$

   把任意一组代入原来的三个方程，残差都在 $10^{-14}$ 以下。