The contrapositive of a statement is formed by reversing and negating both the hypothesis and conclusion, and it is logically equivalent to the original statement. Understanding contrapositives is crucial in mathematical proofs, as proving the contrapositive is often easier than proving the original statement directly.