明矾证明铝离子的所有方程式