Rounded trefoil knot The notebook Three utilities: from the plane to a mug
Search/
← Explorations

Exploration

Three utilities: from the plane to a mug

Connect three houses to gas, water, and electricity. The plane refuses—but a mug, a donut, and a square with joined edges reveal a way through.

Three houses each need gas, water, and electricity. Draw a separate pipe from every house to every utility: nine pipes in all.

Can you do it on the plane without any pipes crossing?

Pipes can bend as much as you like. They may meet at a shared house or utility, but cannot cross, overlap, or pass through another house or utility as a junction. No tunnels, bridges, or trips above the surface are allowed.

Try it on the plane

0 / 9 pipes

Choose a house, click points along your path, then choose a utility. We’ll draw a smooth curve through the points. You can also trace a path by dragging between endpoints.

Three houses above gas, water, and electricity. Each house needs a pipe to each utility.
G · GasW · WaterE · Electricity

Choose an existing pair again to remove its pipe. Add path points for that pair to redraw it instead. Keyboard: Tab to endpoints or the drawing area; Enter selects, arrow keys move the path cursor.

Can you draw all nine pipes without a crossing? Pipes may meet only at their own endpoints.

Choose endpoints and place points along the route; the board joins them with a smooth curve. To delete a pipe, choose its two endpoints again without placing path points. To change its route, choose those endpoints with new path points in between. Undo restores a removed or redrawn pipe.

If you get stuck, choose Try eight connections. Only one pipe remains. Is there somewhere else it could go—or is the surface itself the problem?

Why the plane refuses

Replace each house and utility by a dot, and each pipe by a curve. This gives the graph \(K_{3,3}\): two groups of three vertices, with every vertex in one group joined to every vertex in the other. It has six vertices and nine edges.

Suppose a drawing with no crossings existed. Euler’s formula for a connected graph on the plane says

\[V-E+F=2,\]

where \(F\) counts the regions, including the unbounded outside region. Our drawing would therefore have

\[F=2-6+9=5.\]

Every region must have at least four edge-sides around its boundary. There are no loops or parallel edges, and no triangles: every step alternates between a house and a utility, so every cycle has even length. There are also no bridges—each pipe lies on a four-edge cycle—so a two-sided region cannot arise by going out and back along a bridge.

Each edge contributes two sides to region boundaries. Nine edges supply 18 sides, but five regions would need at least 20:

\[2E\geq 4F\qquad\Longrightarrow\qquad18\geq20.\]

That is impossible. Curvier pipes, moving the houses, or using more of the plane cannot fix it. The obstruction applies to every planar drawing, not just the routes in the activity.

The same question, on a mug

Now put the houses and utilities on the surface of a mug. Can all nine pipes stay on that surface without crossing?

Imagine a thick ceramic mug with one ordinary handle. Use its whole boundary surface: outside, inside, rim, underside, and handle. The bowl has a bottom; its opening is an indentation, not a second hole all the way through. The handle contributes the one through-hole.

Topology lets us stretch and reshape a surface while preserving which points are connected. Round the mug’s body, shrink its bowl-shaped indentation, and enlarge the handle opening. The surface can become a donut, or torus, without cutting or gluing it.

Drag to rotate the 3D mug and look into its bowl. Move the slider slowly, or play the transformation, and keep your eye on the handle opening. The same surface stays in view throughout.

Follow the hole

A mug
Mug, donut, open tube, square: one handle opening, then two cuts, with opposite sides paired.

Drag to rotate the 3D mug and look inside. Its bowl has a bottom; the handle supplies the one through-hole.

The first step changes only the shape. The next two steps cut the torus open to draw it flat. First cut around the tube and straighten the ring into an open tube. Then slit the tube along its length and flatten it. Stretch the resulting rectangle into a square.

The cuts create pairs of edges that belonged together. To recover the torus, identify

\[(x,0)\sim(x,1),\qquad (0,y)\sim(1,y).\]

In ordinary words: top matches bottom at the same horizontal position; left matches right at the same vertical position. The arrows on each pair point the same way. No edge is flipped.

Solve it on the square

Start with seven pipes. Then add the last two, one at a time.

Two pipes use the joined edges

9 / 9 pipes · no crossings

Top and bottom a are the same edge. Left and right b are the same edge. A pipe leaving one side continues at the matching point on its partner.

All nine pipes on the glued square, with no crossings. House 1 to Water uses the paired top and bottom sides; House 3 to Gas uses the paired left and right sides.
G · GasW · WaterE · Electricity

All nine pipes fit. House 1 → Water uses the top and bottom; House 3 → Gas uses the left and right.

The House 1 → Water pipe leaves through the top and continues from the matching point on the bottom. The House 3 → Gas pipe leaves through the right and continues from the matching point on the left. The paired dots are not gaps in the pipes: each pair represents one point of the torus.

All nine pipes now connect their required endpoints. None crosses another pipe in the square, and the two seam continuations occur at distinct points. Gluing the edges therefore gives a valid drawing on the donut. Reshaping the donut back into a mug carries the drawing with it and preserves the absence of crossings.

Use Trace a pipe to follow one connection at a time. The square shows every route at once, including the two that use the joined edges.

The answer changes because the surface changes. On the plane there is no way to fit the ninth pipe. On the mug, its handle gives the routes room to go around the obstruction.

For more about deforming a coffee cup into a torus, see the opening chapter of John M. Lee’s Introduction to Topological Manifolds.