1 - 1/coskv a= (coskv a -1)/coskv a = - (1-coskv a)/coskv a = -(sinkv a)/coskv a = - tgkv a
<span><span>(a-x)(b+y)+(a-x)(b-y)=2b(a-x)</span>=ав+ау-вх-ху+ав-ау-вх+ху-2ав+2вх=2ав-2вх-2ав+2вх=0</span>
Обосновать к сожалению не смогу, но вроде треугольник BCD подобный треугольнику ACF. Стороны BCD соответственно пропорциональны сторонам ACF. А угол A соответственно равен углу CDB.