利用半角公式求tan(pai/6+cot(pai/12的值.(pai是圆周率的意思)