1-((sinx):(1+cot2x))
= 1-((sinx):(1+(cosx/sinx)2)) mit sinx^2 erweitern
= 1-((sinx)^3 :(sinx^2+(cosx2)) da sinx^2+(cosx2)= 1
= 1-(sinx)^3
(1-(1:cos2x)) : ((1:sin2x) -1) wieder mit sin2x erweitern gibt
= (sin^2 x -(sin^2 x :cos2x)) : ((sin^2 x:sin2x) -sin^2 x)
= (sin^2 x -(sin^2 x :cos2x)) : ((1 -sin^2 x)
= (sin^2 x -(sin^2 x :cos2x)) : (cos^2 x)
= tan^2 x - tan^2 x/cos^2 x
= tan^2 x * ( 1 - 1 / cos^2 x )
= tan^2 x * ( cos^2 x / cos^2 x - 1 / cos^2 x )
= tan^2 x * ( cos^2 x - 1) / cos^2 x )
= tan^2 x * ( sin^2 x / cos^2 x )
= tan^4 x