三角形三个顶点A(4,1),B(7,5),C(-4,7),求三角形ABC的角A的平分线AD的长.