cot(a+b)= cos(a+b)/sin(a+b) =
[cos(a)*cos(b)-sin(a)*sin(b)]/(sin(a)*cos(b)+sin(b)*cos(a)) Das muss ein * sein !
und vom anderen Ende her:
(cot(a)cot(b)-1)/[cot a + cot b]
= [ cos(a)*cos(b) / ( sin(a) * sin(b) ) - 1 ] / [ cos(a) / sin(a) + cos(b) / sin(b) ]
= [ cos(a)*cos(b) / ( sin(a) * sin(b) ) - ( sin(a) * sin(b) ) / ( sin(a) * sin(b) ) ]
/ [ cos(a)*sin(b) + cos(b)*sin(a) / (sin(a)*sin(b)) ]
= [ cos(a)*cos(b) - ( sin(a) * sin(b) ) / ( sin(a) * sin(b) ) ]
/ [ cos(a)*sin(b) + cos(b)*sin(a) / (sin(a)*sin(b)) ]
Beim Malnehemn mit dem Kehrwert kürzen sich die Nenner weg
== [ cos(a)*cos(b) - ( sin(a) * sin(b) ) ]/ [ cos(a)*sin(b) + cos(b)*sin(a) ]
Passt zum Anfang !