On the sides $AB, BC, CA$ of triangle $ABC$, points $C', A', B'$ are taken. Prove that for the areas of the corresponding triangles, the inequality holds: $$S_{ABC}S^2_{A'B'C'}\ge 4S_{AB'C'}S_{BC'A'}S_{CA'B'}$$and equality is achieved if and only if the lines $AA', BB', CC'$ intersect at one point.
Problem
Source: Sharygin 2006 X-XI CR 21
Tags: concurrency, concurrent, Cevian, areas, area of a triangle, geometric inequality, geometry