122 DEMONSTRATIONS of 



But FX, FY, are perpendicular to AX, AY, and it has been 

 (hewn that 2(FB^+FC^+FD^+FE^) n 4(FX^-+FY^). There- 

 fore AX, AY, are the two lines required to be found. 



The conflrudlion is obvious, by afluming a point F, which, 

 for the greater fimplicity, may be in one of the given lines, and 

 by defcribing the figure as above. 



* Cor. If from any point parallels be drawn to AB, AC, AD, 

 AE, and to AX, AY, cutting the perpendiculars FB, FC, FD, 

 FE, and FX, FY, in b, c, d, e, and in x, j, 



^- L E M M A IV. Fig. IX. 



Let AB, AC, be twojiraight lines given by pofition, interfering one 

 another in the point A, and from any point D let DB, DC, be drawn 

 perpendicular to AB, AC ; let CB be joined, and hife£ied in E, and 

 from E let EF be drawn parallel, and equal to a given flraigbt line ; 

 through F let GFH be drawn to meet DB and DC, fo as to be 

 bifeEled in F, and through G and H lei GK, HK., be drawn parallel 

 to AB, AC : the lines GK, HK, will be given by portion. 



Through F draw LM parallel to BC, and through B and C 

 draw BL and CM parallel to EF ; join GL, HM ; from A draw 

 AN parallel and equal to EF ; join LN, MN ; through N draw 

 OP parallel to GL ; and join AG, AP. 



Because GF — FH, and LF = FM, GL will be equal 

 and parallel to HM ; and becaufe AN is equal and parallel to 

 BL and to CM, the figures AM and AL are parallelograms. 

 Therefore NL is parallel to GK, and NM to HK. Therefore 

 NG and NH are parallelograms, and OG = NL — AB ; hence AG 

 is perpendicular to GK; and, in the fame manner, AP is perpen- 

 dicular 



