Označimo zadani izraz s P.
Općenito znamo da vrijedi sin2φ=2sinφcosφ, odakle je cosφ=2sinφsin2φ. Zato P možemo zapisati u sljedećem obliku:
P=cosα⋅cos2α⋅⋯⋅cos1010α=2sinαsin2α⋅2sin2αsin4α⋅⋯⋅2sin1010αsin2020α=2−1010⋅sinα⋅sin2α⋅⋯⋅sin1010αsin2α⋅sin4α⋅⋯⋅sin2020α.
Primijetimo da su u gornjim jednakostima svi izrazi dobro definirani: član sin(kα) jednak je nuli tek kada je k višekratnik broja 2021.
Kraćenjem prvih 505 faktora u brojniku s odgovarajućim faktorima u nazivniku dobivamo
P=2−1010⋅sinα⋅sin3α⋅⋯⋅sin1009αsin1012α⋅sin1014α⋅⋯⋅sin2020α
=2−1010⋅sinα⋅sin3α⋅⋯⋅sin1009αsin2020α⋅sin2018α⋅⋯⋅sin1012α,
Budući da za k=506,507,…,1010 vrijedi
sin(2kα)=sin(20214kπ)=−sin(2π−20214kπ)=−sin(2π20212021−2k)=−sin((2021−2k)α),
konačno dobivamo
P=2−1010⋅sinα⋅sin3α⋅⋯⋅sin1009αsin2020α⋅sin2018α⋅⋯⋅sin1012α=2−1010⋅sinα⋅sin3α⋅⋯⋅sin1009α(−1)⋅sinα⋅(−1)⋅sin3α⋅⋯⋅(−1)⋅sin1009α=2−1010⋅(−1)505=−2−1010.