## Proposition 16

 If a square does not measure a square, then neither does the side measure the side; and, if the side does not measure the side, then neither does the square measure the square. Let A and B be square numbers, and let C and D be their sides, and let A not measure B. I say that neither does C measure D. If C measures D, A also measures B. But A does not measure B, therefore neither does C measure D. VIII.14 Next, let C not measure D. I say that neither does A measure B. If A measures B, then C also measures D. But C does not measure D, therefore neither does A measure B. VIII.14 Therefore, if a square does not measure a square, then neither does the side measure the side; and, if the side does not measure the side, then neither does the square measure the square. Q.E.D.
This is simply the contrapositive of VIII.14. It is unclear why papyrus was wasted to state and prove it.

Next proposition: VIII.17

Previous: VIII.15

 Select from Book VIII Book VIII intro VIII.1 VIII.2 VIII.3 VIII.4 VIII.5 VIII.6 VIII.7 VIII.8 VIII.9 VIII.10 VIII.11 VIII.12 VIII.13 VIII.14 VIII.15 VIII.16 VIII.17 VIII.18 VIII.19 VIII.20 VIII.21 VIII.22 VIII.23 VIII.24 VIII.25 VIII.26 VIII.27 Select book Book I Book II Book III Book IV Book V Book VI Book VII Book VIII Book IX Book X Book XI Book XII Book XIII Select topic Introduction Table of Contents Geometry applet About the text Euclid Web references A quick trip