Proposición 20

Conservando las figuras anteriores, digo que AC2BK2ladorectoBK2=NCMOMN2MO2.

En efecto, AC2BK2=NCMO=NCMOMO2 [Prop. VII.8] y BKT=MOMN [Prop. VII.6 y Prop. VII.7], de donde BK2BK2T2=MO2MO2MN2. Por tanto AC2BK2T2=NCMOMO2MN2.

Q. E. D.