在三角形abc中ab=17