LHS=cosπ15cos2π15cos3π15cos4π15cos5π15cos66π15cos7π15
=cosπ15cos2π15cos4π15cos3π15cos5π15cos66π15cos7π15
=12sinπ15×2sinπ15cosπ15cos2π15cos4π15cos3π15cos5π15cos66π15cos7π15
=12sinπ15×sin2π15cos2π15cos4π15cos3π15cos5π15cos66π15cos7π15
=14sinπ15×2sin2π15cos2π15cos4π15cos3π15cos5π15cos66π15cos7π15
=14sinπ15×sin4π15cos4π15cos3π15cos5π15cos66π15cos7π15
=18sinπ15×2sin4π15cos4π15cos3π15cos5π15cos66π15cos7π15
=18sinπ15×sin8π15cos3π15cos5π15cos66π15cos(π−8π15)
=−116sinπ15×2sin8π15cos8π15cos3π15cos5π15cos66π15
=−116sinπ15×sin16π15cos3π15cosπ3cos66π15
=−132sinπ15×sin(π+π15)cos3π15cos(4π−6π15)
=132×cosπ5cos2π5
=132×cosπ5cos2π5
=132×cos36∘cos(90∘−18∘)
=132×√5+14×sin18∘
=132×√5+14×√5−14
=132×5−116
=132×416
=132×14
=1128=RHS
Hence proved.