How do you prove cosxcscx2sinx=tanx1tan2x?