О формуле для косинуса двойного угла слышали?