先解释图：
与实际比这个图还是简化了不少。此图就是把CO2-H2O的相图与NaCl-H2O的相图合一块了。 把可乐简化成含盐的soda应该是没问题的。
横标是杂七杂八溶在可乐里的所有东西。纵标还是温度。红线DG是CO2的溶解度曲线。蓝线AC是水的凝固点曲线。紫线CH是盐的溶解度曲线。显然，CO2的溶解度比盐要低很多，而且随温度的趋势也不同。凝固点曲线AC可用依数性解释(Colligative_properties)。
http://en.wikipedia.org/wiki/Colligative_properties
依数性具体到凝固点而言，就是凝固点的下降跟你加的啥没有关系，只跟个数(溶质的粒子数)有关。如果只有CO2, 由于CO2的溶解度太低，溶液里的溶质太少，降温到F点时，就撑不住全凝固了。这个过程没有CO2释放。这就是我上次贴得”否定之否定”。实际上可乐还有其他成分（盐in this case）。即使冻到了F点，除了少许纯冰析出外，大部分可乐还是溶液。WHY? 依数性。其它成分会让溶液更抗冻。但是过了F点，蓝线AC就处于红线右边了，就会有CO2释放。WHY? 尽管更多的冰的析出不会影响盐的溶解，尽管CO2的溶解度随着温度的降低有些许增加，但是的但是，其溶解度还是太小。纯冰的析出会让CO2的浓度超过其溶解度。这种纯冰析出，CO2释放的过程一直持续到C点，在这里盐水达到饱和，便与残存的CO2（浓度为G点对应的横标读数）全部被冻住。毛估估: 凝固点下降其实还是在零度边上。以下以零度数据来算应该没有太大问题。
零度是 100克水最多可溶0.3克CO2, 30克食盐。
假设100克可乐中CO2已饱和，另外含15克食盐。要让食盐饱和（可乐全部冻住的条件），需析出50克纯冰, 这样会导致 放出一半的CO2（0.15克）。 实际情况CO2的释放可能要小些，因为
1. 盐的溶解度与凝固点都会下降
2. CO2的溶解度随温度降低会上升