If cos30 = sqrt3/2, show that cos15 = sqrt3 + 1/2sqrt2