Les triangles CKL et CBA ont:
- l'angle ^KLC commun;
- ^KLC = ^BAC (angles correspondants);
- ^CLK = ^CBA (angles correspondants)
Or, d'après la définition : "On appelle triangles semblables des triangles qui ont des angles deux à deux égaux."
Donc les triangles CLK et CBA sont semblables