Ma,b = (a + b) / 2 + span { (b - a)⊥ }.
Das heißt, für jedes \(p \in M_{a,b}\) gibt es ein \(r\in \mathbb{R}\) mit
\( p = \frac{1}{2}(a+b) + r\cdot (b-a)_\perp\)
Wegen \(a,b\in \mathbb{R}^2\) können wir Koordinaten verwenden,
\(\begin{pmatrix}p_x\\p_y\end{pmatrix} = \frac{1}{2}\cdot\left(\begin{pmatrix}a_x\\a_y\end{pmatrix}+\begin{pmatrix}b_x\\b_y\end{pmatrix}\right) + r\cdot \left(\begin{pmatrix}b_x\\b_y\end{pmatrix}-\begin{pmatrix}a_x\\a_y\end{pmatrix}\right)_\perp\)
und zusammenfassen
\(\begin{pmatrix}p_x\\p_y\end{pmatrix} = \frac{1}{2}\cdot\begin{pmatrix}a_x+b_x\\a_y+b_y\end{pmatrix} + r\cdot \begin{pmatrix}b_x-a_x\\b_y-a_y\end{pmatrix}_\perp\).
Anwendung der Definition von \(v_\perp\) ergibt dann
\(\begin{pmatrix}p_x\\p_y\end{pmatrix} = \frac{1}{2}\cdot\begin{pmatrix}a_x+b_x\\a_y+b_y\end{pmatrix} + r\cdot \begin{pmatrix}a_y-b_y\\b_x-a_x\end{pmatrix}\).
Zeigen Sie: Ma,b = {p ∈ R2 : II a - p II2 = II b - pII2}
Zeige
\(\left\Vert\begin{pmatrix}a_x\\a_y\end{pmatrix} - \begin{pmatrix}p_x\\p_y\end{pmatrix} \right\Vert_2 = \left\Vert\begin{pmatrix}b_x\\b_y\end{pmatrix}- \begin{pmatrix}p_x\\p_y\end{pmatrix} \right\Vert_2\).