BA X DG BA X GD

BGxDA GBxDA Il faut donc vérifier que l'on a

GA x DB + BA X GD = CBx DA.

En évaluant tous les segments à l'aide de la distance de leurs extrémités au point A, on aura à vérifier l'égalité

— AG(AB — AD)— AB(AD— AG) = — AD(AB — AG), égalité qui se vérifie immédiatement.

Revenons aux vingt-quatre rapports anharmoniques que nous étudions. Si nous désignons par k la valeur du rapport anharmonique (ABGD), nous pourrons former le tableau suivant :