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.