cos40(1+根号3*cot80)
=2cos40(1/2+根号3/2*cos80/sin80)
=2cos40(sin80sin30+cos30cos80)/sin80
=2cos40cos50/sin80
=(cos10+cos90)/cos10
=1