求文档:已知tan(a+3pai)=根号3,且pai