Proof:
cos2x-1/cosx=-tanxsin
cos2x-1/cosx=-tanxsin