MathLabs

第2题

设 ABCABC 为锐角三角形。角 AA 的内角平分线与三角形 ABCABC 的外接圆的另一个交点为 A1A_1;点 B1B_1、C1C_1 类似定义。设 A0A_0 为直线 AA1AA_1 与角 BB、角 CC 的外角平分线的交点;点 B0B_0、C0C_0 类似定义。证明三角形 A0B0C0A_0B_0C_0 的面积恰好是六边形 AC1BA1CB1AC_1BA_1CB_1 面积的两倍,并且不小于三角形 ABCABC 面积的四倍。
第 1/6 步:识别旁心
通俗地说

这三个新顶点正是三个旁心。

A0=IA,B0=IB,C0=ICA_0=I_A,\quad B_0=I_B,\quad C_0=I_C
详细分析

按定义,A0A_0 位于角 AA 的内角平分线以及 B,CB,C 的外角平分线上,因此它就是旁心 IAI_A。同理 B0=IBB_0=I_B、C0=ICC_0=I_C,所以 A0B0C0A_0B_0C_0 是旁心三角形.