在 formula_32 上作一直线，与 formula_33 平行，并与 formula_10 和 formula_12 分别相交于 formula_36 和 formula_37。由定义可知，formula_38 和 formula_39 是平行四边形。因此 formula_40 及 formula_41。（平行四边形的对边）上面已证明，由 formula_42，可知 formula_43。代入可得 formula_22。证毕。