Aby wykazać w tym zadaniu, że dwusieczna kąta jest zbiorem punktów równoodległych od jego ramion, należy udowodnić dwa twierdzenia:
1. Każdy punkt, który należy do dwusiecznej kąta, jest równoodległy