Proof: By Euclid
(related to Proposition: Prop. 9.26: Odd Number minus Odd Number is Even)
![fig26e](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/euclid/Book09/fig26e.png?raw=true)
- For since $AB$ is odd, let the unit $BD$ have been subtracted (from it).
- Thus, the remainder $AD$ is even [Def. 7.7] .
- So, for the same (reasons), $CD$ is also even.
- And hence the remainder $CA$ is even [Prop. 9.24].
- (Which is) the very thing it was required to show.
∎
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)
- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"