Пусть ad = a1d1 — равные биссектрисы, ∠a = ∠a1, ac = a1c1 — равные стороны. в δаdс = δa1d1c1: ∠dac = ∠d1a1c1 (т.к. ∠dac половина угла ∠bac ∠dac = ∠bac : 2 = ∠b1a1c1 : 2 = ∠d1a1c1). ad = a1d1, ас = а1с1. (по условию: ad = a1d1 — равные биссектрисы, aс = a1c1 — равные прилежащие стороны). таким образом, δadc = δа1d1c1 по 1-му признаку равенства треугольников, откуда ∠с = ∠с1 как лежащие против равных сторон в равных треугольниках) в δabcи δа1в1с1: ас = а1с1, ∠а = ∠а1 (по условию) ∠с = ∠с1. таким образом, δabc = δа1в1с1 по 1-му признаку равенства треугольников, что и требовалось доказать.
АС1/С1В=1/1, ВА1/А1С=3/7, АВ1/В1С=1/3, S A1B1C1=S ABC - S AC1B1 - S C1BA1 - S A1CB1, обе части уравнения делим на S ABC
S A1B1C1 / S ABC = 1 - (S AC1B1/S ABC) - (S C1BA1/ S ABC) - (S A1CB1/S ABC)
S ABC=1/2*AB*AC*sinA, S AB1C1=1/2*AC1*AB1*sinA, AB=AC1+C1B=1+1=2, AC=AB1+B1C=1+3=4, S AB1C1/S ABC=(AC1*AB1)/(AB*AC)=(1*1)/(2*4)=1/8,
S ABC=1/2*AB*BC*sinB, S C1BA1=1/2*C1B*BA1*sinB, BC=BA1+A1C=3+7=10,
S C1BA1/S ABC=(C1B*BA1)/(AB*BC)=(1*3)/(2*10)=3/20,
S ABC=1/2*AC*BC*sinC, S A1CB1=1/2*A1C*B1C*sinC, S A1CB/S ABC=(A1C*B1C) / (AC*BC)=(7*3)/(4*10)=21/40,
S A1B1C1/S ABC=1-1/8-3/20-21/40=8/40=1/5, или S ABC/S A1B1C1=5/1