abc为三角形三边,证a2+b2+c2