延长be,与ac相交于f
ab+af>bf bf=be+ef
即ab+af>be+ef
ef+cf>ce
相加
ab+af+ef+cf>ce+be+ef
ab+af+cf>ce+be
ab+ac>be+ce