Proposición 8

Haciendo las mismas construcciones que en las dos proposiciones anteriores, digo que AC2(BK+FG)2=CNOM(OM+MNOM)2.

Tomemos una recta OI tal que OIOM=MNOI. Ya que AC=2AH y BK=2HB, entonces AC2BK2=AH2HB2, mientras que AH2=DHHE [Prop. I.37]; por lo tanto, AC2BK2=DHHEHB2. Ya que, por semejanza de triángulos, DHHB=ACCL y HEHB=CMCL, de donde DHHEHB2=ACCMCL2, luego AC2BK2=ACCMCL2. Se tiene CACN=CACMCNCM y las proposiciones [Prop. VII.2] y [Prop. VII.3] dan respectivamente en los casos de la hipérbola y la elipse, CL2OMCM=CAAO, de donde, ya que CN=AO, CACMCNCM=CL2OMCM. Por tanto CACMCL2=CNCMOMCM, luego AC2BK2=CNCMOMCM=CNOM=CNOMOM2. Las proposiciones [Prop. VII.6] y [Prop. VII.7] dan respectivamente en los casos de la hipérbola y la elipse, BK2FG2=OMMN, por lo tanto BK2FG2=OM2OMMN, por lo tanto observando que OI2=OMMN por hipótesis, entonces BK2FG2=OM2OI2, de donde BKFG=OMOI. Por tanto BKBK+FG=OMOM+OI=OMMI, de donde BK2(BK+FG)2=OM2MI2, luego AC2(BK+FG)2=CNOMMI2=CNOM(OM+OI)2=CNOM(OM+MNOM)2.

Q. E. D.