Conservando las figuras anteriores, digo que AC2BK2−ladorectoBK2=NC⋅MOMN2−MO2.
En efecto, AC2BK2=NCMO=NC⋅MOMO2 [Prop. VII.8] y BKT=MOMN [Prop. VII.6 y Prop. VII.7], de donde BK2BK2−T2=MO2MO2−MN2. Por tanto AC2BK2−T2=NC⋅MOMO2−MN2.
Q. E. D.