Sit CBA semicirculus, quem DC, DB tangant, et BE perpendicularis super AC, et iungamus AD ; erit BF aequalis ipsi FE.

Demonstratio. lungamus AB eamque producamus us in directum et educamus CD quousque illi occurrat in G, et iungamus CB. Et quia angulus CBA est in semicirculo, erit rectus ; remanet CBG rectus, et DBEC est parallelogrammum rectangulum. Ergo in triangulo GBC rectangulo educitur perpendicularis BD ex B erecta super basim, et BD, DC erunt aequales eo quod tangunt circulum ; ergo CD est etiam aequalis ipsi DG, quemadmodum ostendimus in propositionibus, quas confecimus de rectangulis. Et quia in triangulo GAC linea BE educta est parall ela basi, et iam educta est ex D semipartitione basis linea DA secans parallelam in F, erit BF aequalis ipsi FE. Et hoc est quod noluimus.