AB = AC
∴∠B =∠C=(180?-∠BAC)÷2=30?
∫EF divide AB verticalmente
∴AF=BF (la distancia desde el punto de la recta vertical hasta ambos extremos del segmento de recta es igual).
∴∠B=∠BAF=30?
∠∠FAC =∠BAC-∠BAF = 120? -30?=90?
∴AF=? FC (Triángulo rectángulo 30? El lado derecho del ángulo es igual a la mitad de la hipotenusa)
∴BF=? Sustitución equivalente
∴CF=2BF (sustitución equivalente)