1-cos80=1-(2cos^2 40-1)=2(sin40)^2
cos10`+(√3)sin10=2(1/2*cos10+`√3/2*sin10)=2sin40
cos10`+(√3)sin10'除以(√1-cos80')=2sin40/√2sin40=√2