Holiday Contest 2026 - Individual Round - Problem 5

Let two circles with centers A,B have radii of 2 and 5 respectively, and let AB=9. Let the perpendicular from the midpoint of the common external tangent intersect AB at X. Given that AX\cdot BX=\frac{p}{q} when it's fully simplified, find p+q.