cos(2x) = re(e^I*2x)

Men det kunne være tilstrækkeligt?

#1 ?

Er ikke helt med?

Jeg forstod såmænd heller ikke dit spm.

Der var tilsyneladende ikke tale om en nødvendig betingelse.

For den interesserede læser har det sikkert drejet sig om at vise formlerne for cosinus og sinus til det dobbelte argument gennem Eulers formel:

cos(2x) + i·sin(2x) = e^i·2x = (e^ix)² = (cos(x) + i·sin(x))²

                                 = cos²(x) - sin²(x) + 2i·cos(x)·sin(x) ,

hvoraf man aflæser (realdel = realdel, imaginærdel = imaginærdel), at

cos(2x) = cos²(x) - sin²(x) , og

sin(2x) = 2·cos(x)·sin(x)