Haciendo las mismas construcciones que en las dos proposiciones anteriores, digo que AC2(BK−FG)2=CN⋅OM(OM−MN⋅OM)2.
En efecto, BKFG=MOOI [Prop. VII.8], de donde BKBK−FG=MOMO−OI, luego BK2(BK−FG)2=MO2(MO−OI)2. Como AC2BK2=CN⋅MOMO2 [Prop. VII.8], entonces AC2(BK−FG)2=CN⋅MO(MO−OI)2. Ya que, por hipótesis, OI2=NM⋅MO, entonces AC2(BK−FG)2=CN⋅OM(OM−MN⋅OM)2.
Q. E. D.