Now solving: sin(t)/(1+cos(t))=(1-cos(t))/sin(t)sin(t)1+cos(t)=1−cos(t)sin(t) sin(t)/(1+cos(t))*(1-cos(t))/(1-cos(t))=RHSsin(t)1+cos(t)⋅1−cos(t)1−cos(t)=RHS (sin(t)-sin(t)cos(t))/(1-cos^2(t))=RHSsin(t)−sin(t)cos(t)1−cos2(t)=RHS (sin(t)-sin(t)cos(t))/sin^2(t)=RHSsin(t)−sin(t)cos(t)sin2(t)=RHS (1-cos(t))/sin(t)=RHS1−cos(t)sin(t)=RHS
QED