Goniometrie: somformules en verdubbelingsformules

Als je met sinus en cosinus werkt krijg je ook te maken met een somformule en een verdubbelingsformule. Waar komen die vandaan?