在三角形ABC中,AD是它的角平分线,求证三角形ABD的面积