If x lies in the first quadrant and cos x = 8/17, then prove that cos(π/6 + x) + cos(π/4 – x) + cos(2π/3 – x) = (√3 – 1)/2 + 1/√2 = 23/17