写出铝电解阴阳极电化学反应式及总反应式。

阳极：3O^2-+1.5C-6e→1.5CO₂
阴极：2Al³⁺+6e→2Al
总：Al₂O₃+1.5C=2Al+1.5CO₂

略