IMO 1984 LL ROM48
Let ABC be a triangle with interior angle bisectors AA1,
IMO 1984 LL ROM48
Origin: ROM
Problem
Let ABC be a triangle with interior angle bisectors AA1, BB1, CC1 and incenter I. If \sigma[IA1B] + \sigma[IB1C] + \sigma[IC1A] = 1 2\sigma[ABC], where \sigma[ABC] denotes the area of ABC, show that ABC is isosceles.