The classical isoperimetric inequality in R^3 states that the surface of smallest
area enclosing a given volume is a sphere. We show that the least area surface enclosing
two equal volumes is a double bubble, a surface made of two pieces of round spheres
separated by a flat disk, meeting along a single circle at an angle of 120 degrees.
