Формулы двойного угла для синуса, косинуса и тангенса (и их доказательство)

Как доказать формулы двойного угла для синуса, косинуса и тангенса, используя формулы сложения. Включает три формы для косинуса.