the trefoil knot
/ TREF-oyl /
The trefoil is the simplest genuinely knotted loop — the first knot that truly is a knot. Tie an ordinary overhand knot in a piece of string and then fuse the two ends together so the string becomes a closed loop with the knot trapped inside: that loop is the trefoil. It looks like three interlocking arcs, a clover or pretzel shape, and no matter how you push, slide, and rearrange it without cutting the string, you can never untangle it back into a plain round circle. That stubborn refusal to come undone is what makes it knotted.
In knot theory a knot is a closed loop sitting in three-dimensional space, and two knots count as the same if you can deform one into the other by pushing the string around continuously without ever cutting or passing it through itself — an equivalence called ambient isotopy. The basic unknotted loop is the 'unknot', a plain circle. The trefoil is the simplest knot that is provably not the unknot: with only three crossings in its tidiest diagram, it cannot be reduced to the zero crossings of a circle. There are two trefoils, a left-handed and a right-handed version, and remarkably they are mirror images that cannot be deformed into each other — the trefoil is chiral.
The trefoil is the gateway example of knot theory, the branch of topology asking when two loops in space are truly the same tangle. The genuinely hard part, and the honest caveat, is proving two knots are different: you cannot prove the trefoil is knotted just by failing to untie it — maybe you were not clever enough. Mathematicians instead compute knot invariants (numbers or polynomials, like the Jones polynomial, unchanged by allowed deformations); when two knots have different invariants they are provably distinct, which is exactly how the trefoil is rigorously shown to differ from the unknot and from its own mirror image. A second subtlety: a knot is the embedding of the loop in space, not the loop itself — every knot, viewed alone, is just a circle; its knottedness lives entirely in how that circle sits in the surrounding three dimensions.
Lay a trefoil flat and you can draw it with exactly three crossings, each a spot where the string passes over or under itself; the unknot needs zero. Try the Reidemeister moves — the three local wiggles that never change a knot — and you will never get the trefoil's crossing count down to zero, hinting it is truly knotted. The rigorous proof uses an invariant: the trefoil's Jones polynomial differs from the unknot's, settling the matter beyond any failed-by-hand attempt.
The trefoil's minimal diagram has three crossings versus the unknot's zero; an invariant proves they differ.
Failing to untie a knot by hand never proves it is knotted — only a knot invariant can; and a knot's 'knottedness' lives in how the circle is embedded in space, not in the circle itself, which is always just a loop.