已知阿尔法是锐角且满足1+tan阿尔发分之1-tan阿尔法等于2倍根号3