Leid de verdubbelingsformules af uit de somformules. Stel ook een vergelijkbare formule op voor tan(2x).