MathLabs
定理已证明

花拉子米的配方作图法

命题陈述

当 b>0b>0、c>0c>0 时,x2+bx=cx^2+bx=c 的正根为 x=c+(b2)2−b2x=\sqrt{c+\left(\dfrac b2\right)^2}-\dfrac b2。

为什么成立?

花拉子米(巴格达,约公元820年,著有《还原与对消计算概要》——“代数”一词的由来)没有负数也没有符号记法,因此他通过真正画出正方形和矩形、再把它们拼补成一个更大的正方形来求解二次方程,这幅图使原本神秘的公式变得一目了然。

证明思路

画一个边长为 xx 的正方形,其面积为 x2x^2,是 x2+bx=cx^2+bx=c 的第一项。在该正方形的两条相邻边上各附加一个宽为 b/2b/2、长为 xx 的细长矩形,二者面积之和为 2⋅b2⋅x=bx2\cdot\tfrac b2\cdot x=bx,正是第二项。这样得到的L形图形(“折尺形”)面积为 x2+bx=cx^2+bx=c。

这个折尺形其实就是边长为 x+b/2x+b/2 的大正方形缺了一个 b2×b2\tfrac b2\times\tfrac b2 的小角。事实上,两个矩形与原正方形恰好在它们相接的外角处留下一个 (b/2)×(b/2)(b/2)\times(b/2) 的空缺。把这个空缺补上:折尺形加上这个角上的小正方形,整体就成为一个边长为 x+b/2x+b/2 的真正正方形,其面积因此等于 c+(b/2)2c+(b/2)^2(折尺形面积 cc 恰好加一次角上小正方形面积 (b/2)2(b/2)^2)。

于是 (x+b2)2=c+(b2)2(x+\tfrac b2)^2=c+\left(\tfrac b2\right)^2。两边取正平方根(边长为正)得 x+b2=c+(b2)2x+\dfrac b2=\sqrt{c+\left(\dfrac b2\right)^2},解出 xx 即为 x=c+(b2)2−b2x=\sqrt{c+\left(\dfrac b2\right)^2}-\dfrac b2。

代数验证:逐项展开 (c+(b/2)2−b/2)2+b(c+(b/2)2−b/2)\left(\sqrt{c+(b/2)^2}-b/2\right)^2+b\left(\sqrt{c+(b/2)^2}-b/2\right),交叉项 ±bc+(b/2)2 b/2\pm b\sqrt{c+(b/2)^2}\,b/2 相消后恰好化简为 cc——这独立于图形验证了公式。取数值例 x2+10x=39x^2+10x=39(即 b=10,c=39b=10,c=39):x=39+25−5=64−5=8−5=3x=\sqrt{39+25}-5=\sqrt{64}-5=8-5=3,确实 32+10⋅3=9+30=393^2+10\cdot3=9+30=39。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Victor J. Katz (2009). A History of Mathematics: An Introduction
  2. Oliver Knill (2012). A Multivariable Chinese Remainder Theorem · arXiv:1206.5114