Euclid's Elements
Book X
Proposition 36

If two rational straight lines commensurable in square only are added together, then the whole is irrational; let it be called binomial.
Let two rational straight lines AB and BC commensurable in square only be added together.
I say that the whole AC is irrational. java applet or image
Since AB is incommensurable in length with BC, for they are commensurable in square only, and AB is to BC as the rectangle AB by BC is to the square on BC, therefore the rectangle AB by BE is incommensurable with the square on BC. X.11
But twice the rectangle AB by BC is commensurable with the rectangle AB by BC, and the sum of the squares on AB and BC is commensurable with the square on BC, for AB and BC are rational straight lines commensurable in square only, therefore twice the rectangle AB by BC is incommensurable with the sum of the squares on AB and BC. X.6
X.15
X.13
And, taken jointly, twice the rectangle AB by BC together with the squares on AB and BC, that is, the square on AC, is incommensurable with the sum of the squares on AB and BC. II.4
X.16
But the sum of the squares on AB and BC is rational, therefore the square on AC is irrational, so that AC is also irrational. Let it be called binomial. X.Def.4
Q.E.D.

Guide

This proposition is used very frequently in Book X starting with the next proposition.


Book X Introduction - Proposition X.35 - Proposition X.37.

© 1996
D.E.Joyce
Clark University