Testade aldrig lösningen, och ser nu att det inte gick så bra

(skrev fel också, ska givetvis vara Sinx=(e^ix-e^-ix)/2
i)
Men vi kan testa en annan metod (som dock inte endast använder sig av eulers formel...). Först kan man inste att 4Sin²x*Cos²x=(2Sinx*Cosx)²=Sin²2x=1-Cos²2x, så vi kan substituera till nya variabler, 2x=y, samt a/2=c, b/2=b för att få snyggare ekvation. Efter multiplikation med 4 får man:
1-Cos²y=1-3Coscy/2+Cosdy-Cos3y/2. Med eulers identitet kan man utveckla Cos3y: Cos3y=Re(e^3yi)=Re((e^yi)^3)=Re((Cosy+iSiny)^3)=4C os^3y-3cosy.
ekvationen övergår i:
Cos²y=3Coscy/2-Cosdy+2Cos^3y-3Cosy/2
(Nu kan man kanske gissa att c=1, men det verkar dock inte som det fungerar...)
Man kan visa att Cosnx, där n är positivt heltal, är ett polynom i Cosx där koefficienten framför Cos^nx är skild från 0 (Cos^nx=0 har n lösningar där 0<=x<=pi, eftersom Cosx är bijektiv i det intervallet korresponderar varje rot till ett unikt värde på Cosx så polynomet måste ha n rötter, dvs grad n.) Detta ger att c,d<=3 samt att någon av dem måste vara lika med 3. (om c,d ej är heltal får man en utveckling av en oändlig potensserie vilket inte borde fungera eftersom man i slutändan ska få ett polynom i Cosy. De två potensserierna skulle kanske kunna ta ut varandra på något vis, men jag tror inte det är fallet, dock orkar jag inte försöka ge mig på ett bevis). Dock om man testar c=3 och d=3 ser man att Cos^3y termen aldrig försvinner, så det verkar som om identiteten är falsk. Dock kan jag ha resonerat/räknat fel någonstans, så någon får gärna rätta mig. Var fick TS uppgiften ifrån??