bjr
• (DB) est une sécante pour les droites (CD) et (AB)
CDB et ABD sont des angles alternes-internes et de même mesure
donc (CD et (AB) sont parallèles
• (AC) est une sécante pour les droites (CD) et (AB)
BAC et DCA sont des angles alternes-internes ;
or (CD) et (AB) sont parallèles donc BAC et DCA sont de même mesure
• DEC et BEA sont des angles opposés par le sommet
donc ils sont de même mesure
• les triangles EDC et EBA ont trois angles de même mesure
donc ils sont semblables
• par conséquent leurs côtés sont proportionnels
