MathDB
Cyclic quadrilateral with cosecant equality

Source: IMO LongList 1988, Spain 2, Problem 71 of ILL

November 9, 2005
trigonometrygeometry unsolvedgeometry

Problem Statement

The quadrilateral A1A2A3A4A_1A_2A_3A_4 is cyclic, and its sides are a1=A1A2,a2=A2A3,a3=A3A4a_1 = A_1A_2, a_2 = A_2A_3, a_3 = A_3A_4 and a4=A4A1.a_4 = A_4A_1. The respective circles with centres IiI_i and radii rir_i are tangent externally to each side aia_i and to the sides ai+1a_{i+1} and ai1a_{i-1} extended. (a0=a4a_0 = a_4). Show that i=14airi=4(csc(A1)+csc(A2))2. \prod^4_{i=1} \frac{a_i}{r_i} = 4 \cdot (\csc (A_1) + \csc (A_2) )^2.