阿拉伯数学家花拉子米的《代数学》第一次给出了一次和二次方程的一般解法，并用____方法对这一解法给出了证明。