Inequality of areas in elementary geometry

During the IMC 2019 contest i ended up with the following question in elementary 2D Euclidean geometry: Let $$\mathrm{CDE}$$ be any nondegenerate triangle inside a circle, consider the regions with areas labelled $$S_1, S_2, S_3$$ as on the picture. Prove that: $$S_1 + S_2 + S_3 > S(CDE)$$ It must be known and i would be happy if anyone knows the elementary solution (it seems that i can d it by rough 5-pages calculations with cases).

It is also interesting to find the best possible constant $$\lambda$$ such that: $$S_1 + S_2 + S_3 \geq \lambda \cdot S(CDE)$$ My guess is $$\lambda = \frac{4\pi}{3\sqrt{3}} - 1\approx 1.418399$$, that comes from equilateral inscribed triangle.

• CDE "worst" case is when the points CDE are on the circle. – Moti Aug 11 '19 at 15:22
• @Moti if you know the proof of that, then by a known fact that area is maximal for inscribed equilateral, the problem follows. But note that there are examples when difference between LHS and RHS arbitarly small. – Rybin Dmitry Aug 11 '19 at 19:14
• What are LHS and RHS? – Moti Aug 12 '19 at 1:32
• @Moti Left Hand Side, Right Hand Side, feel free to ask – Rybin Dmitry Aug 12 '19 at 8:26

• Cute construction, due to convexity we can require only points $E'$ and others to lie inside original circle. Unfortunately i don't know a short way to reduce to such case. – Rybin Dmitry Aug 12 '19 at 8:30