在三角形abc中 ab=12 ac=13 ad ae 是他的角平分线