Vilket skulle visas

Nämnaren kan skrivas om enligt dubbla vinkelns formel för sinus.

Sedan kan du utnyttja definitionen av tangens $\tan v = \dfrac{\sin v}{\cos v}$, vilket medför att $\dfrac{1}{\tan v} = \dfrac{\cos v}{\sin v}$

Jag kan inte se tillvägagångssättet tyvärr.

menar du i högerled?

Det här ser väldigt likt ut en tidigare tråd från dig. Om du är med på den lösningen så borde denna vara lätt. Har man väl bevisat att 5-2=3 så bör man kunna ta det till att 5-3=2 också :P

Jag har försökt utveckla HL.

men ser inga likheter 

Det här stämmer ju inte. Tänk på att $\cos 2x \ne \cos^2 x$.

Om du rättar till detta, så kommer steg 3 i HL ge exakt det du har kommit fram till i VL.