画出三角形可知：
在三角形ABC和三角形EFC中,两三角形共用角C
又因为AB平行于EF
所以三角形ABC与EFC相似 即角EFC=角ABC
同理
三角形ABC与三角形ADE相似 即角ABC=角ADE
综上 角ADE=角EFC