三角形中，有(a-b)小于c所以(a-b)的平方小于c的平方展开后的a*a-2ab+b*b小于c*c两边同时加上4ab再移项的a*a+2ab+b*b-c*c小于4ab同理有b*b+2bc+c*c-a*a小于4bcc*c+2ac+c*c-b*b小于4ac三个式子相加，即可得证
