We rst show that AA' is perpendicular to B'C'. Observe ∠C'A'A = ∠C'CA = ∠C/2, ∠A'C'C = ∠A'AC = ∠A/2, and ∠CC'B'= ∠CBB' = ∠B/2. Hence
It follows that ∠APC'= ∠A'PC' = 900. Thus ∠IPQ = 900. Since PIRQ is a kite, we observe that ∠IPR = ∠IRP and ∠QPR = ∠QRP. This implies that ∠IRQ = 900. Hence the kite IRQP is also a cyclic quadrilateral. Since ∠IRQ = 900, we see that BB' ⊥ AC. Since BB' is the bisector of ∠B, we conclude that ∠A = ∠C.
We also observe that the triangles IRC and IPB' are congruent triangles: they are similar, since ∠IRC = ∠IPB' = 900 and ∠ICR = ∠C=2 = ∠IB'P(= ∠BCC'), besides IR = IP. Therefore IC = IB'. But B'I = B'C. Thus IB'C is an equilateral triangle. This means ∠B'IC = 600 and hence ∠ICR = 300. Therefore ∠C=2 = 300. Hence ∠A = ∠C = 600. It follows that ABC is equilateral.