stylistic:style_transfer
Euclid's Elements

An early occurrence of proof by contradiction can be found in Euclid's Elements, Book 1, Proposition 6:

The proof proceeds by assuming that the opposite sides are not equal, and derives a contradiction.