如图，∠B=∠C，BD=DC，则要证明AD是∠BAC的（    ）线，需要通过（    ）来证明，如果在已知条件中增加∠B与∠C互补后，就可以通过（    ）来证明，因为此时BD与DC已经分别是（    ）的距离。