Angle bisector/Distance condition/Fact/Proof

< Angle bisector < Distance condition < Fact
Proof

We may assume that and are normed. Let . Due to fact, we have

and, accordingly,

Therefore, the distances coincide if and only if

holds. If

then

and the equation holds. For the reverse statement, we may write

From

we can deduce

therefore,

Because and are normed and linearly independent, exercise implies that

hence, the right-hand factor is not , and, therefore, . In case

a similar consideration gives .