1. Докажем, что \(\triangle ABC = \triangle ADC\) (рис. 1):
Рассмотрим треугольники ABC и ADC. У них:
Следовательно, \(\triangle ABC = \triangle ADC\) по трем сторонам.
2. Является ли биссектрисой угла BCD (рис. 1, 3) луч CA?
На рисунке 1 луч CA является биссектрисой угла BCD, так как \(\triangle ABC = \triangle ADC\), то \(\angle BCA = \angle DCA\). Следовательно, CA - биссектриса угла BCD.
На рисунке 3 луч CA является биссектрисой угла BCD, так как \(\triangle BCF = \triangle DCF\) (по условию следующего пункта) и \(\angle BCF = \angle DCF\). Следовательно, CA - биссектриса угла BCD.
3. Докажем, что \(\triangle BCF = \triangle DCF\) (рис. 1, 3):
Для рис. 1:
Рассмотрим треугольники BCF и DCF. У них:
Следовательно, \(\triangle BCF = \triangle DCF\) по двум сторонам и углу между ними.
Для рис. 3:
Рассмотрим треугольники BCF и DCF. У них:
Следовательно, \(\triangle BCF = \triangle DCF\) по трем сторонам.