∵AD是BC边上的中心线,∴AD和BC是平行四边形ABFC的对角线。
在△ABF中,AB+AF一定大于AF,即AB+AC大于AF。
如果不等式符号两边同时除以2,这个问题就可以证明了。
例5:设A大于C且大于B,使∠CAB成锐角。