证明cos20°(tan40°-根号三)