Euclid's Elements
Book X
Proposition 39

If two straight lines incommensurable in square which make the sum of the squares on them rational but the rectangle contained by them medial are added together, then the whole straight line is irrational; let it be called major.
Let two straight lines AB and BC incommensurable in square, and fulfilling the given conditions, be added together. X.33
I say that AC is irrational.
java applet or image Since the rectangle AB by BC is medial, therefore twice the rectangle AB by BC is also medial. X.6
X.23,Cor.
But the sum of the squares on AB and BC is rational, therefore twice the rectangle AB by BC is incommensurable with the sum of the squares on AB and BC, so that the sum of the squares on AB and BC together with twice the rectangle AB by BC, that is, the square on AC, is also incommensurable with the sum of the squares on AB and BC. Therefore the square on AC is irrational, so that AC is also irrational. Let it be called major. X.16
X.Def.4
Q.E.D.

Guide

This proposition is used in X.57 and a few others in Book X.


Book X Introduction - Proposition X.38 - Proposition X.40.

© 1996
D.E.Joyce
Clark University