三氧化二铝电解的方程式的 等号 一定是虚线吗