How do you prove 2sin2x1sinxcosx=tanxcotx?