Kitap 11
4
But the angle AEG is also equal to the angle BEH; [I. 15] therefore AGE, BEH are two triangles which have two angles equal to two angles respectively, and one side equal to one side, namely that adjacent to the equal angles, that is to say, AE to EB; therefore they will also have the remaining sides equal to the remaining sides. [I. 26]
4
Therefore GE is equal to EH, and AG to BH.
4
And, since AE is equal to EB, while FE is common and at right angles, therefore the base FA is equal to the base FB. [I. 4]
4
For the same reason FC is also equal to FD.
4
And, since AD is equal to CB, and FA is also equal to FB, the two sides FA, AD are equal to the two sides FB, BC respectively; and the base FD was proved equal to the base FC; therefore the angle FAD is also equal to the angle FBC. [I. 8]
4
And since, again, AG was proved equal to BH, and further FA also equal to FB, the two sides FA, AG are equal to the two sides FB, BH.
4
And the angle FAG was proved equal to the angle FBH; therefore the base FG is equal to the base FH. [I. 4]
4
Now since, again, GE was proved equal to EH, and EF is common, the two sides GE, EF are equal to the two sides HE, EF; and the base FG is equal to the base FH; therefore the angle GEF is equal to the angle HEF. [I. 8]
4
Therefore each of the angles GEF, HEF is right.
4
Therefore FE is at right angles to GH drawn at random through E.
4
Similarly we can prove that FE will also make right angles with all the straight lines which meet it and are in the plane of reference.
4
But a straight line is at right angles to a plane when it makes right angles with all the straight lines which meet it and are in that same plane; [XI. Def. 3] therefore FE is at right angles to the plane of reference.
4
But the plane of reference is the plane through the straight lines AB, CD.
4
Therefore FE is at right angles to the plane through AB, CD.
4
Therefore etc. Q. E. D.
PROPOSITION 5.
