MATH QA 485 .G85 CORNELL UNIVERSITY LIBRARY MATHEMATICS CORNELL UNIVERSITY LIBRARY 3 1924 068 659 097 B Cornell University M Library The original of tliis bool< is in tine Cornell University Library. There are no known copyright restrictions in the United States on the use of the text. http://www.archive.org/details/cu31924068659097 THE PAEABOLA, ELLIPSE, AND HYPEEBOLA, TREATED GEOMETRICALLY DUBLIN UNIVERSITY PRESS SERIES. The Provost and Senior Fellows of Trinity College have undertaken the publication of a Series of "Works, chiefly Educational, to be entitled the Dublin University Press Series. The following volumes of the Series are now r6ady, viz. : — An Introduction to the Systematic ZoologT- and SEorpholoery of Vertebrate Animals. By Alexander Macalister, M.D., Dubl., Professor of Comparative Anatomy and Zoology in the University of Dublin. The Correspondence of Cicero : a revised Text, with Notes and Prole- gomena. — Vol. I., The Letters to the end of Cicero's Exile. By Robert Y. Tyrrell, M. A., Fellow of Trinity College, and Professor of Latin in the Uni- versity of Dublin. Essays in Political and Moral Philosophy. By T. E. Cliffe Leslie, Hon. LL.D., Dubl., of Lincoln^s Inn, Barrister-at-Law, late Exam-iner in Poli- tical Economy in the University of London^ Professor of Jurisprudence and Political Economy in the Queen's University. The following will soon appear : — Six Lectures on Physical G-eo^aphy. By the Rev. S. Haughton, M.D., Dubl., D.CL., Oxon., F.R.S., Fellow of Trinity College, and Pro- fessor of Geology in the University of Dublin. The Mathematical and other Tracts of the late James M'Cullag-h, F.T.C.B., Professor of Natural Philosophy in the University of Dublin. Now first collected, and edited by Rev. J. H. Jellett, B.D., and Rev. Samuel Haughton, M.D., Fellows of Trinity College^ Dublin. An Introduction to Logric. By William Henry Stanley Monck, M. A., Prof essor of Moral Philosophy in the University of Dublin. The Veil of Isis, By Thomas E. Webb, LL.D., Q.C, Regiics Professor of Ldws in the University of Dublin, DUBLIN : HODGES, FOSTER, AND FIGGIS. LONDON ■ LONGMANS, GREEN, AND CO. DUBLIN UNIVERSITY PRESS SERIES. THE PARABOLA, ELLIPSE, AND HYPERBOLA, TREATED GEOMETRICALLY. BY ROBERT WILLIAM GRIFFIN, A.M., LLC, EX-SCHOLAR, TRINITY COLLEGE, DUBLIN. DUBLIN : HODGES, FOSTER, & FIGGIS, GRAFTON-ST. LONDON: LONGMANS, GREEN, & CO., PATERNOSTER-ROW. 1879. DUBLIN : PRINTED AT THE UNITERSITY PRESS. PREFACE. Long experience has proved to me that it would be a great practical advantage for the general class of students to acquire a knowledge of even the elementary Geometrical properties of the Parahola, Ellipse, and Hyperhola — a knowledge which may be attained, in a very short time, by any one acquainted with the six Books of Euclid, though many have neither the ability nor the perseverance necessary for the Analytical investigation. In the following Treatise I have endeavoured to demon- strate, on strictly geometrical principles, the most useful properties of these curves. In the definition of a tan- gent I have avoided the notion of a limit, adopting, in preference, Euclid's definition; and the demonstrations depending thereon will, I think, be found somewhat new and interesting. The similar properties of the three curves will be found to be treated in such a manner as to need scarcely any change of either words or notation. vi Preface. In Chap. III. Proposition XIX. et seq. and Corollaries, I have traced the analogy between the properties of con- jugate diameters of the Hyperbola, and those of the El- lipse, further than has been done in any other Treatise. To the Board of Trinity College I owe my grateful thanks, for extending to me that liberal support with which they have ever shown themselves ready to assist the humblest efforts. EOBEET WM. GEIFFIN. 19, Teiniit College, September, 1879. CONTENTS. -♦- CHAPTEE I. FADE Thle Paeabola, 1 Peoblems on the Pababola 45 CHAPTEE II. The Ellipse, 46 Peoblems ON THE Ellipse, 110 CHAPTEE III. The Htpeebola, Ill APPENDIX, 178 CHAPTER I. The Parabola. definitions. A Parabola is the curve traced out by a point, which moves in such a way that its distance from a fixed point is always equal to its perpendicular distance from a fixed right line. The fixed point is called the Focus, and the fixed right line the Directrix. Any right line perpendicular to the Directrix is called a Diameter. The right line drawn through the Focus perpendicular to the directrix is called the Axis, and the point at which it meets the curve the Vertex, A right line which meets the curve, and, being produced, does not cut it, is called a Tangent. A right line drawn through any point on the curve perpendicular to the tangent at that point is called a Normal. If a right line be drawn parallel to any tangent, the part intercepted on it, between the curve and a diameter passing through the, point of contact of the tangent, is called an Ordinate to that diameter. The part intercepted on any diameter between the ordi- nate and the curve is called the Abscissa. B 2 The Parabola. [chap. i. The right line joining any two points on the curve is called a Chord. The chord drawn through the Focus parallel to the ordinates to any diameter is called the Parameter of that diameter. The chord drawn through the focus at right angles to the axis is called the Latus rectum. Proposition I. The focus and directrix of a parabola being given, to determine any number of points on the curve. Pig. 1. Let F be the focus, and Oy the directrix. Draw FO 1. the directrix ; bisect FO at A. Then OF is the axis, and A the vertex of the curve. On the directrix take any point p ; join F^ ; draw AH X FO ; through H draw HP J_ Fp, to meet pP drawn J. the directrix; joia Pi^. Then a" FHP and jsSP are equal ; (4 I. Euclid.) .■. PF^Pp. Hence P is a point on the curve. CHAP. I.] The Parabola. 3 In like manner, by joining the focus with other points on the directrix, toy number of points on the curve may be determined. Cor. 1. — If Og be taken = Op, another point Q may be found in a similar manner to P, which will be at the same distance both from the axis and the directrix ; hence the curve is symmetrical with regard to the axis. Cor. 2. — Since Pp = Qq; .-. FP = FQ, also I OFP = L OFQ ; .". right lines drawn from the focus to the curve, making equal angles with the axis, are equal. Cor. 3. — The Latus rectum is equal to four times the distance of the focus from the vertex. Fig- 2. Draw PP' through the focus ± the axis ; and Pp ± the directrix. Then PP' = 2PF {Cor. 2.) = 2Pp = 2F0 = 4FA. b2 4 The Parabola. [cbup. i. Cor. 4. — If any parallel qR be drawn to the axis be- tween the vertex A and any point P "on the curve, the segment qQ, intercepted on tms line between the curve and the directrix is less than the segment qR intercepted on it between the line AP and the directrix ; and, there- fore, the curve ia convex towards the directrix. Fig. 3. Since L FEP is a right /.;.•. L AHF+ L CEP = 90°. Hence a AHF is similar to a CPH ; .-. FA: AH = EC: CP ; .-. FAx CP = AHx HC. But FA-AO; .: JFlff = Hp ; .-. AS = HC ', .-. FAxCP = AH' = iAC\ Similarly, FAxBQ = \AD' ; .-. CP : DQ = AC : AD' = CP'.DR'; (Simflar A».) .-. CP' :CPxDQ=CP': BR' ; .-. CPxBQ = RB' ; .: BQiRB =RB:CP^AB: AC. (SimUar a',) But by hyp., ABPF; (20 I. Euclid.) .-. QF+ QP>Pp; QF>Qp. Next let Q' be on the concave side ; join QF. Then QfF< Q'P + PF; (20 I. Euclid.) .-. Q'F< Q'P + Pp; .-. Q!F< Q'p. Cor. — Conversely a point will be on the concave or convex side of a parabola according as its distance from the focus is less or greater than its perpendicular distance from the directrix. CHAP. I.J The Parabola. Proposition III. 1°. The line wHch bisects the angle between that drawn from any point on a parabola to the focus, and that drawn perpendiciilar to the directrix, falls wholly without the curve. 2°. Any other line drawn through the point will cut the curve. Fig. 6. 1°. Let PH bisect the angle between PF and Pp, the perpendicular on the directrix. Take any point Q on PH; join QF, and draw Qq _L the directrix. Then the a» QPF and QPp are equal ; (4 I. Euclid.) .-. QF= Qp, but Qp >Qq; (19 I. Euclid.) .-. QF>Qq; .-. Q is a point without the curve. {Cor. Prop, ii.) 8 The Parabola. [chap. i. 2°. Let PK be any line other than the bisector of the tFPp. Draw PL, making the I KPL = z EPF ; cut off PL = PF. Through L draw QLq ± the directrix ; join QF. Then the a » i^PQ and LPQ are equal ; (4 1. Euclid.) .-. QL=QF; .: QF< Qq; .'. the point Q is on the concave side of the curve. {Cor. Prop. II.) Cor. 1. — Hence the line which bisects the angle be- tween that dravm from any point on the curve to the focus, and that drawn perpendicular to the directrix, is a Tangent to the curve. Cor. 2. — The tangent at the vertex is perpendicular to the axis, and .'. ordinates to the axis are also perpendi- cular to it. Cor. 3. — The normal to a parabola at any point bisects the external angle between the line drawn from that point to the focus,, and the perpendioidar let fall on the directrix. CHAP. I.J The Parabola. 9 Pboposttion IV. The locus of the foot of the perpendicular let fall from the foouB on any tangent to a parahola is the tangent at the vertex. Fig. 8. Let PT be any tangent, and FT the perpendicular let fall from the focuB. Draw Pp _L the directrix ; join pT. Then the A'FPT and pPT are equal ; (4 I. Euclid.) .-. /. pTP = I FTP ^ 90° ; .: Tp and Ti^'are in directum. (14 I. Euclid.) Also Tp=TF; .: TAisW Op. (^ VI. EucM). Hence TA is a tangent at the vertex. {Cor. 2, Prop, iii.) Cor. 1. — ^If the vertex of a right z FTP move along a fixed right line, while one leg passes through affixed point F, the other leg will always touch a parabola, of which the fixed point is the focus, and the fixed right line the tangent at the vertex. Cor. 2. — If a perpendicular Pp be let fall on the directrix from any point P on a parabola, the line I^ joining the foot of this perpendicular with the focus is JL the tangent at the point P. 10 The Parabola, [chap. i. Cor. 3. — By the aid of this Prop, we can draw a pair of tangents to a parabola from any point Q without it. Fig. 9. On the line joining Q with the focus as diameter describe a circle ; the line joining the given point Q with the points of intersection of this circle with the tangent at the vertex will be the required tangents.. Note. — The circle described on QF as diameter will always intersect the tangent at the vertex. For, bisect QFinC/ and draw ffN _L AM. Then Qq = QM+Mq=QM+AO=QM+ AF= 2aN, but QF > Qq (Prop, n.) ; .■.QF>2aNox O'F > ON. That is, the radius of the circle is always greater than the perpendicular let fall from its centre on the tangent at the vertex. CHAP. I.J The Parabola. 11 Proposition V. Any line drawn through the focus is out harmonically by the curve, the focus, and the directrix. Fig. 10. For PD:DQ = Pp: Qq (Similar a».) = PF:FQ. Hence DP, DF, and BQ are in harmonic proportion. Cor. 1. Pp : FO : Qq = DP : DF : DQ. (Similar a».) Hence Pp, FO, and Qq, are in harmonic proportion. • "5"' Bin' ^^^ TT' ^^® ^^ Arith. Progression. .-. — - + -TT- = -^^', and .•. constant. Pp Qq FO Cor. 2. — Hence, also, =^ + ^ is constant. 12 The Parabola. [chap. i. Proposition VI. The locus of the intersection of tangents to a parabola which cut at right angles is the directrix. Fig. 11. Let QP, QP, he tangents which cut at right angles. From the focus draw the perpendiculars FT, FT\ on the tangents. Then T and T' are points on the "tangents at the vertex. (Prop. IV.) .-. TT' is ± the axis. [Cor. 2, Prop, in.) Also since FTQT' is a rectangle, its diagonal QF is bisected at B. Draw QO 11 TT'. Then FA^AO; (2 VI. BucUd.) and QO being || TT', is .-. ± the axis. Hence .•. QO is the directrix. CHAP. 1.] The Parabola. 13 Proposition VII. If PN be a normal to a parabola at any point P, and PM the ordinate to the axis, the subnormal MN is of a constant length and equal to half the latus rectum. Fig. 12. Draw Pp ± the directrix. Then iiJj will be ± the tangent at P ; and .'. || PIf. {Cor. 2, Prop, iv.) Hence A 1^)0= A NPM ; (26 I. Euclid.) .-. MN =F0 = 2FA = I Latus rectum. {Cor. 3, Prop, i.) Def. — The portion of the axis intercepted between the normal at any point on the curve, and the ordinate to the axis drawn through the same point, is called the Sub- normal. The portion of the axis intercepted between the tangent at any point on the curve, and the ordinate to the axis drawn through the same point, is called the Subtangent. 14 The Parabola. [chap. I. Peoposition VIII. If a tangent at any point P on a parabola meet the axis produced in T, and the ordinate PM be drawn, then the subtangent MT will be bisected at the vertex. Fig. 13. Draw Pp _L the directrix ; join FP. Then z FPT = z TPp = z PTF; .•.FT=FP^Pp = MO; but AF=AO; .•.AT=AM. Cor. 1.— If PN be a normal, then FT = FN. For FT = MO = MF+ FO = MF+ MN = FN. Cor. 2. L PFN = 2 z PTF. (Prop. VII.) CHAP. I.J The Parabola. 15 Pkoposition IX. The rectangle under the Latus rectum and the abscissa is equal to the square of the ordinate. 1 - Fig. t4. Draw PT the tangent and PN the normal at the point P. Then PM'' = TM x MN ; (8 VI. EucHd.) but TM=2AM; and MN = 2 AF; (Props, vn. and viii.) .-. PJf' = 2AM - 2AF= iAF x AM. Cor. 1. — The squares of the ordinates to the axis are proportional to the abscissas. Cor. 2. — The square of the tangent = 4:FP x AM. For TP" = TNxTM (8 VI. EucM.) = 2TFx2AM = 4i?!P X AM. Cor. 3. — The square of the normal = 4:AF x FN. For PN^ =TNx NM= 2FN x 2AF= iAF x FN 16 The Parabola. [chap. i. Proposition X. The locus of the intersection of any tangent to a para- bola with the line drawn through the foQus perpendicular to the radius vector drawn from the focus to the point of contact of the tangent is the directrix. I'ig. 15. Let PT he the tangent and FT the ± the radius vector FP. Draw TO ± the axis, and Pp ± TO produced. Then ATFP = ATjaP ; (26 I. Euclid.) .-. Pp = PF; hence OT is the directrix. Cor. 1. — Conversely, if from any point on the directrix a tangent be drawn to a parabola, the line joining that point to the focus is perpendicular to the radius vector drawn from the focus to the point of contact of the taipgent. Cor. 2. — Tangents at the extremities of a focal chord intersect at right angles on the directrix. For / FTP = /.pTPaniz. FTQ = iqTQ; ,: QTP = i[LFTp + /.FTq) = a right /. CHAP I.J The Parabola. 17 Proposition XI. If any chord PP' of a paratola out the directrix in D, then Fl> is the external bisector of the angle PFP'. Fig. 16 Draw Pp, P'p' ± the directrix. Then P'P : PF = Fp' : Pp = P'D:DP; (Similar A'.) .-. FB is the bisector of the l PFQ. (3 VI. Euclid.) Cor. 1. — Hence, being given the focus i?" and two points P, P', on a parabola, we can find the directrix and axis. For, draw FB bisecting the Z between FP and FP" produced ; the point B where this line meets PP' produced is a point on the directrix. The tangent drawn from B to the circle described with the centre P and the radius PF, will be the directrix, and the perpendicidar let fall on it from the focus, the axis. If a tangent to a curve be defined as the line Joining two indefinitely near points on the curve, it will foUow imme-. diately from this Prop, that the right line drawn from the focuB to the point of intersection of any tangent with the 18 The Parabola. [chap. i. directrix is perpendicular to the radius vector drawn from the focus to the point of contact of the tangent ; also, that the tangent makes equal angles with the lines drawn from the point of contact to the focus and the perpendicular to the directrix. For when P is indefinitely near to P', PD becomes a tangent at the point P, and the z. PFP' is indefinitely smaU, and .-. PFQ = 180°; but L PFD = \ L PFQ, .: L PFD = 90°. Also, APZZ) = ^.PpD ; .-. L DPF= L DPp. Pkoposition XII. If two fixed points PP' on a parabola be joined with a third variable point on the parabola, the segment pp' intercepted on the directrix by the produced chords sub- tends a constant angle at the focus. ■Fig. 17. Since (Prop, xi.) Fp is the bisector of the z between FO and FP produced ; .-. LOFp + \ L OFP = 90°; CHAP. I.] The Parabola. 19 also, since (Prop, xi.) Fp' is the bisector of L between FO and FF produced ; .-. I OF^' -^^L OFF' = 90°; .. lOIi) + i OFF = L OFp' + i / OFF ; .-. z OFp - I OFp =\L OFF ~\L OFF ; .-. LpFp\= \ L PFF and .-. constant. Cor. — Hence the anharmonic ratio of the pencil formed by joining four fixed points on a parabola to any fifth variable point is constant. For . PFF'F" = 0.pp'p"p"' = F.pp'p"p"'. Proposition XIII. The line joining the focus to the point of intersection of any two tangents to a parabola bisects the angle between the radii vectores drawn from the focus to the points of contact of the tangents. fig. 18. Let OF, QF be tangents. Join PF, FF, QF. Draw Fp', Pp ± the directrix. Join Qp, Qp. c2 20 The Parabola. [chap. i. Then A» QPF and Qp'F are equal ; (4 I. EucM.) .-. QF^ Q/, also t QFP = / Qp'F. Again, A» QFP and QpP are equal; (4 I. Euclid.) .-. QF= Qp, and l QFP = l QdP. Hence, Qp = Qp', .■.lQpp'=l Qp'p, .•.LQpP=LQpF; .■.lQFP = L QFP'. Cor, 1. — ^If Qq be drawn || the axis and produced it will bisect the chord PP'. For A» Qpq and Qp'q are equal. (26 I. Euclid.) ■'■ pq = qp' \ but Pp, Qq, and P'p' are parallel; .-. Pilf=i[fP'." Cor. 2. — Since QF= Qp = Qp'; /. the circle described win centre Q, and radius QPwiU^ass through^ and jo'. Cor. 3. — By the aid of Cor. 2 we can draw a pair of tangents to a parabola from a point Q without it. For, with centre Q, and radius QF, describe a circle from the points where this circle cuts the directrix ; draw perpendiculars meeting the curve in P and P' ; the lines joining Q with P and P' will be the required tangents. Cor. 4.— A'P'Si? and QPP are similar, and QPis a mean proportional between FP and FP', For I FQF = z FQp', L FQP = / PQp, and ^pQq = Lp'Qq; .-. L FQF + PQq = 180° ; but LpPQ or L FPQ +'z PQq = 180° ; (29 I. Euclid.) .-. L FQF ^L FPQ, also L QFP = L QFF. Hence a P'QPis similar to a QPF; .-. FF:FQ::FQ:FP. CHAP I.] The Parabola. 21 Pkoposition XIV. The chord of contact of any two tangents to a parabola is an ordinate to the diameter passing through their point of intersection. Fig. 19. Let QP, QP', be two tangents, QM a parallel to the axis passing through their intersection, meeting the curve in V. At V draw a tangent meeting QP in B, and QP' in P^ ; join VP, VP" ; through B and Ji' draw parallels to the axis. Then VP will be bisected in 8, and VP' in 8'. {Cor. 1, Prop, xiii.) Hence QP will be bisected at B, and QP' at B^ ; (2 VI. Euclid.) .-. BI^ is II PF. (2 VI. EucUd.) Hence PP' is an ordinate to diameter QM. (Def.) Cor. QV=VM. 22 The Parabola. [chap. i. Proposition XV. The angle at the focus, subtended by the segment in- tercepted on a variable tangent to a parabola by two fixed tangents, is equal to half the angle which the chord of contact of the fixed tangents subtend at the focus, and therefore constant. Fig. 20. Let QP, QP', be the fixed tangents, RS the variable ; join F with F, S, T, R, and P. Th&nl 8FT = ^ I TFF ; &ho iTFR^^/L TFP; (Prop, xm.) .-. I RFS =^lPFF, which is constant. Cor. — The anhaxmonic ratio of the four points in which a variable tangent to a parabola is cut by four fixed tangents is constant. For the segments intercepted on the variable tangents subtend constant angles at the focus. Proposition XVI. The circle circumscribirig the triangle formed by any three tangents to a parabola passes through the focus. CHAP. I.J The Parabola. ^3 For L PFM = 2 / PBF, {Cor. 2, Prop, viii.) and L FFM= 2 z P'DF; {Cor. 2, Prop, viii.) .• lFFM-lPFM=2iPDF-2lPBF, or L FFP = 2l BQD ; .-. lSFR =lBQD. (Prop. XV.) HenoQ a circle will pass through SQRF. Pkopositiox XVII. If a tangent at any point P on a parabola meet the axis in T and P, be joined with the vertex, the area of the triangle PAT thus formed wiU be equal to the area of the triangle PAp, formed by drawing Pp parallel to the axis, to meet the tangent at the vertex. Fig. 21. Draw the ordinate PM. Then, since TA = AM; (Prop, viii.) .-. A TAP = A MAP = A PAp. (38 I. EucM.) Cor. A TMP = parallelogram PMAp. 24 The Parabola. [chap. i. Proposition XVIII. If QG be an ordinate drawn to any diameter Pp, from any point Q on a parabola cutting the axis in L, and QS be an ordinate drawn to the axis from the same point, AR a tangent at the vertex, then the triangle QLS = parallel- ogram ITS AM. Fig. 22. Draw PT the tangent at P. Then a' QLS and PTM are similar ; .-. A QLS : A PTM= QS' : PM' (19 VI. Euclid.) = AS : AM {Cor. 1, Prop, ix.) = D ASKS : □ AMPS; but A PTM== □ AMPS; (Cor. Prop, xvn.) .-. A QLS = a J/Sf^S^. Cor. 1. — In like manner it may be proved that A Q'S'L = □ AS'K'E. Cor. 2. — The chord QQ'is bisected by the diameter P??. GHAP. I.J The Parabola. 25 Since a QLS = □ KSAE; .-. a QGK= trap. lLiiPF; .-. QF+ QF'>PF+PF' >AA'. Next, let Q' be within the ellipse ; join Q'J?, Q'J?", and let P'Q produced meet the elUpse in P ; join PF. Then qF F'B ; (20 I. Euclid.) .-. F'Q+QF>FT + PF > axis major ; (Prop, ii.) .'. Q is a point without the curve. {Cor. 5, Prop, ii.) CHAP. ii.J The Ellipse. 53 2°. Let PK be any line other than the bisector of the angle FPR. Draw PL, making the z KPL = t KPF; cut off PL = PF; join F'L, and where it cuts P^ join with F. Fig. 6. Then the A« FPQ and iPQ are equal ; (4 I. Euclid.) .-. QF=QL; but F'P + PL> F'L ; (20 I. Euclid ) . jr'p + PF> F'Q + QF; AA' > F'Q + OF; .-. the point Q is within the ellipse. {Cor. 5, Prop, ii.) Therefore the line PK will cut the curve. Cor. 1. — Hence the line which bisects the external angle between lines drawn from any point on an ellipse to the foci is a tangent to the curve. Cor. 2. — The tangent at the vertex is perpendicular to the axis, and hence ordinates to the axis are also perpen- dicular to the axis. Cor. 3. — The normal to an ellipse at any point bisects the angle between the focal radii vectores drawn to the point. 54 The Ellipse. [chap. ii. Proposition IV. The locus of the foot of the perpendicular let faU from either focus on any tangent to an ellipse is a circle de- scribed on the axis major as diameter. Fig. 7. Let PS be any tangent, and FT a perpendicular let fall on it from the focus. Produce F'P to meet FT produced in R ; join TC. Then the A" PFT and PR T are equal ; (26 I. Euclid.) Now in A F'FR, F'F is bisected in C, and FR in T. .-. CT is \\F'R, (2 VI. Euclid.) and CT=iF'R (Similar a».) = i {F'P + FP) = GA. Hence the locus of T is a circle described with the centre C, and radius CA. This circle is called the Auxiliary circle of the ellipse. CHAP. ii.J The Ellipse. 55 Cor. 1. — Conversely the right line drawn from either foous to the adjacent point of intersection of any tangent with the auxiliary circle is perpendicular to the tangent. Cor. 2. — If the vertex of a right angle FTP move along a fixed circle, while one leg passes through a fixed poiat jP within that circle, the other leg wiU always touch an ellipse. Cor. 3. — By the aid of this Prop, we can draw a pair of tangents to, an ellipse from any point Q without it. On the line joining the given point Q, with either focus as diameter, describe a circle ; the lines joining Q with the points of intersection of this circle with the auxiliary circle will be the required tangents. Note. — The circle described on QF as diameter wiU always cut the auxiliary circle. Fig. 8. For, bisect QFinO; join OC, QF'. Then, since QF+QF'>AA'; (Con 4, Prop, m.) .-. OF+OC > CA; .-. 0C> CA- OF. That is, the distance between the centres of the circles is greater than the difference of their radii ; .-. they will intersect. Cor. 4. — The right line drawn from the centre parallel to either focal radius vector, to meet the tangent, is equal to the semiaxis major. 56 The Ellipse. [chap. ii. Cor. 5. — The circle described on any focal radius vector as diameter will touch the auxiliary circle. Proposition V. The rectangle under the focal perpendiculars on any tangent to an ellipse is equal to the square of the semi- axis minor. Fig. 9. Let FT, FT, he perpendiculars let fall from the foci on the tangent at any point P. Join TC, and produce it to meet T'F' produced in 8. Then the A» F'CS and FCT are equal ; (26 I. EuoUd.) .-. F'8 = FT, and C8=CT=CA; (Prop, iv.) .'. 8ia a point on the auxiliary circle ; .-. A'F' X F'A = 8F' X FT' (35 III Euclid.) = FTxFT'; .: A'C - CF" = FT x F'T, (5 II. EucUd.) or 5C^ = FT X FT. [Cor. 3, Prop, ii.) CHAP. II.] The Ellipse. 57 Proposition VI. The locus of the intersection of the tangents to an ellipse which cut at right angles is a circle. Kg. 10. Let QP, QP', be tangents, which cut at right angles. Describe the auxiliary circle cutting the tangent QP in T and T', and the tangent QF in H and S' ; join FS, FT, F'H', F'T' ; draw Q^ touching the auxiliary circle ; join CK, CQ. Then FT and F'T' are both ± QP, and .-. || QP'. {Cor. 1, Prop. IV.) Similarly, F'H' and FH are both J. QP', and .-. || QP ; [Cor. 1, Prop. IV.) hence QT = FH, and QT' = F'H. Now CQ = CK^ + QK^ = CA' + QT X QT' (36 III. Euclid.) = CA^ + FH X F'H' = CA^ + CB' (Prop. V.) = AB'; .-. CQ = AB. Hence the locus of Q is a circle described with the centre C, and radius = AB. This circle is called the Director Circle of the ellipse. 58 The Ellipse. [chap. it. Pkoposition VII. If PN be a normal to an ellipse at any point P, and PM an ordinate to the axis, then GM:CN= CA': OF'. Fig. 11. Join PF, PF' ; draw p'Pp \\ the axis major, meeting the directrices in p', p. Since {Cor. 3, Prop, iii.) PiV bisects the lF'PF; .-. WF':JVF= PF' : PF (3 YI. Euclid.) = Pp' : Pp. Comp. and div. JSfF' + NF : NF' -NF^ Pp' + Pp : Pp' - Pp, or 2CF : 2CJSf = 2C0 : 2CM ; .-. CM: CN=CO: CF = COx CF: CF\ Hence CM : CN = CA' : CFK {Cor. 4, Prop, i.) Cor. I.— CM: MN = CA' : C£'- For CM:CM-CN = CA' : CA' - CF\ or CM : MN = CA' : CB\ CHAP. ii.J The Ellipse. 59 Cor. 2. F'P : PF= F'N : NF .-. F'P + PF:PF= F'N + NF : NF, or CA : CF = PF : NF. Similarly, CA:CF= PF' : NF' ; .-. CA' : CF^-.-.PFx PF' : NF x NF' .-. CA' : CA'- CF' : : PFxPF'-.PFx PF'-NFxNF' CA- ■.CB'::PFx PF' : PN\ Proposition YIII. If a tangent at any point P of an ellipse he produced to meet the axis in T, and the ordinate PM be drawn, then CA win be a mean proportional between CM and CT. Fig. 12. Through P draw/Pjo || the axis ; join PF, PF'. Then since PT is the bisector of the z. FPM ; . p,j, . j,p^ prp . pp ^Qg^^ 3^ Yj_ Euclid.) = /P : Pp. Oomp. and div. F'T+ TF: F'T- TF = Pp' + Pp : Pp' - Pp, or 2CT : 2CF = 2C0 : 2CM ; .-. CTx CM= CFx CO = CA\ {Cor. 4, Prop, i.) 60 The Ellipse. [chap. ii. Cor. 1. — If the auxiliaxy circle be described, and PM produced to meet it in Q, then QT will be a tangent to the circle. For CT: CA = CA: CM; .-. CT: CQ=CQ: CM; .-. the a'CQT and CMQ are similar ; (6 VI. EuoUd.) .-. lCQT=l CMQ ^90°; .". QT is a tangent to the circle. Cor. 2. — Tangents to the ellipse and auxiliary circle, re- spectively, at the points where they are out by any ordinate to the axis, will meet the axis produced in the same point. Cor. 3. — Corresponding ordinates PM, QM, of the ellipse and auxiliary circle are in a constant ratio. Since the A JSTPT is right-angled, and PM ± NT ; .-. NMx MT= PM^- Also, since ACQTia right-angled, and QM ± CT; .-. CMx MT= QM'. Hence PM' : QM' = iVJf : CM = CB' : CA'. (Cor. 1, Prop. VII.) .-. PM:QM=CB: CA. Note. — The angle QCA is called ths excentric angle of the point P CHAP. ii.J The Ellipse. 61 Cor. 4. — The ellipse is concave towards the axis major. Fig. 13. QM : PM = AC : BC = qm : pm. {Cor. 3.) But QM : FM = sm : rm ; (Similar a'.) .■. qm : pm = sm : rm. But qm is > sm by property of the circle ; .•. pm is > rm. That is, if a perpendicular be drawn to the axis major, between the vertex A and any point P on the curve, the segment intercepted on it between the curve and the axis major is greater than the segment intercepted on it be- tween the line AP and the axis major ; and, therefore, the curve is concave towards the axis major. Proposition IX. The rectangle under the segments of the axis made by any ordinate is to the square of the ordinate in a constant ratio. (See Fig. 12.) PM' : QM' = CB' : CA\ (Prop, viii.) but QM' = A'M X MA ; (35 III. EucUd.) .-. PM' : A'M xMA = CB': CA'. 62 The Ellipse. [chap. ii. Cor. 1. — The Latus rectum is a third proportional to the axis major and axis minor. (See Fig. 12.) For (I'Y : AF x FA' = CB' : CA^ (^y : CE' = CB" : CA ; {Cor. 3, Prop, ii.) hence ' CA : CB ^ CB : '^. Cor. 2. — If from the foot of any ordinate a line be drawn parallel to the line joining the extremities of the axes, the square of the ordinate will be equal to the rect- angle under the segments of the axis minor. Fig. 14. CA' : CM} = CB' : CQ' ; (ParaUel lines.) •. CA' : CA' - CM' = CB' : CB' -CQ'; ■. CA' : AM X MA' = CB' : BQ x QB ; •. CB' : PM'= CB' -.BQxQF; PM' = BQ X QF. CHAP. II.] Ttie Ellipse. 63 Cor. 3. — If PN be a normal at point P, meeting the axis major in N, and NH a perpendicular let fall on the focal radius vector, then PH is equal to half the Latus rectum. Fig. 15. For FT : FP = PH : PN. (Similar A».) Also F'T' : F'P = PH : PN; (Similar A».) .-. FT X F'T' : FP x F'P = PH'' : PN'' CB' : FP X F'P = PH' : PN" ; (Prop, v.) but CA' : FP X F'P = GR : PN' ; {Cor. 2, Prop, vii.) .-. CA : CB= CB-.PH; .-. PH = ^ Latus rectum. {Cor. 1, Prop, ix.) Cor. 4. — The normal and the focal perpendiculars on the tangent at any point are in Harmonic proportion. Let the tangent T'T, when produced, meet the axis 'in Q. Then T'Q : QT = F'T' : FT. (Siinilar A'.) Also F'T' : FT= T'P : PT; (Similar A'.) .-. T'Q,: Q,T=T'P : PT; .-. T'Q, PQ, and fQ; and .-. F'T', NP, and FT, are in Harmonic proportion. 64 The Ellipse. [chap, il Proposition X. The locus of the intersection of any tangent to an eUipse, with the line drawn through the focus perpendicular to the radius vector drawn from the focus to the point of contact of the tangent, is the directrix. Fig. 16. Let PT be any tangent, FT A. FP. Draw TR J. F'P produced, and TO ± i^'P produced ; join TF'. The A» TFP and TEP are equal ; (26 I.B uclid.) .-. FT= rS'and PF= PS; .-. F'ff=F'P + PF = AA'. Now F'S' = FT - TH^ = FT - TF' = F'O' - OF'' = 2C0 X 2CF; .-. AA'^ = 400 X CF, or CA' = CO x OF. Hence OTia the directrix. {Cor. 4, Prop, i.) Cor. 1. — Conversely, if from any point on the directrix a tangent be drawn to an ellipse, the line joining that point to the focus is perpendicular to the radius vector drawn from the focus to the point of. contact of the tan- gent. Cor. 2. — Tangents at the extremities of a focal chord intersect on the directrix. CHAP. ii.J _ The Ellipse. 65 Proposition XI. If any chord PP' of an ellipse cut the directrix in B, and if F be the focus corresponding to the directrix on which B is situated, then FB is the external bisector of the angle PFF. Fig.. 17. Produce FFio Q ; draw Pp, P'p JL the directrix. Then P'F: PF ^ P'p' : Pp = P'B : PB; (SimHar a'.) .-. FB bisects the z PFG. (Prop. B., VI.. Euclid.) Cor. 1. — Hence, being given one focus F, and three points P, P', P", on an ellipse, we can find the directrix and the axes. For, draw FB bisecting the l between PF and P'P pro- duced : the point where this line meets P'P produced wiU be one point on the directrix. Similarly, by bisecting the external z. between PF and P"F, another point on the directrix may be found, and hence the directrix itself. Also, since the eccentricity is the ratio of PF to the perpendicular distance of P from the directrix, the axes may be found by Prop, i., and Cor. 66 The Ellipse. [chap. II. If a tangent to a curve be defined as The line joining two indefinitely near points on the curve, it will follow imme- diately from this Prop, that the right lAne drawn from the focus to the point of intersection of any tangent with the di- rectrix is perpendicular to the radms vector drawn form the focus to the point of contact of the tangent; also that the tangent makes equal /.' with the radii vectores drawn from the. foci to the point of contact. See Fig. 17. _ For, when P is indefinitely near to P', FB becomes a tangent at the point P; and the L PFP' is indefinitely small ; .-. PPQ = 180°; but I PFD = \t PFQ ; L PFD = 90°. Fig. 18. Again, PF : PF' = Pp : Pp' = PD : PD', (2, VI. Euclid.) and L PFD = z PF'D', each being 90°. Hence a PPZ) is similar to a PP'D' ; (7, VI. Euclid.) .-. lFPD^ lF'PD'. CHAP, ii.J The Ellipse. 67 Proposition XII. If two fixed points P, P', on an ellipse be joined with a third variable point 0, the segment pp', intercepted on either directrix hy the produced chords, subtends a con- stant angle at the focus corresponding to that directrix. Fig. 19. Since (by Prop, xi.) I^ is the bisector of the external z between FO and FP ; .-. LOIi) + il OFP = 90°. Also Fp' is the bisector of the external z. between FO and FP' ; .-. lOFp' + ^l OFP' = 90°; .-. L OFp + I / OFP = L OFp' + \L OFP'; .-. LOFp - L OFp' = \{L OFP' - L OFP), or LpFp' = ^l PFF, and .-. constant. Cor. 1. — Hence the anharmonio ratio of the pencil formed by joining four fixed points on an ellipse to any fifth variable point is constant. For • PFP"P"' = ■ pp'p"p"' = F- pp'p"p"'. f2 68 The Ellipse. [chap. ii. Pboposition XIII. The line joining the focus to the intersection of two tangents to an ellipse bisect the angle ■which the points of contact subtend at the focus. Fig. 20. Let QP, QP', be tangents ; join PF, PF', P'F', P'F. Produce FP tiU PR = PF', and FP' till P'R' = P'F' ; join QR, QR'. The A' QF'P' and QR'P' are equal; .-. QRf = QF'. (4, 1. Euclid.) The A» QPF' and QPR are equal ; .-. QR = QF' ; (4, I. EucM.) hence QR = QR. But FR' = FP' + P'F' = FP + PF' = FR ; hence the ^'FQR and FQR' are equal ; (8, I. Euclid.) .-. t QFR = L QFR'. Cor. 1. — It is obvious from the above demonstration that L QF'P' = L QR'P' = L QRP = L QF'P. CHAP. ii.J The Ellipse. 69 Note. — If the ordinate at any point P on an ellipse be produced to meet the Auxiliary circle in Q, then tan i PrC = J\—^ • tan i QC[F; and taniPFA =J]-^ tan * QCF. y 1 + e ^ 1 ~ e Pig. 21. Draw the tangent at the vertex meeting the tangents at P and Q in S and K respectively ; join KC, SF", SF. Let GA = a. Then i HF'C =ilPF'Cajid. l\SFA =i l PFA. (Prop, xm.) Also t_ KOA = \L QGF.\ TTA Now im.\PFC=\«D.HF'0 = — , tan \PFA = tan BFA = — , AF KA tan \ QCF = tan KCA = ; ^C tan iPF'C SA x AC PM AC CB AC ■ ■• tan^QCJ = KA^AF = QM' aF = -CA' AF' ^^'"'- ^' ^"^"P" ^"'"^ C£ " AF' -/CA^-CF^ _ ICA-OF _ l a- ae CA + CF'~SCA + CF~ '^a + ae ' .-. tan iPFC= ^\~ ■ tan \ QCF. , . ta.niPFA JSA x AC PM AC CB AC ^s^'"' t^dm = Ta7af= qm-af^- CA -AF (C-'S-P^P- V".) Cor. 1 CB -ya^ - gV ~ AF a - ae tan J PFA = a/^^ ■ tan i QCi^. tanJ ^fJ'C _ 1 -e tan i Pi^Lii ~ 1 + «■ ^[5 70 The Ellipse. [chap. ii. Cor. 2. — ^If a quadrilateral be circumscribed to an ellipse, its opposite sides subtend supplementary angles at either focus. Cor. 3. — By the aid of this Prop., also, we can draw a pair of tangents to an ellipse from any point without it. With Q as centre and QP' as radius, describe a circle ; with F as centre and a radius = the axis major, describe a circle ; the lines joining the points of intersection of these circles with F will determine the points of contact of the tangents. Proposition XIY. The angle at either focus, subtended by the segment intercepted on a variable tangent to an ellipse by two fixed tangents, is constant. Fig. 22. Let QP, QP', be the fixed tangents, BS the variable tangent ; join FP', Fit, FT, F8, FP Then iTFS = \lTFP, &\so LTFR = \lTFP' ; (Prop. XIII.) .-. ^RFS = \L FFP, and .-. constant. Cor. 1. — The anharmonic ratio of the four points in which a variable tangent to an ellipse is cut by four fixed tangents is constant. For the segments intercepted on the variable tangent subtend constant angles at the focus. CHAP. II. J The Ellipse. 71 Proposition XV. If a tangent at the extremity of any diameter CP meet the axis produced in T, then the area of the a CPT thus formed will he equal to the area of the a CAH, formed by producing the diameter CP to meet the tangent at the vertex A. Fig: 23. Draw the ordinate PM; join AP, HT. Then TC : CA = CA : CM (Prop, viii.) = CR:CP; (ParaUel lines.) .-. PAiB\\ET; (2, VI. Euclid.) .-. A PEA = A PTA ; (37, I. Euclid.) ... A CHA = A CPT. Cor. 1.— A Pilfr= trap. PMAE. Bef. — The chords which join the extremities of any diameter to any point on the curve are called supplemental chords. The axis major is sometimes called the Transverse axis, and the axis minor the Conjugate axis. Note. — Throughout the following Props. CA denotes the semi-axis major, and CB the semi-axis minor. 72 The Ellipse. [chap. ii. Proposition XVI. If an ordinate, drawn to the axis from any point P on an ellipse, be produced to meet the auxiliary circle in Q, and CQ' be drawn perpendicular to CQ, the perpendicular drawn from Q' to the axis will meet the ellipse in a point P', through which, if a diameter be drawn, it will be parallel to the tangent at P. Fig. 24. The tangent to the circle at Q will intersect the tangent to the ellipse at P on the axis. {Cor. 2, Prop, vm.) Then, since QTand Q'(7 are both j. CQ,; .-. they are parallel. Hence a' QMT and Q'TM' are similar ; .-. MT:M'C= QM: Q'M' (Similar a».) = PM : P'M'. {Cor. 3, Prop, viii.) Hence a ' PMT and P'M'C are similar ; .-. P'C is II PT. Bef. — The diameter which is parallel to the tangent at any point is said to be conjugate to the diameter which passes through that point. Cor. 1. — If we draw tangents at P' and Q', it can be similarly shown that CP is parallel to the tangent at P' : hence, if the diameter which passes through P be conju- gate to that through P ; conversely, the diameter which passes through P will be conjugate to that through P'. CHAP. ii.J The Ellipse. 73 Cor. 2. CM= Q'M', and CM' = QM. Since z M'Q^C + L M'Cq = 90°, and also L M'C(^ + /. MCQ = 90° ; .-. lM'QC=lMCQ. Hence the A » M'Q'C and Jf CQ are similar ; but CQ' = CQ ; .-. Cilf = QM', and Cilf ' = QJf. Cor. 3. Cilf' + CJf '^ = CA\ For C^' = CQ' = Ci!f' + QJf ' = CJf + OJf'^ (Cor. 2.) Cor. 4. PJf '^ + P'Jf' ^ = CB'. Since Qilf : Q'Jf ' = PM : F'M' ; (Cor. 3, Prop, viii.) .-. QM^ + Q'Jf'^ : QJr= = PM' + F'M'' : PM\ Alt. .-. C^' : PJf + Filf'' = QJf' : PM' [Cars. 2 & 3.) = CA' : CB' ; {Cor. 3, Prop, viii.) .-. PM' +P'M" = CB\ Cor. 5. — The sum of the squares of any pair of semi- conjugate diameters is equal to the sum of the squares of the semi-axes. For CM' + CM" = CA', {Cor. 2.) and PM' + F'M" = CB ; {Cor. 3.) .-. CP" + CP" = CA' + CB. Cor. 6. PM : CM' = CB : CA : : FM' : CM. For PM : QM ^ CB : CA; but QM =^ CM' ; .-. PM : CM' = CB : CA. Again F'M' : Q'if' = CB : CA; but Q'Jf' = CM; .-. P'M' ■.CM= CB: CA. Cor. 7. — The A^ CPilf and CPM' are equal in area. For PM : P'M = QM : Q'M' = CM' : CM; {Coi: 2.) .■. PMx CM = P'M' X CM'. 74 The Ellipse. [chap. ii. Proposition XVII. If QGhe an ordinate drawn to any diameter Pp from any point Q on an ellipse, cutting the transverse axis in L, QS an ordinate drawn to the axis from the same point, and produced, if necessary, to meet the diameter Pp in K; AS a tangent at the vertex : then a QL8 = trap. K8AH. Pig. 25. Draw the ordinate PM to the axis. Then CA : CS : CM = AH : SK : MP ; (Similar a'.) .-. CA + 08 : OA + CM= AH + SE : AH + MP, or A'8 : A'M= AH + 8K : AH + MP ; .-. A'8 X A8 : A'M x AM = {AH + 8K) A8 : {AH + MP) AM; . . 80': PM' = trap. K8AH : trap. PMAH; (Prop. IX.) .-.A Q8L : A PMT = trap. KSAH: trap. PMAH; (19, VI. Euclid.) but A PMT = trap. PMAH ; {Cor. 1, Prop, xv.) .-. A QSL = trap. ESAH. CHAP. II. ] The MUpse. 75 Cor. 1.— A QG'Jr=trap. TPGL. For A QSL = trap. K8AH ; .-. ' A QGK = tra.^. GLAH = iisip. TPGL. Cor. 2. — In like manner it can be shown that A GQ'K' = trap. TPGL ; .-. A GQX= ^GQ'K'; but they are also similar ; .-. GQ=GQf. Hence any diameter bisects all chords parallel to the tangents at its extremities. Proposition XVIII. If CP' be the semi-diameter conjugate to CP, QG any ordinate to CP ; then QG' : PG x Gp = CP" : CP\ For A CPT : a CGL = CP" : CG\ Division, a CPT : trap. TPGL = CP' : CP" - CG\ or A CFV : a QGK= CP" -.PGxGp; (Cor. 1, Prop, xviii.) .-. CF' : GQ' = CP' -.PGxGp, (19, VI. Euclid.) or QG' ■.PGxGp= CP" : CP\ Cor. 1. — Ordinates to any diameter at equal distances from the centre are equal. For the rectangles are the same for equal distances from the centre. Cor. 2. — The squares of the ordinates to any diameter are proportional to the rectangles under the segments of the diameter. 76 The Ellipse. [chap. ii. Proposition XIX. If a normal at any point P of an ellipse meet the axis major in N, and the axis minor in N' ; then PN : CF : : CB : CA : : CF : PN', CF being the semi-diameter conjugate to OP. Fig. 26. Since CF is || TP, the A FCM' is similar to the A PMT, and .-. simHaj to AJSTPM. (8, VI. Euclid.) .-. FC:NP= CM' : PM = QM:PM {Cor. 2, Prop, xvi.) = CA : CB. {Cor. 2, Prop, viii.) Also PN' : PN^ CM: MN. (Similar a».) = CA'' : CR ; (Prop, vii.) .-. PN' X PN : PN' = CJ' : C& = FC : PN' ; .: PN' xPN=FC'; .-. PN' iFC^FC-.PN = CA : CB. Cor. PN X PN = FCy CHAP, ir.] The Ellipse. 77 Proposition XX. The rectangle under the distances of the foci, from any point P on an ellipse, is equal to the square of the semi- diameter CP', conjugate to that passing through the point. Fig. 27. Circumscribe the A F'PF hy a circle cutting the axis minor in N' and L ; join PN' and N'F. Since CL Msects FF', and is also ± it ; .•. LN' is the diameter of the circle, and arc F'N' = arc FN' ; .-. L F'PN' = I FPN'. (26, III. Euclid.) Also L PF'JSf = z PN'F; hence the 2^' F'PN and N'PF are similar ; .■. F'P:PN=N'P:PF; .-. F'PxPF=PNxN'P = 0P'\ {Oor. 1, Prop. XIX.) Cor. L—PN" = PN' X PN - N'N x NP (3, II. Euclid.) = CF' - F'N X NF. 78 The Ellipse. [chap. it. Otherwise thus : — 2CA = PF+PF'; .-. 4:CA' = PF' + PF^ + 2PF X PF' (4, II. EucHd.) = 2CP' + 201" + 2PFx PF' ; .-. PFxPF' = 2CA' - CF' - CP' = CA' + CB' - CP" {Cor. 3, Prop, ii.) = CP' + OF' - GF [Cor. 3, Prop, xvi.) = CF^ Cor. 2. — Since PN' bisects the lFPF' it is a normal, and .". Pi, which is J. PiV', is a tangent. Hence the circle which passes through the foci, and any point P on the ellipse, passes also through the points in which the tangent and normal at P intersect the axis minor. Cor. 3. — If K he the foot of the perpendicular let fall from N' on either PF' or PP produced, then PK = \ {PF + PF) = semi-axis major. This follows immediately from the well-known properties of the triangle FPF', and its circumscribing circle. (See Geometrical Gymnasium, Exercise 179, Galbraith and Haughton's Manual of Euclid, books i., ii., iii.) Cor. 4. — If K' be the foot of the perpendicular let fall from L on PF', then F'E' = ^ [PF + PF') = semi-axis major. Also if K" be the foot of the perpendicular let fall from L on FP produced, then FK" = | {PF + PF) = semi-axis major. (See as in Cor. 3.) Cor. 5. CA' : CB' ^PF xPF: PN' {Cor. 2, Prop, vii.) = CF' : PN' ; .-. CA: CB= CF : PN. CHAP. ii.J The Ellipse. 79 Proposition XXI. If CK be a perpendicular let fall from the centre on a tangent to an ellipse at any poiat P, and CP' the semi- diameter conjugate to CP, then CK : CA :: CB : CP'. Fig. 28. Draw FT, F'T' i. the tangent at P. Since the A" FPT and F'PT' are similar ; .-. FP.F'P^FT.FT'; =:FP + F'P:FT+F'T' = CA : CK; . pp X p'p : FT X F'T' = CA' : CK ; but FP X F'P = CP", (Prop. XX.) and FT x F'T' = BC ; (Prop, v.) .-. CP" :BC'= CA': CK' ; .- CP' :BC= CA: CK. Cor. — The area of the triangle formed by joining the extremities of any pair of conjugate semi-diameters is constant. For CP' X CK^CBx CA; .-. area of a P'CP = area of a BCA, and .-. constant. 80 The Ellipse. ■ • [chap. ii. Proposition XXII. If two ohords of an ellipse intersect one another, tte rectangles under the segments are proportional to the squares of the parallel semi-diameters. Fig. 29. Let FP' be any chord drawn through 0, and CE the parallel semi-diameter. Draw the ordinates PM, P'M', PN to the axis, and produce them to meet the auxiliary circle in Q, Q', S. Then PM : FM' = QM : Q'M' ; {Cor. 2, Prop, viii.) .•. PP' and QQ', if produced, will meet the axis produced in the same point T. Through draw ffOL J. the axis. Again JSfC: MT^RN: FM' (Sinular a'.) = 8N : Q'M' ; {Cor. 3, Prop, viii.) .-. SC is II QT; hence a SCR is similar to a Q'TF. Now OF:OrQr = FT: Q'T, (ParaUel Unes.) and OP '.aO, -'FT: QT; .: OPx OF : 0Qx GQ^ = FT^ : Q'T' = RC' : C8\ Alt. OPx OF : CR' = CQ X CQ' : CS\ CHAP. II.J The Ellipse. 81 Similarly, if any other chord pp be drawn through 0, and the ordinates pm, p'm' produced to meet the auxiliary circle in g', g^ : then, since OL:aL = CB: CA = pm : qm =p'm' : q'm' ; {Cor. 3, Prop, viii.) .•. the chord qcf will pass through Cf ; and if Cr he the semi-diameter parallel to pp', then Op >i Op' : Cr" = (/q X ffq' : CAK But aO, X O'Q' = Cg X aq' ; (35, III. EucHd.) hence OP ^ OF : Op x Op' = CR^ : Cr\ {See Note, page 83.) Otherwise thus : — Fig. 30. Fig. 31. Let PP' he any chord drawn through the point 0, and CR the parallel semi-diameter, OK the semi-diameter conjugate to CR; draw the diameter through 0, meeting the curve in j8 ; draw 8M an ordinate to vR', and Sw, PN' ordinates to CR. Then jSC" - CN'^ : RC - CM" = PN" : 8M'^ ; [Cor. 2, Prop, xviii.) .-. RC - PN' : RC - SW = CN' : CM^ ^ON': 8M'. Alt. RC - PN' : ON' = RC - SM' : 8M'. Comp. RC - PN + ON' : ON' = RC : 8M'. 82 The Ellipse. iciiw. m Alt. RC^ -POx or : BC = ON' : SM' = OC : CS\ Div. POx OF : HO' = C8' - OC : CS' = SOx OS' : C8\ If pp' be any other chord drawn through 0, and Cr the parallel semi-diameter ; then pO X Op' : Cr' = 80 x 08' : C8\ Hence POxOF -.pOx Op' = C^* : Cr". Cor. 1. — The rectangle under the segments of any diameter made by an ordinate is to the square of the ordinate as the square of the semi-diameter is to the square of itg^ semi-conjugates This follows by supposing one of the chords to pass through the centre, and the other parallel to the tangent at its extremity. Ctir. 2.— If be without the ellipse, and P, F coincide, also jo, pf ; then the tangents to an ellipse from any point without it are proportional to the parallel semi-diameters. Cor. Z.—rli two parallel tangents OP, OF, be met by any third tangent, OO ; then OP : ffF = OQ : OQ. Fig. 32. For OP-.OQ^CE: Cr = (/P' : O'Q. (Co/'. 2.) CHAP. II. J The Ellipse. 83 Cor. 4. — If from a point without an ellipse a secant and also a tangent be drawn, the rectangle under the whole secant and its external segment is to the square of the tangent as the squares of the parallel semi-diameters. Note. — If for 0, ff, L, we read o, o', I, the demonstration, page 80, will apply to the case when the point in which the chords intersect lies without the ellipse. Proposition XXIII. If from a point without an ellipse two tangents OP, OR be d;rawn, any Une AQ' drawn parallel to either will be out by the curve and chord of contact of the tangents in Geometric proportion. Fig. 33. Draw the semi-diameters CE and CD \\ OP and OR respectively. Then AQ x AQ : AP^ = CD"- : CE' {Cor. 4, Prop, xxii.) = OE" : OP' {Cor. 2, Prop, xxii.) = AB' : AP' ; (Parallel Hues.) .-. AQ X AQ' = AB\ g2 84 The Ellipse. [chap. ii. Cor. — If ^Q' be a tangent : then^Q = AB. ■ That is, if two parallel tangents to an ellipse be cut by any third tangent, the segment intercepted on either of the parallel tangents, between the chord of contact of the other two and the curve, is bisected by the non-parallel tangent. Peoposition XXIV. If a circle intersect an ellipse in four points, the common chords will be equally inclined to the axis. Fig. 34. Let PP', QQ Ipe the common chords intersecting in 0. Draw the Semi-diameters CB, C8 || PP', QQf respec- tively. Then OP ^ OP' : OQ ^ OQl = CR^ : 08' ; (Prop. XXII.) but OP X or = OQ X OQf ; (35, III Euclid.) .■.CB=C8. Hence CB and 08, and .•. OP and OQ', are equally inclined to the axis. {Cor. 1, Prop, i.) Cor. 1. — In like manner it can be shown that PQ and P'Q, also PQ[ and P'Q are equally inclined to the axis. CHAP. ii.J The Ellipse. 85 Proposition XXY. If a tangent to an ellipse at any point P meet any diameter AA' produced in T, and the ordinate PM be drawn ; then CA is a mean proportional between CM and CT. Fig. 35. Draw tangents at A and A', meeting the tangent at P in G and H. Then A'T : TA = A'H -.AG; (Parallel lines.) and A'M : MA = HP : PG; but A'E:AG = HP:PG; {Cor. 3, Prop, xxii.) .-. A'T: TA = A'M:MA; hence CMxCT=CA\ Cor. 1. — Conversely, if PM be an ordinate to any diameter AA', and CT be taken a third proportional to CM and CA ; then PT will be a tangent to the ellipse. Cor. 2. — The tangents at the extremities of any double ordinate iatersect on the diameter corresponding to that ordinate. Cor. 3. — If a diameter be drawn through the inter- section of two tangents to an ellipae, it will bisect the chord of contact. 86 The Ellipse. [chap. II. Proposition XXVI. If a variable tangent to an ellipse meet two fixed parallel tangents, it mil intercept segments on them whose rectangle is constant, and equal to the square of the parallel semi-diameter. (See Fig. 35.) Let GPH be the variable tangent meeting the fixed tangents AG, A'Hin the points G, H. Draw PE an ordinate to BC. (Prop. XXV.) Then CT : CA = CA : CM. Division CT:TA^CA: AM. Alt. CT:CA=TA: AM. Comp. CT : TA' = TA : TM; .-. CD : A'H=AG : PM; (Similar a».) .-. A'SxAG= CDxPM = CBxCE=C£'. (Prop. XXV.) Cor. 1. — ^The rectangle under the segments of the variable tangent is equal to the square of the semi- diameter CQ drawn parallel to it. For A'S :HP=CB:CQ = AG:PG; {Cor. 3, Prop, xxii.) .-. A'H xAG:HPxPG= GB^ : CQ\ But A'HxAG^ GB'; .-. HP X PG = CQ\ CHAP. ii.J The Ellipse. 87 Cor. 2. — Any tangent to an ellipse ■will be cut harmoni- cally by two parallel tangents and the diameter passing through their points of contact. For MT: TG = A'H : AG (Similar a'.)' = HP : PG. {Cor. 3, ftop. XXII.) Cor. 3. — If two parallel tangents AC, BF, be cut by any two other tangents EF, CB ; then AE : BD = EG : OF = CO : CD. Fig. 36. For CA X BD = AE X BF; (Prop, xxvi.) .-. AE:AC=BD:BF; . . AE:AC-AE = BD:BF- BD. Alt. AE: BD = EC: DF = EO : OF, 01= CO: OD. Cor. 4.— The lines joining F with C, and D with E, would, if produced, intersect on the diameter BA pro- duced. 88 The Ellipse. [chap. II. Proposition XXVII. The triangles CPT and GAK, formed by drawing tan- gents at the extremities of any two semi-diameters of an ellipse, are equal in area. Pig. 37. Draw the ordinate TM. Then TC : CA = CA : CM. = CK: CP; .-. KT is UFA; .: A PTA = A PKA ; .-. A CPT = A CAK. (Prop. XXV.) (Parallel lines.) (37, I. EucM.) Cor. 1. — If the ordinate AN be drawn from A to the semi-diameter CP, then the area of the a CMP = area of A CAN. For ^iVisllPT; .-. TC:CA = PC : CN; hence CA : CM = PC : CN; .-. MN'vs, II PA; .: A NPM= A NAM; (37, I. Euclid.) • ■. A CMP = A CAN. CHAP. H. The EUime. 89 Proposition XXVIII. If from the extremities of any two conjugate diameters CP, CQ, the ordinates PM, QJ!^ he drawn to any other diameter CA ; then CN' = AM X MA', and CM' = AN x NA'. Fig. 38. Mr : OZV' = MP' : QN' (Similar a».) = MA X MA' : NA x NA'. [Cor. 2, Prop, xviii.) But MA X ilf^' = ^C" - CM' (6, II. Euclid.) = TCxCM- CM' (Prop, xxv.) = Cif X if T ; .-. MT' : CN' = CMx MT: AN x NA!. Alt. Jf 2" :CMxMT== CN' : CA' - CN' ; (5, II. EucM.) .-. MT: CM=- CN' : CA' - CN'- Comp. MT;CT = CN' : CA' ; .-. CM X MT : CM X CT = CN' : CA'. 90 The Ellipse. [chap. ii. But CMxCT^CA'; (Prop, xxv.) •. CN" = CMx MT= AM x MA'. In like manner it can Tae proved that CM^ = ^JVx NA'. Cor. 1.— CM' + CN^ = CA'^ For CM' + CN' = AN x JSTA' + AM x MA' = CA' - CN' + CA^ - CM' ; (5, II. Euclid.) .■.2CM' + 2CJV'='2CA'; or, CM' + CN' = CA'. Cor. 2.—PM' + QN' = BC, BC being the semi- diameter conjugate to CA. For CW : CA' = PM' : AM x MA' or CN' ; (Prop. XVIII.) also, CB' : CA' = QN' : AN x NA' or CM' ; .-.CB': CA' = PM' + QN' : CN' + CM'. But CA' =CN'.+ CM', .: CB' = PM' + QN\ Cor. 3.—CA ■.CB=CM.QN=CN : PM. For CA' : CB' = AM x MA', or CN' : PM' = ANx NA', or CM' : QN' ; .: CA: CB=CN:PM=CM: QN. Cor. 4.— The a CMP is = a CNQ in area. Produce QiVto Q'. Then QiV= Q'iV^; .-. CN: CM= PM : Q'iV; (Cor. 3.) .-. aCMP= aCNQ'= aCNQ. (15, VI. Euclid.) CHAP. ii.J The Ellipse. 91 Proposition XXIX. If any tangent to an ellipse meet any two conjugate diameters CP, CQ, the rectangle under its segments is equal to the square of the parallel semi-diameter. Fig, 39. Draw the ordinates, PM, QK, to the diameter passing through the point of contact of the tangent. Then CM : PM = CA : AT' ; (Similar A».) .-. CMxAT' = PMx CA = CB X CN; {Cor. 3, Prop, xxviii.) .-. CM : CN = CB: AT'. Again, CN : NQ^CA.AT; (Similar A'.) .-. CN X AT=CA xNQ = CB X CM; {Cor. 3, Prop, xxviii.) .•. CM : CN =AT: CB; 92 The Ellipse. hence CB : AT' = AT : CB; .: AT X AT' = CB". Otherwise thus : — [chap. n. Fig. 40. Draw PM, QM' ordinates to CA, and PN an ordinate to CB. Then C8 x CM' = CA' ^CMx CT; (Prop, xxv.) .-. CS : CT = CM : CM'. But C8 : CT = CQ: PT; (Similar A'.) .-. GQ: PT=CM: CM' = PN : CM' = PT' : CQ ; PTxPT'= CQ\ (Similar A'.) Cor. — Conversely, if on any tangent segments AT, AT' be measured from the point of contact whose rect- angle is equal to the square of the parallel semi-diameter, then the diameters drawn through T and T' will be con- jugate. CHAP. 11. J The Ellipse. 93 Peoposition XXX. t ' Given in magnitude and position any two conjugate semi-diameters CA', CiB, of an ellipse, to find the axes. Fig. 41. On Ci5' produced take BD a third proportional to CS and CA ; bisect GB in H; draw KO -L GB to meet BO drawn {| CA! \ with the centre and radius OC describe a circle cutting B!0 produced in T and T'\ join GT, Cr. Draw FM and BfN \\ GT and GT respec- tively. Take CA a mean proportional between GT and GM\ also GB a mean proportional between GT' and GN. Then (Li and GB are the semi-axes. For GA'' ^CBT ^B'D (Const.) = r^ X ^r ; (35, III. EucM.) .•. CA and C5 are conjugate diameters ; [Cor., Prop. XXIX.) but L TGT' = 90° ; hence CA and CB are the semi-axes. 94 The Ellipse. [chap. II. Proposition XXXI. If a straight line cut two tangents TP, TQ to an ellipse in the points A, A', the curve in B, B', and the chord of contact in ; then A(P : A'(y ^AB yAB': A'B x A'F. Fig,42, Fig. 43. Draw AM \\ TQ ; also the semi-diameters CH, CK, and CL II TP, TQ and AA', respectiTely. Then AO'-.A'O'^ AJSP : A'Q' (ParaUellines.) I AM' : AP" ( AP' : A'Q' ( TQ" : TP' ( AP" : A'Q' (Similar A'.) ( CK' : CH' \ ( AP' : A'Q' ) {Co7'. 2, Prop. XXII.) f CK' : CL' CL' : CH' AP' : A'Q' CHAP. II.J The Ellipse. 95 A'Q' : A'B X A'B' A£ xAB' : AP' AF'iA'Q'; {Cor. 4, Prop, xxii.) AO' : A'O' = ABxAB': A'B x A'B'. Proposition XXXII. If any line T8 be drawn parallel to the chord of contact of the tangents to an ellipse, the segments AT, B8 inter- cepted between the curve and the tangents will be equal. Pig. 44. Draw the diameter bisecting the parallel chords PQ, AB. This diameter will pass through 0. {Cor. 2, Prop, xxv.) Then, since PM=MQ, but , TJ}f=NS AN^NB .AT=BS. 96 The Ellipse. [chap. ii. Proposition XXXIII. Any line OB, drawn through the intersection of two tangents to an ellipse, is cut harmonically by the curve and the chord of contact of the tangents. Fig. 46. Through! B and ^ draw T8 and T'& \\ PQ, the chord of contact of the tangents. Then TF^ : T'F^ = TB x TA : T'B' x T'A'; {Cor. 4, Prop, xxii.) but TB = A8, and T'F = A' 8' ; (Prop, xxxii.) . yp2 . rp'p2 = TBx B8: TB' x B'8' = OB' : OB" ; (Similar a».) but TP : T'P = O'B : O'B' ; (Parallel Hnes.) hence OB : OB' = OB : OB. Cor. — If through any point without an ellipse a line be drawn cutting the curve in B, S, and 0O\>q taken equal to the harmonic mean between OB and OB!, the locus of 0' is a straight line ; namely, the chord of contact of the tangents drawn from 0. CHAP. n.J The Ellipse. 97 Proposition XXXIV. Any line drawn through the middle point of the chord of contact of two tangents to an ellipse, will be cut har- monically by the curv.e, and the line drawn through the intersection of the tangents parallel to their chord of contact. Fig. 46. Let TP, TQ be tangents, BB' any chord drawn through 0', the middle point of PQ, and meeting the line drawn through T \\ PQ in 0. Through B" draw B'B" || PQ ; join rC. Then TC will pass through 0'. {Cor. 3, Prop, xxv.) i B"M : (XT' ) T}"M ■ B"B' ^)^ -^ ■ ^ ^ [ B m.Ji Ji (OT : B"B' ) = ^2" • BJff' 1 (Similar a'.) = B"T X BT' : TT x BB". But TT X BB" = 2B"T x BT' ; .-. B'ff' = 2B"M ; .'. B'M is an ordinate, and B' a point on the curve. , „ ^ Now PT : TB" = BT' : T'B" ; (Prop, xxxiii.) .-. BO : OB' = B(y : &B'. (Parallel lines.) H 98 The Ellipse. [chap. ii. Otherwise thus :— Let TP, TQ be tangents, ££' any chord drawn through O', the middle point of PQ, and produced to meet the line drawn through T\\ PQ in 0; join OC, TO ; then (Cor. 3, Prop, xxv.) TC will pass through C. Draw i2iV a tangent a,t B, BM || QP, and .■. an ordinate to CT' ; through a draw BE || ^iV. Fig. 47. Then, CT x Off ^ CA' =CNxCM; (Prop, xxv.) . . CT: OM =CN: CO' ; .-. 00: OR =CR: OH; (ParaUel lines.) .-. the tangents atX) and E will intersect at ; (Prop, xxv.) and>enoe BO : OB' = Bff : OB. (Prop. XXXIII.) Cor. 1. — ^If through any point Of within an ellipse any line be drawn cutting the curve in B, B', and be taken the harmonic conjugate to C with regard to B and B, the locus of is a straight line. Cor. 2. — If from tangents be drawn to the ellipse, the chord of contact will pass through ff. For (Prop, xxxiii.) the chord of contact must divide :the line OB harmonically. CHAP. II. The Ellipse. 99 Proposition XXXV. If through any point P on an ellipse lines FOG, QfPQ be drawn parallel to any two adjacent sides J) A, DC oi an insoribed quadrilateral, meeting the opposite sides in 0, 0', and Q, Q'; then PO x P(/ : PQ x PQ! in a con- stant ratio. Fig. 48. Through B and C draw BE and CG \\ AD ; join AG, and produce it to meet EB produced in H; draw the diameter iV!MB bisecting the parallel chords AD, GO, BE. Then MR = RlK', (Parallel lines.) hence BH=EE Now OL:EB = LA: AH = O'D : DK. Alt. OLiffD^HB: DK. Also P'O 01 : SO: Q8 = BK:KC. (Similar a'.) Compounding, OL xPG : 0'i)x Q8 = SBxBK: DKxKC; h2 100 The ElUpse. [chap. ii. .-. OLxPa -.Pi^ X Q8 = I!KxBK:l)Kx KC = avx (yp-.acxffi) = PLx ap.psxpq-, .-. oLxpa + PLxpa.pq xQ8+P8xPQ = EKxBK:DKxKO, or PO X PO' : PQ X PQf = UK X BK : BK x KC. Now it is evident that the points A, B, G, D, teing fixed, E is also fixed, and .•. EK X BK : DK x KG in a constant ratio ; .•. PO X PPF' -PF; but PF' -PF^ AA' ; .-. QF' -QF> AA'. i2 116 The Hyperbola. [chap. hi. Next, let Q' be on the convex side. Join QF, <^F' ; produce QF' to meet the curve in P ; join PF. Then F'Qf = F'F - PQf, and ^F> PF~PQ; {Cor., 20, I. Euclid.); .-. ^F'-&F F'P - PL (Cor., 20, 1. Euclid.) > F'P - PF > AA' ; (Prop, n.) .-. F'Q - QL or F'Q -QF> AA' ; .■. Q is a point on the concave side of the curve. {Cor. 3, Prop, ii.) 118 The Hyperbola. [chap. hi. Cor. 1. — Hence the Una which bisects the angle between lines drawn from any point on a hyperbola to the foci is a tangent. Cor. 2. — The tangent at the vertex is perpendicular to the axis. Cor. 3. — The normal to a hyperbola at any point bisects the external angle between the focal radii vectores drawn to the point. Proposition IV. The locus of the foot of the perpendicular let fall from either focus on any tangent to a liyperbola is a circle described on the transverse axis as diameter. Fig. 6. Let PT be any tangent, and FT a perpendicular let fall from the focus. Produce FT to meet F'P in R ; join TC. Then the a» FTF and BTF are equal ; (26, 1. Euclid.) .-. FT= TR. Now, in A F'FR, F'F is bisected in C, and FR in T; CHAP. iii.J The Hyperbola. 1 19 .-. CT=\FR = l{F'P-PR) = ^{F'P-PF) = i AA' (Prop. 11.) = CA. Hence the locus of T is a circle described with the centre C and radius CA. Cor. 1. — If the vertex of a right angle FTL move along a fixed circle, while one leg passes through a fixed point F without that circle, the other leg wiU always touch a hyperbola. Draw the diameter of the circle passing through F; cut off CF' = CF; produce J'T till TR^ TF; join F'R, and produce it to meet TL in P ; then P is the point at which TL wiU touch the hyperbola. Join FP, CT. Then the a' FTP and RTP are equal ; (4, 1. Euclid.) .-. FP = RP. Also, since FT = TR and FC = CF' ; .-. CT \\ F'R and = ^ F'R; ... PF' - PF = PF' - PR = F'R = 2CT = 2CA; hence P is a point on the hyperbola of which F and F' are the foci, and AA' the transverse axis. 120 The Hyperbola.. [chap. ni. Cor. 2. — If FT become a tangent to the circle, then CT will be i. FT, iand .•. in directum with TL ; and .•. F'R, which is II CT, will meet TL at infinity ; heno e CL is an asymptote to the curve. Fig. 7. If FT' be the other tangent to the circle drawn from F, then CT' will also be an asymptote. Cor. 3.— If TO be drawn J. the axis, then TO is the directrix. For CFxCO= CA' ; (8, VI. EucM.) .■. is a point on the directrix. • {Cor. 4, Prop, i.) Cor. 4. — If AR be drawn ± CF, meeting CL in H, and SB be drawn || CF, meeting CB drawn J. CF in B, then CB is the semi-conjugate axis. For the a" CFT and CHA are equal ; (26, I. Euclid.) .-. TF =AH=CB; ... CB' = FT' = FA X FA'. (36, III. Euclid.) CHAP. III.] The Hyperbola. 121 Hence the point B, together with the corresponding point B^, obviously correspond to the extremities of the axis minor in the Ellipse. (See Cor. 3, Prop, ii., page 51.) Cor. 5. CF'' =. CA' + CR. For CJf' = CH^ = CA^ + AH^ = CA^ + CW. Cor. 6.— If we cut off ^and Cf each = CF or CE, and consider/, /' the foci, and BW the transverse axis of a hyperbola, then AA' will be its conjugate axis. For the square of its semi-conjugate axis = Cr- CW {Cor. 5.) = CH' - AH' = CA\ The hyperbola described with BB" as the transverse axis, and /, /' as foci, is called the hyperbola conjugate to the original hyperbola. Cor. 7. — The Unes joining the extremities of the axes are bisected by one asymptote and parallel to the other. For CASB is a rectangle ; .'. AB is bisected by CM. Also, CB^AH= AH' and CB \\ AS' ; .-. ^J5 II CS'. (33, 1. Euclid.) Cor. 8. — The perpendicular from the focus on either asymptote is equal to the semi-conjugate axis. For A CAH= A CTF; (26, I. EucM.) .■.ft=ab:=cb. Note. — When the axis only is mentioned it is always understood to be the transverse axis. 122 The Hyperbola,. [chap. m. Proposition V. The distance of any point P on the curve from the focus J^is equal to the length of the line Pq drawn from the point parallel to an asymptote to meet the directrix. Pig. 8. On the transverse axis as diameter describe a circle. Draw the tangent i^T; join CT, and draw TO J. CF. Then OT is the directrix, and CT an asymptote. {Cors. 2 & 3, Prop, iv.) Also Pq.Pp = CT: 00 (Similar a».) = CA:CO = PF : Pp. {Cor. 3, Prop, i.) Hence, PF^Pq. Cor. — Hence, being given the eccentricity of a hy- perbola, we can find the angle between the asymptotes. For CT:CO = Pq: Pp (Similar a».) = PF: Pp = £ : 1. Now in the A CTO we know L&t = 90° ; also the ratio of the sides {CT : CO) ; hence the / TOO, or half the L between the asymptotes, is known. CHAP. III. J The Hyperbola. 123 Proposition VI. The rectangle under the focal perpendiculars on any- tangent to a hyperbola is equal to the square of the semi- conjugate axis. rig- 9- Let FT, F'T', be perpendiculars from the foci on the tangent at any point P- Join TC, and produce it to meet F'T' in S. Then the a » FCT and F'CS are equal ; (26, 1. EucM.) .-. F'S = FT, and CS=CT=CA; (Prop, iv.) .•. S is a point on the auxiliary circle ; .-. A'F' X F'A = F'T' X F'8 (35, III. Euclid.) = F'T' X FT; .-. F'C - CA" = F'T' X FT, (5, II. Euclid.) or ' BO' = F'T' X FT. {Cor. 5, Prop, iv.) 124 The Hyperbola. [chap. m. Proposition VII. The locus of the intersection of tangents to a hyperbola which out at right angles is a circle. Fig. 10. Describe the auxiliary circle cutting the tangent QP in T and T', and the tangent QF in H and H'. Join FH, FT, FH', FT', QP; produce ^JC to meet the auxiHary circle in K and L. ' Then FT,. F'T, are ± Qi*, and .-. || QP' ; (Prop. IV.) and FH, F'H' 1. QF ; (Prop, iv.) hence F'T' = QH, and FT= QH. (34, I. EucM.) Now CQ' = CL^ -KQx QL (5, II. Euclid.) = CL' - QH' X QH (35, III. EucM.) = CA' - FT X F'T' = CA' - BG\ (Prop. V.) Hence the locus of Q is a circle described with the centre C, and is called the director circle of the hyperbola. CHAP. III. The Hyperbola. 125 Pboposition VIII. If PiVbe a normal at any point P on a hyperbola, and PM an ordinate to the transverse axis ; then CA": CF':: CM: ON. Fig. 11. Join PF, PF' ; draw Ppp' || the axis, meeting the directrices in p, p'. Since PN bisects the external z between PF and PF' ; {Cor. 3, Prop, iii.) .-. F'N:NF=PF':PF (Prop. B., VI. Euclid.) = Pp' : Pp. Comp. F'N+ NF : F'N- NF = Pp' + Pp : Pp' - Pp ; .-. 2CN:2CF=2CM:2CO. Alt. CN:CM=CF:CO = CF' : CF X CO = CF' : CA\ {Cor. 4, Prop, i.) Cor. CM : MN = CA' : CE". For CM:CN-CM= CA' : CF' - CA' ; or CM:MN=CA':CB'. {Cor. 4, Prop, iv.) 126 The Hyperbola. [chap. III. Proposition IX. If a tangent at any point P of a hyperbola be produced to meet the axis in T, and the ordinate PM be drawn ; then CA will be a mean proportional between CM and OT. or Fig. 12. Through P draw Ppp' \\ to the axis ; join PF, PF'. Then, since PT is the bisector of the z F'PF; {Cor. 1, Prop, ni.) .-. F'T.TF= F'P : PF (3, YI. Euclid.) = Pp' : Pp. Comp. and div. F'T+ TF: F'T -TF= Pp' + Pp : Pp' - Pp ; 2CF:2CT=2CM:2CO; .-. CTx CM= CFx CO = CA\ {Cor. 4, Prop, i.) Cor. 1. — If the auxiliary circle be described, and TQ drawn ± the axis ; then QM is a tangent to the circle. Join CQ. Since CT : CA = CA : CM; . CT:OQ=CQ: CM; .-. the a' CQT and CMQ are similar ; (6, VI. Euclid.) .-. L CQM^L CTQ ; .-. QM is a tangent. CHAP, in.] The Hyperbola. 127 Cor. 2. — If from the foot of any ordinate of a hyper- bola a tangent be drawn to the auxiliary circle, this tangent is to the ordinate in a constant ratio. Draw the normal FN. Then, since the a TFN\s. right-angled, and FM j. TN\ .-. TMy.MN=FM\ (8, VI. Euclid. ) Also, since a CQM\s, right-angled, and QT _L CM; :. CMxTM= QW Hence QM' : FM^ = CM : MN = CA' : CB' ; {Cor., Prop, vni.) .-. QM:FM=CA: CB. Cor. 3. — If QA be drawn and produced to meet FM produced in K, then ME'' MQ, and FM: MK = CB : CA. Fig. 13. 128 The Hyperbola. [chap. hi. For L MQA = z QA'A (32, III. EudM.) = I AQT (13, VI. Euclid.): - L ARM; .-. MK=MQ; Also PM:QM=CB:CA; .-. PM-.MK^ CB: CA. Cor. 4. — The curve is concave towards the transverse axis. (See Fig. 13.) Draw any, line, perpendicular to the axis between the vertex A and the point P ; let it meet the curve in jo, A.P in S, the axis in m, and QA produced in r. From m draw the tangent mq to the aiixiliary circle ; draw qn i to the axis ; join np ; produce qA to meet pr produced in A. Then PM : MK= CB : CA =pm : mk ; {Cor. 2.) but PM : MK = sm : rm ; (Similar A'.) .•. pm : mk = sm : rm. Alt. pm : sm^ mk : rm = qn : vn; but qn is > vn by property of the circle ; .". pm is > sm. That is, if a perpendicular be drawn to the transverse axis produced, between the vertex A and any point P on the branch of the curve of which A is the vertex, the segment intercepted on it between the curve and the transverse axis is greater than the segment intercepted on it between the line AP and the transverse axis; and, therefore, the curve is concave towards the transverse axis. CHAP, ni.] The Hyperbola. 129 Proposition X. The rectangle under the segments of the axis made by any ordinate is to the square of the ordinate in a constant ratio. See Fig. 12. For PJf » : QM^ = CE" : CA' ; {Cor. 2, Prop, ix.) but QM^ = MAx MA' ; (36, III. Euclid.) .-. PM^ : MA X MA' = CE" : CA\ Cor. 1. — The Latus rectum is a third proportional to the transverse and conjugate axes. ^\' :AFxFA'= CE: CA'; ■■•©■ : CE = CB' : CA\ Hence CA ■.CB=CB:^. {Cor. 4, Prop.' iv.) Cor. 2. CR = CM' X cr. For CM' CM' - CA' PM' Fig. Hv CA'=CM:CT; (Prop, ix.) CA'= CM- CT: CT. CE = TM: CT (Prop, x.) '^PM: CT (Similar a'.) = PM' : PM X CT' ; CB' = CM' X CT'. K 130 The Hyperbola. [chap. hi. Peoposition XI. The locus of the intersection of any tangent to a hyper- bola, with the line drawn through the focus perpendicular to the radius vector drawn from the focus to the point of contact of the tangent, is the directrix. Fig. 15. Let PT be any tangent, and FT J. FP. Draw TH ± PF', and TO 1. the axis. The a' PFT and PET are equal. (26, I. Euclid.) .-. FT = TH, and PH = PF; .■ . F'H = F'P -PH= F'P -PF= AA'. (Prop. II.) Now F'm = F'T"^ - TH^ (47, I. Euclid.) = F'T^ - TF^ = F'O" - OF^ ; .-. AA'^ = ACF X CO ; {Cor. 6, II. BuoUd.) .-. CA^^CFx CO. Hence OT is the directrix. (Cor. 4, Prop, i.) Cor. — Conversely, if from any point on the directrix a tangent be drawn to a hyperbola, the line joining that point to the focus is perpendicular to the radius vector drawn from the focus to the point of contact of the tangent. xIAP, III.J The Hyperbola. 131 Proposition XII. If any chord PP' of a hyperbola cut the directrix in D, and if JF* be the focus corresponding to the directrix, on which D is situated ; then FD is the external bisector of the LPPr. Fig. 16. Draw Pp, P'p' ± the directrix ; produce P'F. Then PF.Pp =FF: Pp'. Alt. PF:PF=Pp:Fp' ^PB-.TJ); (Similar A'.) .-. FD bisects the /.PFQ. (Prop, b., TI. Euclid.) Cor. 1. — Hence, being given one focus F, and three points P, P', P", on a hyperbola, we can find the direc- trix and axes. For, draw FI) bisecting the angle between PF and P'F produced ; the point where this fine meets P'P produced wiU be one point on the directrix. Similarly, by bisecting the angle between PF&ni P"i^ produced, another point on the directrix may be found ; and hence the directrix and axes. k2 132 The Hyperbola. [chap. hi. If a tangent be defined as the line joining two indefi- nitely near points on the ciirve, it will follow immediately from the proposition that the right line drawn from the focus to the point of intersection of any tangent with the directrix is perpendicular to the radius vector drawn from the focus to the point of contact of the tangent ; also, that the tangent bisects the angle between the radii vectores drawn from the foci to the point of contact. For when P is indefinitely near to F, PD becomes a tangent at the point P, and the I PPP is indefinitely small (see Fig. 16) ; .-. I PFQ = 180°, but lPFD^^lPFQ; .-. I PFD =90°. Also (see Fig. 17), Fig. 17. , PF-.P'F' = Pp:Pp' = PB : Pjy, (Similar a~.) and / PFL = PF'K, each being 90°; .-.A PFB is similar to A PFIf; hence l FPD = z F'PI/. CHAP. III.] The Hyperhota. 133 Proposition XIII. If two fixed points, P, P', on a hyperbola be joined with a third variable point 0, the segment pp' intercepted on either directrix by the produced chords subtend a con- stant angle' at the focus corresponding to that directrix. Fig. 18. Since Fp is the external bisector of the L PFO ; (Prop. XII.) .-. i.OFp-,\LOFP = m°. Also Fp' is the external bisector of the L OFP' ; (Prop-. XII.) .-. lOF^' + \lOFF = Q0°; .-. L OFp + \tOFP = L OFp' + lL OFF ; .-. LOFp-L OFp' = i (z OFF - L OFP) or LpFp' ^\L PFF, and .•. constant. Cor. — The anharmonic ratio of the pencil formed by joining four fixed points on a hyperbola to any fifth variable point is constant. For . PFF'F" = . pp'fp'" = F . pp'p'p'". 134 The Hyperbola. [chap. hi. Proposition XIV. The line joining the focus to the intersection of two tangents to a hyperbola bisects the angle which the points of contact subtend at the focus. Fig. 19. Let QP, OF be tangents; join PF, PF', FF, FF. Cut off PR = PF, and FR = FF; join Q with R, F, F,F'. Then the a» QFP and QRP are equal ; (4, 1. Euclid.) •. QR = QF. Again, the a' QFF and QR'F are equal ; (4, 1. Euclid.) .-. QR'= QF; hence QR = QR' ; but F'R=^F'P-PR = F'P-PF = FF'-FF (Prop. XI. j = FF'-FR' = F'R'. Hence the a'RF'Q and R'F'Q are equal ; (8, 1. Euclid.) .-. iRF'Q = iRF'Q. CHAP, iii.j The Hyperbola. 135 Cor. — It is obvious from the above demonstration, also, that lPFQ=lPRQ=lQRF = L QFF. Pkoposition XV The angle subtended at either focus by the segment in- tercepted on a variable tangent to a hyperbola by two fixed tangents is constant. Fig. 20. Let QP, QP' be the two fixed tangents, and PS the variable tangent. Join FP, F8, FT, FB, FP'. Then z TF8 = ^ L TFP; also t TFR = i z TFF; (Prop. XIII.) .-. z TF8 + L TFR = i z TFP + i z TFP\ or Z RFS = a constant. Cor. — The anharmonic ratio of the four points in which a variable tangent to a hyperbola is cut by four fixed tangents is constant. For the segments intercepted on the variable tangent subtend constant angles at the focus. 136 The Hyperhoh. [chap. in. Proposition XVI. If a tangent at the extremity of any diameter meet the axis in T, the area of the triangle OPT thus formed will be equal to the area of the triangle CAH, formed by draw- ing a tangent at the vertex. Fig. 21. Draw the ordinate PM; join PA, TH. Then TO: CA^CA: CM (Prop, ix.) = CH:CP; (ParaUel lines.) .-. PAi^WET; (2, VI. Euclid.) .-.A PHT= A HTA ; (37, 1. Euclid.) hence A CPT = A CAH. Cor. ^ PMT = tm^. PMAS. If we take the equal A' CPT and CAS, in succession from the A CPM; then A PMT = trap. PMAH. CHAP. 111.] The Hyperhota. 1-37 Proposition XVII. If an ordinate to the axis drawn from any point P on a hyperbola be produced to meet the asymptotes in D and B', then PD x PD' = square of semi-conjugate axis. Fig. 22. For MB" : MC = AH' or BC':AC'; (Similar a'.) but PM' : MC - CA' = PC' : CA' ; (Prop, x.) .-. MD' - PM' : CA"" = PC : CA' ; hence MB' - PM' = PC, or PD X PB' = PC (5, II. Euclid.) Note. — In the figures connected with some of the fol- lowing Propositions, in order to avoid confusion, occasion- ally lines are not actually drawn : when a letter is omitted, reference to any preceding figure, where the same letter has been used, will at once indicate the point. 138 The Hyperbola. [chap. III. Proposition XVIII. The segments PQ, P'Qf intercepted on any line between the curve and its asymptotes are equal. Fig. 23. Through P and P' draw _L" to the axis. Then QP : PR = QF : P 8, (Similar A*.) and PQ' : Pr = QF : F8' ; .-. QP xPQ :PRxPr=QP' X QfF : FS x P'S'; but PR- Pr = BC^ = F8xFS' (Prop, xvii.) .-. QP V pq = QF X Q'P', or QPxPF + QPx qF = QF - PF + QF x QP ; (1, II. Euclid.) .-. QPxPF = QF' X PP', or QP = QF. CHAP. iTi.] The Hyperbola. 139 Cor. 1. — If a line drawn from C through the middle point of QQ meet the curve in i), then the line drawn through D parallel to QQ' will be a tangent. For, suppose it meet the curve again in If, and let it meet the asymptotes in E and E'. Then, by this Proposition, DE = D'E'. But in the A QCQ', since QQ' is bisected in G, and EE' II QQ; .-. DE = DE'. Hence BE' = IfE', which is impossible ; .'. &c. Cor. 2. — Any line PP' is an ordinate to the diameter passing through its middle point, and the portion of any tangent intercepted between the asymptotes is bisected at its point of contact. Cor. 3. — If any line be drawn parallel to PP' or EE', it is obvious that the portion intercepted between the asymptotes will be bisected by the diameter CD ; but the segments intercepted between the curve and the asymp- totes are also equal, and hence any diameter bisects all its ordinates. Cor. 4. PQ X Pq = DE\ For, if through D a perpendicular be drawn to the axis, m eeting the asymptotes in K, K'. Then BK : DE = PP : PQ ; (Similar a'.) also BK':BE' = Pr:Pq; ( Do. ) .-. DK^ BK' : BE x BE'= PExPr.PQx PQ' ; but DK X BK' = BC = PRxPr; (Prop, xvii.) .-. PQ X PC^ = BE X BE' = BE\ (See Cor. 1.) Cor. 5. — If through any point on a hyperbola a line be drawn in a constant direction, the rectangle under the segments intercepted between the point and the asymptotes is constant. 140 ITie H'lfperbola. [chap. rn. Proposition XIX. If CP be the semi-diameter conjugate to CP, and tan- gents be drawn at P, P', meeting the transverse and- con- jugate axes in T, T' respectively ; TQ, T'Q perpendicu- lars to the axes meeting the circles described on the axe_s as diameters in Q, Q ; then L QCA = L Q'CB. Fig. 24. Join QM, Q'm'. Then QM, Q'«j' are tangents to the circles at Q, Q', respectively. (Cor. 1, Prop, ix.) PM:MQ=CB: CA, {Cor. 2, Prop, ix.) and P'm':m'Q'=CA : CB; .-. Fm'xPM= Q'm X QM. CHAP. III.] The Hyperbola. 141 But since CF is || PT; .-. PM:MT=Cm' -.m'P; .-. PM xm'P'= Cm' xMT; .-. Q^m' X QM = Cm' x MT; .-. Cm' : m'Q=QM:MT = CM:MQ; (8, VI. Euclid.) hence the a '»«'CQ' and ilfCQ are similar ; .^ (7, VI. EucKd.) and .-. iQCA = lQ'CB. Cor. 1. — :CP is parallel to the tangent at P'. For /-w.^-r.j^^-;*! [m Q : m T ) _ iCA:CB I {Cor. 2, Prop, ix.) " ICm'-.m'Q'] (8, VI. Euclid.) ^{QM: MPi (Cor. 2, Prop, ix.) \CM:Qm] (Prop. XIX.) = CM;MP= Pm: Cm; .-. A' P'm'T' and CPmave similar, and .-. CP \\ PT. Hence, if one diameter CF' of an hyperbola be con- jugate to another CP, then, conversely, CP will be con- jugate to CP'. Cor. 2. PM = Q'm' = Cm ; and P'm'- =-QM= CM'. Since the a' Cm'Qf and CMQ are similar, m'Q' :MQ^CQ': CQ = CB : CA. But PM:MQ=CB:CA;{ Cor. 2, Prop. ix. ) .-. m'Q:MQ = PM:MQ; .-. m'Q = PM. Also Fm' : m'q= CA : CB = QM:Q'm'; (SimHar A'.) .-. Fm' ^QM. 142 ine Hyperbola. [chap. iir. Cor. 3. OM^ - CM" = CA\ For CA' = CQ' = CM^ - QM^ = CM' - CM". {Cor. 2.) Cor. 4. P'M" - PM' = CB". For CB' = CQ" = Cm" - m'Q" = PM" - PM". {Cor. 2.) Cor. 6. — ^The difference of the squares of any pair of conjugate semi-diameters is equal to the difference of the squares of the semiaxes. For (X4' - CB" = CM' - CM" - {P'M" - PM") {Cors. 3 and 4.) = CM' + PM' - {CM" - P'M") = CP' - CF'. Cor. 6. PM : CM' ^ CB : CA = P'M' : CM. For PM:QM = CB:CA; {Cor. 2, Prop, ix.) but QM = m'P' = CM' ; .-. PM: CM'=CB: CA. Again, Cm' : CM = CQ' : CQ; (Similar A'.) .-. FM':CM=CB: CA. Cor. 7.— The A* CPilf and CFM' are equal in area. For PM>^ CM = P'M' x CM'. {Cor. 6.) Cor. 8. Mm' is parallel to an asymptote. For Cm' iCm^CQiCQ (Similar a'.) = CB:CA; .*. Mm' is II AB, and .*. || an asymptote. {Cor. 7, Prop. iv») Cor. 9. — If MP, m'P' be produced to meet in 0, then CO will be an asymptote. Since CMOm' is a parallelogram, CO will bisect Mm', and .*. it will bisect AB, which is || Mm'. Hence CO is an asymptote. {Cor. 7, Prop, iv.) CHAP. III.] The Hyperbola. 143 Proposition XX. If CP, CF be conjugate semi-diameters, PM, PM' ordinates to tlie axis, PT a tangent at P ; then A CVM' = A PTM, and a CP'F= a CPT. Fig. 25. For A CPM: a CHA : a CVM'=CM^: CA' : CM" ; (19, VI. Euclid.) .-. A CPM- A CHA : A CVM' = CM' - CA' : CM"; but CM' - CA' = CM" ; {Cor. 3, Prop, xix.) .. ACPM-^CHA = ACrM', or trap. PiLi^ = A CFilf' ; .-. APTM^^ACVM'. {Cor., Prop. XVI.) Again, A CPJf = A C'P'Jf' ; {Cor, 7, Prop, xix.) .-. A CPilf - A PTJf = A CFM' - A OFJf' ; . . aCPV= a CPT. 144 The Hyperbola. [chap. III. Proposition XXI. If QC be an ordinate drawn to any diameter Pp, from any point Q on a hyperbola, cutting the transverse axis in L ; QS an ordinate drawn to the axis from the same point and produced, if necessary, to meet the diameter Pjo in ^; AS a tangent at the vertex ; then A QL8 = trap. K8AH. Fig. 26. Let CP" be the diameter conjugate to CP ; draw the ordinates PM, P'M' to the axis. Then CA : CS : CM = AH : SK : MP; (Similar A'.) .-. CA+CS: CA + CM=AH + SK: AH+ MP, or A'S : A'M= AH + SK : AH + MP ; .-.A'SxSA: A'Mx MA = {AH+ SK) 8 A : [AH + MP) MA ; .-. QS' : PM' = trap. KSAH : trap. PMAH ; (Prop. X.) CHAP. iii.J The Hyperbola. 145 .-.A QSL : A PMT = trap. K8AS : trap. PMAH, (19, VI. Euclid.) but A PMT = trap. PMAH; {Cor. Prop, xvi.) .-. A QSL = trap. ZS^S^. Cor. 1. AQe-r=trap. TPffi. For A QSL = trap. ZS^JT. .-. AQ(?-Zr=trap. (Ji^JT = trap. TPGi. (Prop. XVI.) Cor. 2. — ^In like manner it can be shown that A GQ'JT' = trap. TPGL ; .-. A GQK = A GQfK' ; but they are also similar ; .•. GQ = GQ^. Hence, any diameter bisects all chords parallel to the tangents at its extremities. (See also Cor. 3^ Prop, xviii.) Proposition XXII. If CP' be the semi-diameter conjugate to CP, QG any ordinate to CP ; then QG^ : PG ^ Gp = CP" : CP\ (See Eig. 26.) For A CPT : A CGL = CP^ : CG\ (19, VI. EucUd.) Division, A CPT : trap. TPGL = CP' : CG^ - CP\ or A CP'F: A QGK= CP'-.PGxGp; (Pj-Op. XX.) .-. CF' : QG" = CP' -.PGxGp; (19, VI. Euclid.) hence QG' : PG ^ Gp = CP" : CI". L 146 The Hyperbola. [chap. hi. Cor. 1. — Ordinates to any diameter at equal distances from the centre are equal. For the rectangles are the same for equal distances from the centre. Cor. 2.— QG^ : CQ"" - CP" = CP" : CP'- For PGx Gp= CCP - CP\ Cor. 3. — If the ordinate GQ he produced to meet the conjugate hyperhola in Q' ; then Q'G» : C(?^ + CP = CP" : CP\ Fig. 27. Draw QG' an ordinate to CP. Then QfG" : CG" - GP^ = CP' : CP\ {Cor. 2.) Alt. CG" : GP = CG'^ - CP' : CP' ; .-. CG' + CP : GP = CG" : CP' ; .-. QG' : GG' + GP' = CP' : CP Cor. 4. — The squares of the ordinates to any diameter are proportional to the rectangles under the segments of that diameter. CHAP. III.] The Hyperbola. Pkoposition XXIII. 147 If a normal at any point P of a hypertola meet the transverse axis in N, and the conjugate axis in N' ; then PN : CP' =CB:CA = CP' : PN', CP' being the semi-diameter conjugate to CP. Fig. 28. Since CF is || PT, the A P'Cm ' is similar to A PMT, and .-. similar to A NPM; .-. FC-.NP^ Pm' : PM = MQ : PM {Cor. 2, Prop, xix.) = CA : C£. [Cor. 2, Prop, ix.) Also PJSf' :PN=CM: MN (Parallel lines.) = CA"" : CB" ; {Cor., Prop, viii.) .-. PN' X PR : PJSf' = CA' : CB' = FC' : PN' ; hence PN x PN' = FC\ or PN' ■.FC = FC:PN=CA: CB. Cor.— PN^PN'^FC\ l2 148 The Hyperbola. [chap. hi. Pkoposition XXIV. The rectangle under the distances of the foci, from any point P on a hyperbola, is equal to the square of the semi- diameter CP" conjugate to that passing through the point. Fig. 29. Circumscribe the A FPP by a circle, cutting the con- jugate axis in L and N" ; join PN', FN' \ produce PN' to meet' the transverse axis in N. Then, since LN' bisects FF', and is also perpendicular to it ; .•. LN' is the diameter of the circle, and arc FN' = arc FN' ; hence /. F'PL = FPL ; .. PZ is a tangent. (Prop, iii.) Also L LPN' = 90° ; .-. PiV is a normal. Now I FPN = I F'PN', and / PFN= l PN'F ; (26, III. Euclid.) .-. the A' FPN and F'PN' are simHar ; .-. F'P:PN'=PN:PF; .-. PFx PF = PNx PN' = CP". {Cor., Prop. XXIII.) CHAP. iiT.J The Hyperbola. 149 Otherwise thus — 2CA = PF' - PF; .-. WA^ = PV^ + PF"" - 2PF' X PF (4, II. EucHd.) = 2CP' + 2CF' - 2PF' X PF; {Cor., 13, II. Euclid.) .-. PF' X PF=^ OF'' + CP' - 2CA^ = CF^ - CA^ + CP' - CA' = OB" + CP" - CA' {Cor. 5, Prop, iv.) = CP' - CP' + CP" {Cor. 5, Prop, xix.) = CP'^ Cor. 1. — Since PL bisects the lFPF', it is a tangent, and .•. PN, which is ± PL, is a normal. Hence the circle which passes through the foci and any point P on a hyperhola, passes also through the points in which the tangent and normal at P intersect the conjugate axis. Cor. '2. — If jE'be the foot of the perpendicular let fall from N' on either PF' or PF produced ; then PK= J {PF' - PF) = semi- transverse axis. Cor. 3. — If K' he the foot of the perpendicular let fall from L on PF' ; then F'K' = i {PF' - PF) = semi-transverse axis. Cor. 4.— CA-.CB^CF: PN. (See Fig. 11.) For F'P:PF^F'N:NF. (Prop, b., VI. Eaclid.) Div. F'P -PF:PF= F'N - NF : NF. Alt. 2CA : 2CF = PF : N'F. Similarly, 2CA : 2CF = PF' : NF' ; .: CA^ : CF"" = PF x PF' : NF x NF'- .-. CA': CF' - CA' = PFx PF' : NF x NF'- PF v PF'; .-. CA' : CB' = CP" : PN\ 150 TheHyperboh. [chap. ni. Proposition XXV. If CK be a perpendicular let fall from the centre on the tangent to a hyperbola at any point P, and OP' the semi- diameter conjugate to OP; then CE:CA = GB: CP'. but ^nd Fig. 30. Draw FT, FT ± the tangent at P. Since the i^'FPT and F'PT are similar ; . j^p . 2?'p = FT : F'T' = F'P - FP : F'T' - FT = CA : CK; .-. FPx F'P : FT - F'T' = CA' : CIP, FP X F'P = CP", (Prop. XXIV.) FTxF'T' =CR; (Prop, vi.) .-. CI"' : CB' = CA' : CK' ; .-. CP' : BC = CA: CK. Cor. — The area of the triangle formed by joining the extremities of any pair of conjugate gemi-diameters is constant. For CP'x CK= CBxCA; .'. area of A P'CP = area ot ABCA, and therefore constant. CHAP. III.] The Hyperbola. 151 Proposition XXVI. If a chord PP' of a hyperbola pass through a fixed point 0, the rectangle under its segments is to the square of the parallel semi-diameter CB in a constant ratio. Fig. 31. Draw the diameter passing through 0, meeting the curve in (8; draw the or4inates Sif, S^f'. Then PN"" : CE' = CiV= - CBf' : 0A'\ (Prop, xxii.) Comp. PN' + CE" : CE' = ON' : GE'' Alt. PJT + CE : ON^ = CE : CE\ SimHarly, SM^ + CE' : CJP = CE' : CE^ ; .-. PN' + CE' : SM' + CE = CN' : CM' = ON' : 8M^ ; (Similar a^) .-. PN' + CE' - ON' : ON' = 8M' + CE' - 8M' : 8M' ; .-. CE' + PO X OP : ON' = CE' : 8M'- Alt. CE' + PO X OP' : CE' = ON' : SM' = CO' : C8'. Division, POxOE : CE' = CC - CS' : CS'. 152 The Hyperbola. [chap. III. Case 2. — (The importance of this proposition renders it advisable to give a separate demonstration of each case). As before, draw the diameter passing through ; also PN' and 8M ordinates to the diameters CR and CR respectively. Fig. 32. 8M' : CM' - CR' = CR" : CR' ; (Prop, xxii.) .-. 8M' + CR : CM' = CR' : CR". But CJY" - CR' : PN" = CR' : CR" ; (Prop, xxii.) .-. 8M' + CR' : CN" - CR' = CM' : PUT", or 8M' + CR' : PN' - CR' = CM' : CN' = 8M': ON'; (Similar a'.) .-. 8M' + CR' - 8M' : 8M' = PN' - ON' - CR' : ON', or CR' iPOx OR - CR = 8M' : ON' = C8' : CO' ; .-. POx OR : CR' = CS' + CO' : C8'. CHAP. iii.J The Hyperbola. Case 3. — Same construction. 153 Kg. 33. PN'^ : CN'^ - CR = CR^ : CR\ (Prop, xxii.) Also 8M''' : CM" - CE' = C^' : CE'; (Prop, xxii.) .-. CM" - Clf : CN" - CE" = 8M" : FN", 8M' - CR' : FN' - CE' = CM' : CN' = 8M' : ON' ; 8M' + CR' - 8M' : ON' - FN' + CR' = 8M' : ON', CR' -.OFx 0F'+ CR' = C8' : CO'; (Similar a».) .-. OFx OF' : CR" = CO' - C8' : C8'. Cor. 1. — If two chords FF', pp' of a hyperbola inter- sect, the rectangles under the segments are proportional to the squares of the parallel semi-diameters. Let Cr be the semi-diameter || pp'. Then OFx OF': CR' = CO' - C8' : CS' = Op x Op' : Cr' ; .-. OF X OF: Op X Op = CE : Cr'. or or 154 The Hyperbola. [chap. hi. Cor. 2. — If from any point two tangents be drawn to a hyperbola, the tangents will be proportional to the parallel semi-diameters. Pkoposition XXVII. If from a point without a hyperbola two tangents OP, OR be drawn, any line A.(^ drawn parallel to either will be cut by the curve and chord of contact of the tangents in geometric proportion. Draw the semi-diameters CE and CB \\ OP and OR respectively. Then AQ x AQ : AP' = CD^ : CE' {Cor. 1, Prop. XXVI.) = OR' : OP' [Cor. 2, Prop, xxvi.) = AS' : AP' ; (Similar A».) .-. AQ X AQi = AB\ CHAP, m.] The Hyperbola. 155 Pkoposition XXVIII. If a circle intersect a hyperbola in four points, the common chords will he equally inclined to the axis. Fig. 35. Let PP", QQ be the common chords intersecting in 0. Draw the semi-diameters CR, CS || PP', QQ' respec- tively. Then OP X OP' lOQx OQ' = CB' : C8' ; {Cor. 1, Prop. XXVI.) but OP X OP' =OQx OQ' ; (35, III. Euclid.) .-. CR = CS. Hence CR and CS, and .'. PP' and QQ', are equally inclined to the axis. {Cor. 1, Prop, i.) Cor. — In like manner it can be shown that the common chords PQ and FQ', also PQ' and P'Q, are equally in- clined to the axis. 156 The Hyperbola. [chap. hi. Pkoposition XXIX. If a tangent to a hyperbola at any point P meet any diameter AA' in T, and the ordinate PMhe drawn ; then CA is a mean proportional between CM and CF. Fig. 36. Draw tangents at A and A', meeting the tangent at P in G and H. Then A'T : TA = A'H : AG, (Similar a".) and A'M -.MA^ HP : PG; (Parallel Hnes.) but A'H : AG = HP : PG ; {Cor. 2, Prop, xxvi.) .-. A'T : TA = A'M : MA ; .-. A'T+ TA : A'T- TA = A'M+ MA : A'M- MA, or 2CA : 2CT = 2CM : 2CA. hence CMx CT= CA\ Cor. 1. — Conversely, if PM be an ordinate to any diameter AA', and CT be taken a third proportional to CM and CA; then PT will be a tangent to the hyperbola. CHAP. iii.J The Hyperhola. 157 Cor. 2. — The tangents at the extremities of any douhle ordinate intersect on the diameter corresponding to that ordinate. Cor. 3. — If a diameter be drawn through the intersec- tion of two tangents to a hyperhola, it will bisect the chord of contact. Cor. 4. — If the tangent at P meet a diameter of the conjugate hyperbola in 2), and the ordinate PJE be drawn ; then CB is a mean proportional between CD and CH. For CT:CM=TD: DP (Parallel lines.) = DC:DE; (Similar A^ - .-. CT^ CM: CM'' = DC : DE or CA' : CM^ = DC : DE ; .: CA" : CM' - CA'' = DC : DE -DC ; .-. CB' : PM' or CE'==DC : CE (Cor. 2, Prop, xxii.) = DCx CE : CE' ; hence CB' ^ DC x CE. Cor. 5. — Any diameter is cut harmonically by a tangent and the ordinate to the diameter drawn from the point of contact of the tangent. Since CM : CA = CA : CT. Comp. and Div. CM+CA: CM- CA = CA + CT : CA - CT, or A'M : MA = AT : TA. (Joj.^ 6. — An y tangent to a hyperbola will be cut har- monically by two parallel tangents and the diameter pass- ing through their points of contact. For MA' : MT : MA ^ PH : PT : PG. (2, VI. Euclid.) 158 The Hyperbola, [chap. III. Proposition XXX. If a variable tangent to a hyperbola meet two fixed parallel tangents, it will intercept segments on them whose rectangle is constant, and equal to the square of the parallel semi-diameter. See Fig. 36. Let POn be the variable tangent meeting the fixed tangents AG, A'S in the points G, H. Draw the semi-diameter CB || ^G* or A'S; also draw PE an ordinate to BC. Then CT : CA = CA : CM. (Prop, xxix.) Division, CT : TA = CA : AM. Alt. CT: CA =TA: AM. Comp. CT : TA' = TA:TM; .-. CD-.A'E^AG.PM; (Similar A'.) ■.A'SxAG= CBxPM = CBx CJE = CB". [Cor. 4, Prop, xxix.) Cor. — The rectangle imder the segments of the variable tangent is equal to the square of the semi-diameter CQ drawn parallel to it. For A'ff :HP=CB:CQ = AG:PG; {Cor. 2, Prop, xxvi.) .-. A'H X AG : HPx PG = CB' : CQ\ But A'H X AG = CB" ; .-. HP x PG = CQ\ CHAP. III.] The Hyperbola. 159 Proposition XXXI. The triangles CPT and CAK, formed by drawing tan- gents at the extremities of any two semi- diameters of a hyperbola, are equal in area. Fig. 37. Draw the ordinate PM. Then TO : CA = CA : CM; (Prop. xXix.) = CE:CP; (Similar a ».) .-. ETisWPA; (2, VI. Euclid.) .-. APT.4 = A PKA ; (37, I. Euclid.) hence A CPT = A CAK. Cor. — If the ordinate AN be drawn from A to the semi-diameter CP produced; then Area of A CMP = area of A CAN. For ^iVis II PT; .: TC : CA = PC : CN; hence CA : CM = PC : CN; .-. MN is II PA ; (2, VI. Euclid.) .-. A PAM= A PAN; (31, 1. EucM.) hence A CMP = A CAN. 160 The Hyperbola. [chap. iit. Proposition XXXII. If from the extremities of any two conjugate diameters CP, CQ, the ordinates FM, QN he drawn to any other diameter CA ; then CN' = AM X MA' ; and CM' = AM x MA' + CAK Fig. 38. For PM" : CJf' - CA" = CB" : C4^ {Cor. 2, Prop, xxii.) and ON' : CN + CA^ = CB' : CA' ; (Cor. 3, Prop, xxii.) .-. PW : QiV" = CJf - CA' : CN' + CA' ; but PM : ON = TM : CN ; (Similar a'.) .-. TM' : CN' = CM' - CA' : CN'+ CA' = CM' - CTx CM : CN' + CA' (Prop. XXIX.) = CMx TM: CN' + CA' ; (2, II. EucM.) .-. TM' :CMxTM= CN' : CN' + CA'; .: TM : CM= CN' : CN' + CA'; Div. TM : CT = CN' : CA' ; CHAP. iii.J The Hyperbola. 161 .-. rjf X CM: CTx CM= CiV" : GA^; but CTxCM= CA^ ; (Prop, xxix.) .-. TMx CM=CN'; hence GiV" = CM"- CMx CT (2, II. Euclid.) = CM^-CA^ = AMxMA'. Also CM' = CJV' + C^' Cor. 1.— CJf » - CiV^' = CA\ Cor. 2.— ON' - PM" = C£\ For QN' : {ON" + CA') or CM' = CB" : CA\ and PM' : Ci!f ' - CA' = CB' :CA'; {Cor. 2, Prop, xxii.) .-. QN' - PM' : CA' = CB' : CA' ; hence QN' - PM' = CB'. Cor. 3.— CN:PM=CA:CB=CM: QN. For CA' : CB' = CM' - CA' : PM' = CN' + CA" : QN\ or CA' : C^= CN' : PM'= CM' : QN'; {Cor. 1.) .-. CA •.CB= CN : PM = CM : QN. Cor. 4.— The a CMP = a CNQ in area. For CN:PM=CM: QN, {Cor. 3.) and /.CMP = lCNQ; .-. A OilfP = A CNQ. (15, VI. Euclid.) M 162 The Hyperbola. [chap. hi. Pkoposition XXXIII. If any tangent to a hyperbola meet any two conjugate diameters CP, CQ, the rectangle under its segments is equal to the square of the parallel semi-diameter CB. .. Fig. 39. Draw the ordinates PM, QN, to the diameter passing through the point of contact. Then CM : PM = CA : AT' ; (Similar A'.) .-. CJf X AT' == PMx CA = C£x ON; {Cor. 3, Prop, xxxii.) .-. CM : CN = CB: AT'. Again, CN-.NQ^CA: AT. (SimHax a'.) .-. CN xAT = CAy^NQ = CBx CM; (Cor. 3, Prop, xxxii.) .-. CM : CJSr -^ATiCB; hence CB : AT' = AT : CB ; .-. AT X AT' = CB'. CHAP, m.] The Hyperbola. 163 Proposition XXXIV. Given in magnitude and position any two conjugate semi-diameters GA', CS, of a hyperbola, to find the axes. Kg. 40. Take AD a third proportional to CA and CK. Bisect CD in B. Draw SO J. CD, meeting AO drawn || CB' in 0. With the centre 0, and radius OC, describe a circle cutting OA! in T, T' ; join CT, CT ; draw AM, A'N ± CT, CT', produced respectively. Take CA a mean proportional between CTand CM; also CBaJmean proportional between CT and CN, Then CA, CB are the axes. For CF^ = CA' x A'D (Const.) = TA' X A'T' ; (36, III. Euclid.) .-. CA and CB are conjugate diameters; (Prop.'xxxiii.) but /. TCT' = 90° ; .-. CA and CB are the axes in position. Also CA^= CT X CM, and CB' = CT' x CJV; .-. CA and CB represent the semiaxes in magnitude. (Prop. IX.) M 2 164 The Eyperhoh. [chap. m. Proposition XXXV. If any line T8 be drawn parallel to the chord of contact of two tangents to a hyperbola, the segments AT, B8, in- tercepted between the curve and the tangents will be equal. Fig. 41. Draw the diameter of the parallel chords BA, PQ. This diameter will pass through 0. {Cor. 2, Prop, xxix.) Then, since PM= MQ ; {Cor. 2, Prop, xxi.) .-. TN=NS; but AN = NB ; {Cor. 2, Prop, xxi.j hence AT = B8. Cor. 1. — The tangent drawn parallel to the chord of contact of two other tangents is bisected at its point of contact. Cor. 2. — ^If a line be drawn parallel to the chord of contact of two tangents, the segment intercepted between the tangents is bisected by the diameter passing through their intersection. CHAP. iii.J The Hyperbola. 165 Proposition XXXVI. Any line OA drawn through the intersection of two tangents to a hyperbola is cut hannomcally by the curve and the chord of contact of the tangents. Fig. 42. Through A and A' draw T8, T'8' || PQ, the chord of contact of the tangents. Then TP" : T'P' ^ TAx TB: T'A' x T'^ ; {Cor., Prop. XXVI.) but TB = AS, and T'ff = A' 8' ; (Prop, xxxv.) . ypj . jT/pj ^TAxA8: T'A' x A'8' ; but TA : T'A' = OA : OA' = A8:A8'; (Similar a*.) . rj^p, . rptpr^ ^ QJ2. Q^n. .: TP : T'P = OA : OA' ; hence Aff : A'ff = OA : OA'. (Parallel lines.) 166 The Hyperbola. [chap. hi. Pkoposition XXXVII. Any line drawn through the middle point of the chord of contact of two tangents to a hyperbola will he cut har- monically by the curve and the line drawn through the intersection of the tangents parallel to their chord of con- tact. Jig. 43. Let TP, TQ, be tangents, BB' any chord drawn through (y, the middle point of PQ, and meeting the line drawn through r II PQ ia 0. Through JB" draw 3"^ \\ to PQ; join TC. Then TC produced will pass through C. {Cor. 3, Prop, xxix.) \B"T : TT'\ .^. .. ,. = 1^2" . Bm (Similar a'.) = H'T X BT' : BB" x TT'. But TT' X BB" = 2B"T x BT ; .-. B'B" = 2B"M; .*. B'Mia an ordinate, and B' a point on the curve. Now TB : BT' = B"T : B"T'; (Prop, xxxvii.) .-. OB:Ba=OF: EG. (Parallel Hnes.) CHAP. iii.J The Hyperbola. 167 Proposition XXXVIII. If any line cut the asymptotes of a hyperbola in Q, Q', and the curve in P, then the rectangle under PQ and PQ', is equal to the square of the semi-diameter CB^ drawn parallel to QQ'. Fig. 44. Draw the semi-conjugate axis CB. Through Q draw QBR II CB. Then QP x QF : QB x QBf = CB" : CB" ; {Cor. 1, Prop. XXVI.) but QP' = PQ', and QB> = BQf' ; (Prop, xvin.) .-. QPxPC^-.QBx BQf' = CF' : CB' ; but QB X BQ" = CF ; (Prop, xvii.) .-. QPxPq = CF\ Cor. — The portion of any tangent intercepted between the asymptotes is = the parallel diameter. For CF^ =QPx PQ = DE\ (See Cor. 4, Prop, xviii., and Fig. 23.) 168 The Hyperbola. [chap. hi. Proposition XXXIX. The parallelogramB inscribed between the curve and its asymptotes are equal. Fig. 45. Let CMPN, CM' FN' be the paraUelograms. Join PP, and produce it to meet the asymptotes in Then □ CMPN : □ CM'FN' = { J^ ; J^^j (23, VI. EucHd.) ^ \PQ : QP'l \PQ' : P'Q'j ■ (Similar A'.) But PQ = P'Qf,a.niPQr=QP'; (Prop, xvin.) henoe * a CMPN = □ CM'FN'. CHAP, HI. J The Hyperbola. 169 Cor. 1. — The area of the sector of a hyperbola, made by joining any two points on the curve with the centre, is equal to the area included between the curve, one asymp- tote, and the lines drawn through the points parallel to the other asymptote. For the a' CPN' and CPN axe equal in area, being halves of equal parallelograms ; take them successively from the figure CPFN', and sector CPF = figure NPPN'. Cor. 2. — The hyperbola continually approaches its asymptotes, but can never meet either at any finite dis- tance. ' For, the area of the □ CMPN being constant ; .•. PJf varies inversely as PN ox CM; hence, as CM increases, PM will diminish. And .*. when CM becomes infinitely great, PJf will be infinitely small. Cor. 3. — The area of the a formed by any tangent to a hyperbola with the asymptotes is constant. For the portion of a tangent at any point P intercepted between the asymptotes mil be bisected at its point of contact (Prop, xviii.) ; .•. area of A RC8 = 2 area of a CMPN, and .•. constant. Cor. 4. — If two hyperbolas have the same asymptotes, the segments of any line, drawn parallel to either asymp- tote, intercepted between the curves and the other asymp- tote, are in a constant ratio. If the second hyperbola be supposed to cut PiV in p, and P'N'mp'; then zdCP: a Cp= a CP' : aCp'; .-. PN:pN=FN' :pN'. 170 The Hyperbola. [chap. hi. Proposition XL. If through any point P on a hyperhola lines OPff, QPQ' be drawn parallel to any two adjacent sides AD, DC, of an inscribed quadrilateral, meeting the opposite sides in 0, a, and Q, Q': then PO X PCy : PQ X PQ' in a constant ratio. Fig. 46. Through B and C draw BS and CG || AD ; join AG, and produce it to meet JEB in H. The diameter which bisects GO and BE will also bisect AD, and will .-. bisect SK and Lff. Hence BS = EK, and (/V = PL. Now OL : BE = LA : AH = (Xi) : D^. (ParaUel lines.) Alt. OL : O'D = BH : DK. Also POT or SC:8Q = BK : EC ; (Similar A'.) .-. OL X pa : aD X 8Q = BH X BK : DK x KC ; .-. OLxPff : PQ' X SQ = EKxBK:DKxKC = arx aP: acx aD = PLx ap -.psxpq; CHAP. iii.J The Hyperbola. 171 .-. 0LxPa+PLx0'P:P(^x8Q + F8xPQf = EKxBK:BKx CK ; or POxPa .PQx PQ = EK-BE.DExEC; Now it is evident that the points A, B, C, B being fixed, U is also fixed, and .•. UK x BK : BK x KC in a constant ratio, and .■- PO x PO' : PQ x PQ; in a constant ratio. Pkoposition XLI. If from any point P on a hyperbola lines PB, PR', PS, PS' be drawn to the sides of an inscribed quadri- lateral, making with them any constant angles ; then the rectangles under the lines drawn to the opposite sides will be in a constant ratio. rig. 47. Take any other point p on the curve. 172 The Hyperbola. [chap. hi. Through the points P and^ draw QPQ and qp(][ \\ DC, and OPff, poo' \\ AD ; also pr, pr, ps, ps' || PR, PR, PS, PS' respectively. Then PB : pr = PQ : pq, (Similar a'.) and PR':pr' = Pq:p(i; .;. PR X pr; : pr x p/ = PQ x Pq -. pq v p^. Similarly it may be proved that PS X PS' : ps X ps' = POx PCX : po x po' ; but PQ X PC^ : PO X PC =pqxpgf :pox po' ; .-. PR X PR' -.PSx PS' =pr X pr' : ps x ps'. Cor. 1. — The rectangle under the perpendiculars let fall from any point of a hyperbola on two opposite sides of an inscribed quadrilateral is in a constant ratio to the rect- angle under the perpendiculars let fall on the other two Cor. 2. — If the points A and Z) coincide, also the points B and C, then the sides AB and BC become tangents, and the sides AB and CD coincide and become the chord of contact. Then the rectangle under the perpendiculars let fall from any point of an hyperbola on two fixed tangents is in a constant ratio to the square of the perpendicular let fall on their chord of contact. Cor. 3. — If we suppose AB, CD to intersect in X, and AC,BDhi.Y; also that Pi2, PK, PS, PS',pr,p/,ps, psf lie in the lines XY; then, regarding ACBD as the quadrilateral, the above proportion becomes PX^:PY'^pX^:pY'; .". XF is cut harmonically by the curve. CHAP, ui.j The Hyperbola. 173 Proposition XLII. If two fixed tangents DP, BQ, to a hyperbola be cut by a diameter AB parallel to their chord of contact, and by a third variable tangent EF, the rectangle under the segments of the two fixed tangents intercepted between the diameter and the variable tangent is constant. Fig. 48. Join PC; produce it to meet the curve in B; join BR. Since CA=CB; (Cor. 2, Prop, xxxv.) .-. A' ACP and BCR are eqaal ; (4, I. Euclid.) .-. BR is = and || AP, and .-. a tangent. If BR be supposed to be produced to meet FB produced in^; then RB-.PE^BZ: PD (Prop, xxx.) = RZ-RB:PD-PE = BZ:EB; .-. AP : PE = BF : FB ; .: AP : AP- PE = BF: BF-FB; .■.AP:AE=BF:BB; .-. AE X BF'- BD X AP, and .■. constant. 174 The Hyperbola. [chap. hi. Pkoposition XLIII. To describe a conic section to pass through five given points. Fig. 49. Fig. 50. Join BD and CE. Through A draw ^Q || BD, and AS II CE; in .4Q find a point P, and in AS a point T, such that BE>( BD: OBx EE = AQy QP : CQ X QE, and BR X ED : CB X BE = £S X 8D : AS X ST. The poiats P and T will (Prop. xxii. Chap. li., and Cor. 1, Prop. XXVI. Chap, iii.) be points on the curve. If .-. we bisect AT in 1^, and CE in M, and join MJSF, this line wiU evidently pass through the centre. Likewise bisect AP in K, and BD in H, and joia KS; this line will also pass through the centre. Should MN and KS happen to be parallel the curve will be a parabola ; if not, their point of intersection will determine the centre of the curve. Now determine OV, such that PK' : DS" =07^" OK" : OV - Om ; then {Cor. 2, Prop, xxii.) OV will be a semi-diameter to which PK and DS are ordinates ; hence any number of ordinates and points on the curve may be found. Also the axes (by Prop. xxx. Chap, ii., and Prop, xxxiv. Chap. iii.). CHAP. III.J The Hyperbola. 175 Proposition XLIV. To describe a conic section to toiich five given right lines. Fig. 61. First, consider the quadrilateral BFQS formed hy any four of the five tangents ; draw the diagonals ; let them in- tersect in K. Next consider the quadrilateral AGHL formed by leaving out another tangent ; draw the diagonals ; let them intersect in M. d this way go round the figure, leaving out in succession each of the tangents, and three other points N, 0, P, may be similarly found. The line joining K, M, produced will intersect the tangents in o, /3 ; and the line joining KP produced will intersect the tangents in 7, S, points on the curve. 176 The Hyperbola. [chap. hi. For the intersection K of the diagonals of the quadri- lateral BFGR is (by Prop, xx.) a point on the chord of contact of the reqiiired conic with the lines FG, LH; also the intersection M of diagonals of the quadrilateral AGHL is, by same Prop., a point on the chord of contact with the same lines ; .•. a, /3, are the points of contact of the required conic with these Hnes. Similarly it may be shown that y, S, and e, are the points of contact with the other right lines. Proposition XLV. If a right cone be out by a plane which, when produced, cuts the opposite cone, the section will be a hyperbola. Kg. 62. Let the plane B VE drawn through the axis of the cone perpendicular to the plane of the section coincide with the plane of the paper, then both the section ^PJf and the base ^P-E" will be ± the plane of the paper; .-. the line CHAP. III.J The Hyperbola. 177 MP in which the section cuts the hase is J. the plane of the paper, and ..J. BE. Hence BMxME = MF\ (35, III. Euclid.) If now any other plane bpe be drawn || the base, meet- ing the section in pm, it can similarly be shown that mp is J_ be, and .•. bm x me = mp''. But BM : bm = A'M : A'm ; (Similar a'.) also ME : me = MA : mA ; .-. BM X ME : bm X me = A'M x MA : A'm x mA, or MP' : mp" = A'M x MA : A'M x mA. Hence the section is a hyperbola. (Prop, x.) Cor. 1. — The conjugate axis is a mean proportional between the diameters of the sections drawn through A and A' parallel to the base. This follows, as iu Chap, ii., page 108. Cor. 2. — The spheres inscribed in the cone, to touch the plane of the circle, will determine the foci. This follows, as in Chap, ii., page 109. ( 178 ) APPENDIX. Many solutions having beeii given of Problem 9, page 110, I consider it advisable to add the following : — Let PF be the focal chord. Draw the tangents, and also the normals at P and P'. Suppose the former to intersect in T, and the latter in N. Let the line drawn through N \\ to the axis intersect PP' in 0, andPTin G. Draw NR 1. PF. Then Tis the centre exscribed to the a PFP", and N is the centre of the inscribed circle ; .•. F', N, F, are in directum ; also TFis ± PF ; (Prop, xm.) .-. FF=PE. (G. & H.'s Euclid, Appendix,. Book IV.) Now F . F'NPT is a harmonic pencil ; .'. F . F'NPT is a harmonic pencil. .-. N6, which is || F'Fis bisected at ; hence FO=OH; (26, 1. Euclid.) .-. FO = OP. In Cors. 2 and 3, Prop. ,^I., Chap. III.,^ in order to describe" fctfet'-p06fl;it)jl J of rtlie "fSbinlj.it i& ^SauBied that the curve is'.GOiicsuBfi HowarSs ih^^raiiftierspVjip^t This pro- perty is hil\j denaonstrated in Cor. 4, Prop. IX. ^ It is to be n&tet iiA tHetessen^al fropaHifj oi\ipj«f[t4|i^'enl;, proved in Prop'. IILi'does hot^depfei£d'