已知tan(a 圆周率/4)=2