1991 IMO Problem #1

[jaynabp]

This question comes out rather easy than others, there can be many approaches to this.

[cr]

The >1/4 part is brilliant. The way how a + b > c is encoded by (y + z) + (z + x) > y + x.

[fatihorhan]

I think this is one of the easiest IMO problems ever.

[dalibormaksimovic]

I do not understand angle bisector theorem...