在三角形abc中角abc等于60度,AB等于8,AC等于7,EF为AB垂直平分线