做DE平行AB,交BC于E
做D'E'平行A'B',交B'C'于E'
则 DE=BE D'E'=B'E'
DE:AB=CE:BC DE:AB=(BC-DE):BC BC:AB=(BC-DE):DE
BC:AB=BC/DE-1
同样B'C':A'B'=B'C'/D'E'-1
而AB=A`B`,BC=B`C`,
则BC:DE=B'C':D'E'
即DE=D'E'
从而三角形BDE全等于B'D'E'
角DBE=角D'B'E'
角ABC=角A'B'C'
从而三角形ABC全等于三角形A`B`C`.