二氧化碳制取金刚石的化学式