cos(α+5π/12)cos(α+π/6)+cos(π/12-α)cos(π/3-α)
=cos(α+5π/12)cos(α+π/6)+cos[π/2-(5π/12+α)]cos[π/2-(π/6+α)]
=cos(α+5π/12)cos(α+π/6)+sin(5π/12+α)sin(π/6+α)
=cos[(α+5π/12)-(α+π/6)]
=cos(5π/12-π/6)
=cos(π/4)
=√2/2
cos(α+5π/12)cos(α+π/6)+cos(π/12-α)cos(π/3-α)
=cos(α+5π/12)cos(α+π/6)+cos[π/2-(5π/12+α)]cos[π/2-(π/6+α)]
=cos(α+5π/12)cos(α+π/6)+sin(5π/12+α)sin(π/6+α)
=cos[(α+5π/12)-(α+π/6)]
=cos(5π/12-π/6)
=cos(π/4)
=√2/2