Cette page a été validée par deux contributeurs.
segment, on a la congruence
(2*) |
Puisque CA' et AC' sont, par hypothèse, parallèles, l'on a aussi
(3*) | , |
et de (1*) et (3*) résulte encore
;
mais le quadrilatère BAD'C' est alors aussi un quadrilatère inscriptible.
et, en vertu du théorème relatif aux angles d’un tel quadrilatère, on a la congruence
(4*) | . |
Or, comme CB' est, par hypothèse, parallèle à BC', nous aurons aussi
(5*) | ; |
de (4*) et de (5*) l’on tire la congruence
cette dernière nous fait voir que le quadrilatère CAD'B' est aussi un quadrilatère inscriptible, et par suite que l’on a encore
(6*) | . |