[math-fun] IMO incentre ellipse problem