rulers identity for sum to product identities

I was looking for proofs for the following 2 things using Euler's identity, but was unable to find them.

I was able to derive the expressions for $sin(\theta)$, $cos(\theta)$ and double angle. Would one way of doing this be to do it geometrically, plug in for sin and cos, then equate the real and imaginary parts?

$sin(a)cos(b) = \frac{1}{2}[sin(a+b)+sin(a-b)]$

and

$1+cos(2a) = 2cos^{2}(a)$

Any help would be greatly appreciated.

• Of course you can do like that: $e^{i(a+b)}=\cos(a+b)+i\sin(a+b)$ but on the other hand $e^{i(a+b)}=e^{ia}e^{ib}$. – Aretino Sep 6 '15 at 16:24
• @Aretino, could you expand on that a little bit – Chan Hunt Sep 6 '15 at 16:47
• $e^{i(a+b)}=e^{ia}e^{ib}=(\cos a+i\sin a)(\cos b+i\sin b)$. Multiply and then compare real and imaginary parts of the result with those of the other expression, i.e. $\cos(a+b)$ and $\sin(a+b)$. – Aretino Sep 6 '15 at 17:11
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://math.stackexchange.com/questions/1424335/rulers-identity-for-sum-to-product-identities", "fetch_time": 1563416606000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2019-30/segments/1563195525483.62/warc/CC-MAIN-20190718001934-20190718023934-00527.warc.gz", "warc_record_offset": 440157724, "warc_record_length": 34768, "token_count": 311, "char_count": 937, "score": 3.734375, "int_score": 4, "crawl": "CC-MAIN-2019-30", "snapshot_type": "latest", "language": "en", "language_score": 0.8507195115089417, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00044-of-00064.parquet"}