8 cos 20 ·cos 40 · cos 80 = 8 cos 20 ·cos 40 · cos (90-10) =
= 8 cos 20 ·cos 40 · sin 10 = 4 cos 20 ·cos 40 ·2 sin 10·cos 10 / cos 10 =
= 4 cos 20 ·cos 40 ·sin 20 / cos 10 = 2 cos 20·sin 20 ·2cos 40 / cos 10 =
= 2sin 40 ·cos 40 / cos 10 = sin 80 / cos 10 = cos 10 / cos 10 = 1