It's not necessary to learn the double angle formulas though. If you know cos(x+y) and sin(x+y), you'll be able to find out cos(2x) and sin(2x). After a while of writing them, you'll just learn them (that's what I did). I assume when you say "everything related to them" to also know what...