solve for c: 4=b²+16+8·b·cos x ; 4=16+c²+8·c·cos (pi/6-x) ; 4=sqrt(2·(b²+c²)-16)/2