1、设AB边的长度是c，因为BE是角平分线，且BE⊥AD，所以AB=BD=CD=c。
3、这样，就可以求出△A幞洼踉残BC和△CDE的面积的比值等于3:1。于是，四边形ABDE的面积，就是△ABC面积的2/3。可是，四边形ABDE的诹鬃蛭镲面积是可以求出来的，等于AD*BE/2=63/2，所以：△ABC面积=189/4。
5、再根据BE=9，可以得出另一个关系式：2x^2-2c^2+81=0。参考【Stewart定理】。
7、检验c、2c、3x能不能构成三角形：x < c < 3 x /. sol，经检验，这个三角形是存在的。
