取两块大小相同的干冰，在于冰中央挖一个小洞，撒入一些镁粉，用红热的铁棒把镁点燃，将另一块干冰盖上，你会看到镁粉在干冰内继续燃烧，发出耀眼的白光，像冰灯一样，已知该反应的生成物是氧化镁和炭。干冰的化学式为________；该实验证明干冰具有________的性质(答一条即可)；反应的化学方程式为________________________________；为验证上述反应所得固体中有剩余的镁，可向该固体中加入某种试剂，其反应的化学方程式为______________________________。