bjr
1)
on calcule le cosinus de l'angle C du triangle rectangle ABC
cos C = AC / BC = 6 / 7,5 = 0,8
2)
on calcule le cosinus de l'angle E du triangle rectangle CDE
cos E = CE / DE = 4 / 5 = 0,8
3)
ces deux angles aigus ont le même cosinus, ils sont égaux
Les droites BC et DE déterminent avec la sécante AE des angles
correspondants BCA et DEC égaux : ces droites sont parallèles
