# Solution to the [[Two Regular Hexagons]] Puzzle +-- {.image} [[TwoRegularHexagons.png:pic]] > How far apart are the corners of these two regular hexagons? =-- ## Solution by the Converse to the [[Angle at the Circumference is Half the Angle at the Centre]] +-- {.image} [[TwoRegularHexagonsAnnotated.png:pic]] =-- _The result that the [[angle at the circumference is half the angle at the centre]] has a converse, namely that for a circle and a point not necessarily on the circumference, then if the angle from two points on the circle subtended at the point is half that at the centre then the original point must have been on the circumference after all. As this direction is less well-known, we shall not directly use it but shall effectively prove this result._ With the diagram labelled as above, construct the [[circumcircle]] of triangle $A B C$. The centre of this lies on the [[perpendicular bisector]] of each of its sides, in particular on the perpendicular bisector of $A C$. Since $A Q$ and $Q C$ are sides of a regular hexagon, they are equal in length and so $Q$ also lies on this perpendicular bisector. Angle $C \hat{B} A$ is $120^\circ$ as it is the [[interior angle]] of a [[regular hexagon]]. Therefore, the reflex angle $C \hat{O} A$ is $240^\circ$ since the [[angle at the centre is twice the angle at the circumference]]. Therefore the non-reflex angle $A \hat{O} C$ is $120^\circ$. But angle $A \hat{Q} C$ is also $120^\circ$, so in the quadrilateral $A Q C O$, the interior angles at $O$ and $Q$ already account for $120^\circ + 240^\circ = 360^\circ$, leaving nothing left for angles $Q \hat{A} O$ and $O \hat{C} Q$, meaning both of these angles are $0^\circ$ and so $Q = O$. Since $O$, and hence $Q$, is the centre of the circumcircle through $A$, $B$, and $C$, the distance $Q B$ is the same as $Q A$, which is a side of the blue hexagon and hence $3$. ## Solution by the [[Invariance Principle]] The problem is actually over-specified. The side length $4$ is not needed - the distance is the same regardless of the size of the red hexagon. Removing that constraint leaves a puzzle where the upper point where the two hexagons meet can slide along the red hexagon's upper edge, leading to two configurations where the answer can be easily deduced. +-- {.image} [[TwoRegularHexagonsInvarianceA.png:pic]] =-- In the first configuration, the meeting point is at the right-hand end of the red hexagon's edge. The designated corners are then separated by a side of the blue hexagon, hence are $3$ apart. +-- {.image} [[TwoRegularHexagonsInvarianceB.png:pic]] =-- In the second configuration, the meeting point is at the left-hand end of the red hexagon's edge. The two hexagons are then the same size and the overlap is constructed from two equilateral triangles. The separation of the corners is one side of these triangles, and hence the distance is the same as the side of the blue hexagon, namely $3$.