三角形ABC中,角C为钝角做AD垂直于BCRT三角形ADC中AD2+CD2=AC2RT三角形ADB中AD2+BD2=AB2所以AC2+BC2=(AD2+CD2)+BC2AB2=AD2+(BC+CD)2=AD2+CD2+BC2+2BC*CD又因2BC*CD大于0所以AB2大于AC2+BC2
