Talk:2011 AIME II Problems/Problem 13

How does the coordinate bash solution use the fact that $\angle O_1PO_2 = 120^{\circ}?$ ~ aops_turtle