MathDB
Points in a square [2011.II.13]

Source:

March 31, 2011
geometrycircumcircletrigonometrysymmetryinequalitiestrig identitiesLaw of Sines

Problem Statement

Point PP lies on the diagonal ACAC of square ABCDABCD with AP>CPAP>CP. Let O1O_1 and O2O_2 be the circumcenters of triangles ABPABP and CDPCDP respectively. Given that AB=12AB=12 and O1PO2=120\angle O_1 P O_2 = 120^\circ, then AP=a+bAP=\sqrt{a}+\sqrt{b} where aa and bb are positive integers. Find a+ba+b.