定理已证明
花拉子米的配方作图法
命题陈述
当 b>0、c>0 时,x2+bx=c 的正根为 x=c+(2b)2−2b。
为什么成立?
花拉子米(巴格达,约公元820年,著有《还原与对消计算概要》——“代数”一词的由来)没有负数也没有符号记法,因此他通过真正画出正方形和矩形、再把它们拼补成一个更大的正方形来求解二次方程,这幅图使原本神秘的公式变得一目了然。
证明思路
画一个边长为 x 的正方形,其面积为 x2,是 x2+bx=c 的第一项。在该正方形的两条相邻边上各附加一个宽为 b/2、长为 x 的细长矩形,二者面积之和为 2⋅2b⋅x=bx,正是第二项。这样得到的L形图形(“折尺形”)面积为 x2+bx=c。
这个折尺形其实就是边长为 x+b/2 的大正方形缺了一个 2b×2b 的小角。事实上,两个矩形与原正方形恰好在它们相接的外角处留下一个 (b/2)×(b/2) 的空缺。把这个空缺补上:折尺形加上这个角上的小正方形,整体就成为一个边长为 x+b/2 的真正正方形,其面积因此等于 c+(b/2)2(折尺形面积 c 恰好加一次角上小正方形面积 (b/2)2)。
于是 (x+2b)2=c+(2b)2。两边取正平方根(边长为正)得 x+2b=c+(2b)2,解出 x 即为 x=c+(2b)2−2b。
代数验证:逐项展开 (c+(b/2)2−b/2)2+b(c+(b/2)2−b/2),交叉项 ±bc+(b/2)2b/2 相消后恰好化简为 c——这独立于图形验证了公式。取数值例 x2+10x=39(即 b=10,c=39):x=39+25−5=64−5=8−5=3,确实 32+10⋅3=9+30=39。