Problem 3
Each pair of opposite sides of convex hexagon has the property that the distance between their midpoints is times the sum of their lengths. Prove that the hexagon is equiangular.
Step 4 of 7: Force equality everywhere
In plain words
The three non-positive gaps add up to a squared norm, so the norm must vanish.
Detailed analysis
Adding the three inequalities and moving the right side to the left gives . By Step 1 the squared norm is , so . Each of the three gaps used in Step 3 is non-positive and their sum is ; consequently every one is , so all three triangle inequalities in Step 2 are sharp.