一个几何不等式的简证

文[1]给出了关于三角形中线的一个不等式,即“在△ABC中,成立不等式 ab/m_am_b+bc/m_bm_c+ca/m_cm_a≥4,等号当且仅当△ABC为正三角形时成立。”下面利用上述结论证明文[2]中的一个几何不等式。题目设△ABC的重心为G,AG,BG,CG的延长线分别交三边BC,CA,AB于D,E,F,交△ABC的外接圆于A′,B′,C′,求证: A′D/DA+B′E/EB+C′F/FC≥1, 证明:设BC=a,CA=b,AB=c,AD=m_a,BE=m_b,CF=m_c。