Godzio: Najpierw ze wzoru na sumę cosinusów:
2cos36cos12 − 2cos48*cos36 = 2cos36(cos12 − cos48)
Teraz na różnicę cosinusów:
4cos36sin30 * sin18 = 2cos36sin18
Rozszerzam licznik i mianownik przez 2cos18
| 4cos36sin18 * cos18 | | 2cos36 * sin36 | | sin72 | |
| = |
| = |
| |
| 2cos18 | | 2cos18 | | 2cos18 | |
sin72 = sin(90 − 18) = cos18