"三角形ABC中AD平分∠BAC,AB/AC=BD/DC"这叫什么定理