证明:sin2X/2cosX(1+tanX*tanX/2)=tanX