The Elements of Euclid, Books 1-6; Book 11

ABCD AC is equal adjacent angles angle ABC angle ACB angle BAC angle DEF angle EDF angles equal Axiom base BC bisected centre circle ABC circumference Constr Construction Corollary Definition 15 demonstration diameter double draw equal angles equal to F equiangular equimultiples Euclid Euclid's Elements exterior angle fourth given circle given straight line gnomon greater ratio greater than F Hypothesis less Let ABC Let the straight meet multiple opposite angle parallel to BC parallelogram perpendicular polygon produced proportionals PROPOSITION 13 Q.E.D. PROPOSITION rectangle contained remaining angle right angles segment shewn sides similar and similarly Simson square described square on AC straight line &c straight line AB THEOREM tiples touches the circle triangle ABC triangle DEF twice the rectangle Wherefore