The diagonals \( AD \), \( BE \), and \( CF \) of a hexagon \( ABCDEF \) inscribed in a circle \( k \) intersect at a point \( P \), and the acute angle between any two of them is \( 60^\circ \). Let \( r_{AB} \) be the radius of the circle tangent to segments \( PA \) and \( PB \) and internally tangent to \( k \); the radii \( r_{BC} \), \( r_{CD} \), \( r_{DE} \), \( r_{EF} \), and \( r_{FA} \) are defined similarly. Prove that \[ r_{AB}r_{CD} + r_{CD}r_{EF} + r_{EF}r_{AB} = r_{BC}r_{DE} + r_{DE}r_{FA} + r_{FA}r_{BC}. \]
Problem
Source: XIII International Festival of Young Mathematicians Sozopol 2024, Theme for 10-12 grade
Tags: geometry