在三角形abc中 ab等于12√2