OD=OE.£5, OD'=OE

d'où OD.OD'==OE.OE\(^)\

Il suffit donc de vérifier que le rectangle de OEpar QE' est constant,

Or, l'angle M'MB, qui a pour mesure la moitié de Tare BM', est complémentaire de l'angle OBM', c'est-à-dire égal àE'. Il résulte de là que le quadrilatère EE'M'M, dans lequel les angles E', EMM' sont supplémentaires, est inscriptible à une même circonférence. Donc