« ΠροηγούμενηΣυνέχεια »
CDE = rt. L. (by Const.) Wherefore through 'B, its extremity, a line BE, has been drawn at rt. Zs to AB. Q. E. F.
From the Eleventh Proposition, the two following are also deductions.
PROP. E. PROB.
GEN. ENUN.-In a straight line given in position, but indefinite in length, to find a point equally distant from two given points, either on the same or on opposite sides of the given line. PART. ENUN.—Let AB be the
Fig. 1. gn. line, and c, D the gn. pts. ; then it is required to find in the st. line AB a pt. equidistant from c and D.
Const.-Join co, and bisect it E (Prop. X.); through E Adraw EF at rt. Zs to co. (Prop. XI.) F is the point required.
Fig. 2. Join CF, DF.
DEMONST. - Because ce = EP, and EF is common to A CEF, DEF; .. the two sides CE, EF = DE, EF, each to each, and the L
DEF (Def. 10); .. the base cF = base df. (Prop. IV.)
Wherefore a pt. F has been found in the gn. line AB, equidistant from the gn. pts. c and D.-Q. E. F.
PROP. F. THEOR.
Gen. Enun.-If the three sides of a triangle be bisected, and straight lines be drawn through the points of bisection at rt. angles to the sides, these lines will meet in a point equally distant from each of the angles.
Wherefore the < Bac is bisected by the st. line AF.-Q. E. F.
It is clear that the same result would follow from des. cribing an isosceles A upon DE (Prop. A or B); and that by repeating the operation, rectilineal 1 may be divided in 4, 8, 16, 32, 64 equal parts; and so on, doubling continually. A similar remark applies to the following Proposition.
PROP. X. PROB.
Gen. Enun.-To bisect a given finite straight - line ; that is, to divide it into two equal parts.
Part. Enun.—Let Al be the gn. st. line; then it is required to bisect it.
Const.-Describe upon AB an equilateral - ABC (Prop. I.), and bisect the 2 ACB by the st. line cd (Prop. IX.); then AB is cut into two = parts in the pt. D.
DEMONST.—Because AC = CB, and cp is common to the AS ACD, BCD, .. the two sides AC, CD = BC, CD, each to each, and the < ACD = Z BCD (Const.); .. the base AD = base dB (Prop. IV.): i.e. the st. line AB is bisected in the point D.—Q. E. F.
PROP. XI. PROB.
GEN. ENUN.--To draw a straight line at right angles to a given straight line from a given point in the same.
Part. ENUN.-Let AB be the gn. st. line, and c a gn. pt. in it; then it is required to draw from c a st. line at rt. Zs to AB.
Const.—In ac take any pt. 1, A. and make CE = cd. (Prop. III.) Upon de describe an equilateral A DEF. (Prop. I.) Join CF (Post. 1). The st. line CF, drawn through the gn. pt. c, is at rt. <$ to AB.
DEMONST.-1. Because Dc = CE, and cf is common to the two AS DCF, ECF; ... the two sides DC, CF = EC, CF, each to each ; also base DF = base EF; :: ZDCF= Z ECF (Prop. VIII.), and they are adjacent 28.
2. But when the adjacent <$ which one st. line makes with another are equal, each of them is called a rt. < (Def. 10); .. each of the Zs DCF, ECF is a rt. 2.
3. Wherefore from the gn. pt. c, in the gn. st. line AB, the line of has been drawn at rt. Zs to AB.-Q. E. F.
Cor.—By help of this Proposition, it may be demonstrated that two straight lines cannot have a common segment.
Suppose, if possible, the two st. lines ABC, ABD to have the segment AB common to both of them.
From the pt. B draw be at rt. Zs to AB (Prop. XI.); then, because ABC is a st. line, the 2 CBE
< EBA; and if abd is a st.
Part. Enun.-Let the sides of any A ABC be bisected in the pts. DEF; through d and E let DG, EG
А be drawn at rt. Ls to AB, BC, and meeting in G (Prop. XI.); then the st. line drawn through F at rt. Ls to AC shall also pass through g, and this pt. G is equidistant from each of the Ls of the AB
Const.-Join GF, GA, GB, GC (Post. 1).
Because AD = DB, and do is common to the AS ADG, BDG; .. the two sides AD, DG = BD, DG, each to each, and the L ADG = BDG (Def. 10); ... base AG base BG. (Prop. IV.)
2. In the same manner it may be shewn that cg = BG. 3. . . also AG = cg. 4. Prove that AFG = L CFG = rt. L.
Again, because AF = Fc, and Fg is common to the As AFG, CFG; .. the two sides AF, FG = CF, FG, each to each, and the base AG base cg; .. also / AFG = L CFG (Prop. VIII.), and they are adjacant 48; .. each of them is a rt. L.
5. Hence the line fg, drawn at rt. Z to Ac through F, passes through G, and it has been shown that ag = BG =
Wherefore, if the three sides of a Abe bisected, &c. -Q. E. D.
PROP. XII. PROB.
Gen. Enun.—To draw a straight line perpendicular to a given straight line of an unlimited length, from a given point without it.
Part. ÉNUN.—Let AB be the gn. st. line, which may be produced to any length both ways, and let c be a gn. pt. without it; then it is required to draw a st. line I to AB from
the pt. c.
Const. —Take any pt. D upon the other side
with rad.cd, describe the EGF, meeting AB in the pts. F and G (Post. 3). Bisect FG in H (Prop. X.), and join ch.
The line ch, drawn from the pt. c, is to the gn. st. line AB.
Join CF, CG. DEMONST.-Because FH Hg, and HC is common to the As FHC, GHC; .. the two sides FH, HC = gh, uc, each to each ; and by the property of o, the base Fc = the base CG (Def. 15); ::. the < chr = < CHG (Prop. VIII:), and they are adjacent Zs: but when a st. line standing on another st. line makes the adjacent z = to one another, each of them is a rt. Z, and the st. line which stands upon the other is called a I to it; .. from the gn. pt. c a st. line ch has been drawn Ir to AB. -Q. E. F.
The condition that the st. line should be given in position only, and not in length, is manifestly essential; for otherwise the gn. pt. might be so placed, not only that a O could not be described cutting the line in two pts., but the I would fall beyond the extremity of the line. In order to drop a upon a gn. finite line at or near its extremity, the 31st Prop. of Book III. must first be proved.