设abc为三角形abc的三边的长度,求证x2