Soit :

d_g * X + (1-X) * d_l = d_s

X = (d_l-d_s)/(d_l-d_g)

Si d_l=unité(3,53;slash(g;cm^3)) et  d_g = unité(1;slash(g;cm^3)) alors la densité de glace dans les satellites est: