在三角形ABC中,已知AB=3,AC=6,BC=7,AD是角BAC平分线.求证:DC=2BD 用三角涵数