求证:[ cos²α/(1/tan二分之α)-tan二分之α ]=四分之一sin2α