### AIME 2012 problem

#12 on this year’s AIME, could it possibly be a simple problem with a simple solution?

Let be a right triangle with right angle at Let and be points on with between and such that and trisect If then can be written as where and are relatively prime positive integers, and is a positive integer not divisible by the square of any prime. Find