用碳在高温下还原二氧化硅的方法的化学式是什么反应类型 还有他的化学式是什么