取两块大小相同的干冰。在干冰中央挖一个小穴，撒入一些镁粉，用红热的铁棒把镁点燃，将另一块干冰盖上，你会看到镁粉在干冰内继续燃烧，发出耀眼的白光，像冰灯一样。已知该反应的生成物是氧化镁和碳。
干冰的化学式为_________；该实验证明干冰具有_____________________________________________的性质（答一条即可）；为验证上述反应所得固体中无剩余镁，可向该固体中加入试剂得名称为_________________________，反应的现象是___________________________________。