That sure was one hard but rewarding angle chasing problem! The two key takeaways are 1) Power of a point and Radical Lemma, and 2) Angle chasing with centers.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
