証明 AD の延長線上に E を 　DE = (n/m)AD となるようにとる。 つまり AD : DE = m : n となるように取る。 AD : DE = m : n = BD : DC であるので AB : CE = m : n である。 CE = (n/m)AB AC + CE > AE AE = AD + DE = AD + (n/m)AD なので nAB + mAC > (m+n)AD を得る。 証明　 一つ戻る　 　戻る