在三角形abc中,ab12根号2,ac13