3 ms·

I would much rather derive the sum-difference identities from the expansion of e^(i (a+b)), than treat the arbitrary-seeming sum-difference identities as axioma

I would much rather derive the sum-difference identities from the expansion of e^(i (a+b)), than treat the arbitrary-seeming sum-difference identities as axiomatic.