meetkunde van toen

$ABC$ is een driehoek, de bissectrice van de hoek $ A$ snijdt de omgeschreven cirkel van $ ABC$ in $ A_1$, punten $ B_1$ en $ C_1$ worden analoog geconstrueerd.
$ AA_1$ snijdt de uitwendige bissectrices van $ B$ en $ C$ in $ A_0$ en analoog.Bewijs dat $ [A_0B_0C_0] =2 [ AC_1BA_1CB_1 ] \geq 4[ ABC].$