即证（右边移到左边，用平方差公式）
(a^2+b^2-2ab-c^2)(a^2+b^2+2ab-c^2)<0
继续用平方差公式
即证 (a-b-c)(a-b+c)(a+b-c)(a+b+c)<0
由三角形三边满足a+c>b b+c>a a+b>c
上述三个括号第一个小于0，后三个大于零，成立。
综上，得证。