perpendiculars from where aux circle and tangent cross= F

Information: perpendiculars from where aux circle and tangent cross= F