Trigonometry – Prove tan(75°) = 2 + ?3

irrational-numberstrigonometry

My (very simple) question to a friend was how do I prove the following using basic trig principles:

$\tan75^\circ = 2 + \sqrt{3}$

He gave this proof (via a text message!)

$1. \tan75^\circ$

$2. = \tan(60^\circ + (30/2)^\circ)$

$3. = (\tan60^\circ + \tan(30/2)^\circ) / (1 – \tan60^\circ \tan(30/2)^\circ) $

$4. \tan (30/2)^\circ = \dfrac{(1 – \cos30^\circ)}{ \sin30^\circ}$

Can this be explained more succinctly as I'm new to trigonometry and a little lost after (2.) ?


EDIT

Using the answers given I'm almost there:

  1. $\tan75^\circ$
  2. $\tan(45^\circ + 30^\circ)$
  3. $\sin(45^\circ + 30^\circ) / \cos(45^\circ + 30^\circ)$
  4. $(\sin30^\circ.\cos45^\circ + \sin45^\circ.\cos30^\circ) / (\cos30^\circ.\cos45^\circ – \sin45^\circ.\sin30^\circ)$
  5. $\dfrac{(1/2\sqrt{2}) + (3/2\sqrt{2})}{(3/2\sqrt{2}) – (1/2\sqrt{2})}$
  6. $\dfrac{(1 + \sqrt{3})}{(\sqrt{3}) – 1}$
  7. multiply throughout by $(\sqrt{3}) + 1)$

Another alternative approach:

  1. $\tan75^\circ$
  2. $\tan(45^\circ + 30^\circ)$
  3. $\dfrac{\tan45^\circ + \tan30^\circ}{1-\tan45^\circ.\tan30^\circ}$
  4. $\dfrac{1 + 1/\sqrt{3}}{1-1/\sqrt{3}}$
  5. at point 6 in above alternative

Best Answer

A proof without words (but it uses some geometry). Is that OK?

enter image description here