已知 如图 在三角形abc中a=abc直线ef