设冰的质量为m,杯子的底面积为S
冰浸入水中的体积V1＝F浮/(ρ水g)=mg/(ρ水g)
冰融化后的体积V2＝mg/(ρ水g)=V2
因为V1＝V2
所以冰融化后,水恰好不溢出.