证明方程a1(9个结果)
证明方程a1