电解三氧化二铝为什么是电能转化为化学能,为什么呢