形式验证：
几何验证.右图中，整个正方形的面积为formula_8，而灰色正方形的面积为formula_9，现在求的是黑色正方形，即formula_10。将整个formula_8正方形，减去白色及灰色正方形，设以下公式：运用分配律来取得答案：
a、b互换.formula_2
验证.利用普通计算便可计算出答案：