meetkundige ongelijkheid

Opgave - IrMO 1989 dag 3 vraag 2

Zij $k$ het product van de afstanden van $P$ tot de zijden van de driehoek $ABC$. Toon aan dat als $P$ in het inwendige van $ABC$ ligt, dat $AB\cdot BC\cdot CA\geq8k$ met gelijkheid als $ABC$ gelijkzijdig is.