$P$ is een punt op de hoogte $AD$ van de driehoek $ABC$. De rechten $BP,CP$ snijden $CA,AB$ in $E,F$ respectievelijk. Toon aan dat $AD$ de bissectrice is van $\angle EDF$.