求证-2sin αcos α+1/1-2cos*2α=tan α-1/tan α+1