The Art of Mathematical Proof

Direct proof

Direct proof is the foundation of Day 5. Every concept that follows builds on the mental model you establish here. The most effective approach is to understand the principle first, then apply it — skipping straight to implementation creates gaps that compound into confusion later.

Work through each example in this lesson sequentially. The concepts connect, and the order is deliberate. If something is unclear, slow down at that point rather than pushing past it — a ten-minute pause now saves hours of debugging later.

proof by contradiction in Practice

Understanding Direct proof requires seeing it in motion. The code below is not a complete application — it is a minimal, working illustration of the key mechanism. Study the pattern, run it, break it deliberately, then fix it. That cycle builds real comprehension.

Once the basic pattern works, the logical next step is proof by contradiction. This is where the abstraction becomes useful — you move from understanding the mechanism to applying it to real problems. The transition is usually smaller than it feels. Most of the hard work happened in Section 1.

contrapositive

contrapositive completes today's picture. It is where Direct proof and proof by contradiction converge into a pattern you can apply to novel problems. This integration step is often where the day's learning consolidates — if the earlier sections felt abstract, this one typically makes them click.

Common Errors and How to Avoid Them

Several mistakes appear consistently when engineers encounter Proofs for the first time. Recognizing them now costs nothing; encountering them in production costs hours.

• Skipping the fundamentals. Direct proof has underlying mechanics that must be understood before applying them. Cargo-culting code that appears to work is brittle — it fails under conditions the original author never tested.
• Ignoring error messages. Error messages for proof by contradiction are usually precise. Reading them carefully almost always reveals the fix without any searching.
• Conflating Direct proof with proof by contradiction. These are related but distinct. Mixing up which is which leads to code that is technically correct but conceptually confused, making future changes risky.
• Not testing edge cases. The happy path is insufficient. What happens with empty input? With the maximum possible value? With concurrent access? Test those boundaries explicitly.