¿Cuál es la fórmula para cuerdas tangenciales en la transformación de identidad trigonométrica?

Recuerdo que es tan(x/2)=sin(x/2)/cos(x/2)=2sin^2(x/2)/2sin(x/2)cos(x / 2)=(1-cosx)/sinx，tan(x/2)=sin(x/2)/cos(x/2)=2sin(x/2)cos(x/2)/2cos^2( x /2)=senx/(1 cosx), la fórmula anterior ya contiene la prueba, usando la fórmula del doble ángulo y el mismo numerador y denominador...