Lemma.If there are two straight lines, then the first is to the second as the square on the first is to the rectangle contained by the two straight lines. | ||
| Let FE and EG be two straight lines.
I say that FE is to EG as the square on FE is to the rectangle FE by EG. Describe the square DF on FE, and complete GD. | ||
| Since then FE is to EG as FD is to DG, and FD is the square on FE, and DG the rectangle DE by EG, that is, the rectangle FE by EG, therefore FE is to EG as the square on FE is to the rectangle FE by EG. Similarly the rectangle GE by EF is to the square on EF, that is GD is to FD, as GE is to EF. | VI.1 | |
| Q.E.D. | ||
Proposition 22 | ||
| The square on a medial straight line, if applied to a rational straight line, produces as breadth a straight line rational and incommensurable in length with that to which it is applied. | ||
| Let A be medial and CB rational, and let a rectangular area BD equal to the square on A be applied to BC, producing CD as breadth.
I say that CD is rational and incommensurable in length with CB. | ||
| Since A is medial, the square on it equals a rectangular area contained by rational straight lines commensurable in square only. | X.21 | |
| Let the square on it equal GF. But the square on it also equals BD, therefore BD equals GF. | ||
| But it is also equiangular with it, and in equal and equiangular parallelograms the sides about the equal angles are reciprocally proportional, therefore, BC is to EG as EF is to CD. | VI.14 | |
| Therefore the square on BC is to the square on EG as the square on EF is to the square on CD. | VI.22 | |
| But the square on CB is commensurable with the square on EG, for each of these straight lines is rational, therefore the square on EF is also commensurable with the square on CD. | X.11 | |
| But the square on EF is rational, therefore the square on CD is also rational. Therefore CD is rational. | X.Def.4 | |
| And since EF is incommensurable in length with EG, for they are commensurable in square only, while EF is to EG as the square on EF is to the rectangle FE by EG, therefore the square on EF is incommensurable with the rectangle FE by EG. | Lemma
X.11 | |
| But the square on CD is commensurable with the square on EF, for the straight lines are rational in square, and the rectangle DC by CB is commensurable with the rectangle FE by EG, for they equal the square on A, therefore the square on CD is incommensurable with the rectangle DC by CB. | X.13 | |
| But the square on CD is to the rectangle DC by CB as DC is to CB, therefore DC is incommensurable in length with CB. | Lemma
X.11 | |
| Therefore CD is rational and incommensurable in length with CB. | ||
| Therefore, the square on a medial straight line, if applied to a rational straight line, produces as breadth a straight line rational and incommensurable in length with that to which it is applied. | ||
| Q.E.D. | ||
