在三角形abc中已知def分别为