Affiner Raum/Affine Basis/Baryzentrische Koordinaten/Fakt/Beweis

Beweis

Es sei ${}i_{0}\in I$ fixiert. Es gibt dann in ${}V$ eine eindeutige Darstellung

${}{\overrightarrow {P_{i_{0}}P}}=\sum _{i\in I\setminus \{i_{0}\}}a_{i}{\overrightarrow {P_{i_{0}}P_{i}}}\,.$

Wir setzen

${}a_{i_{0}}:=1-\sum _{i\in I\setminus \{i_{0}\}}a_{i}\,.$

Dann ist ${}\sum _{i\in I}a_{i}=1$ und

${}{\begin{aligned}P&=P_{i_{0}}+{\overrightarrow {P_{i_{0}}P}}\\&=P_{i_{0}}+\sum _{i\in I\setminus \{i_{0}\}}a_{i}{\overrightarrow {P_{i_{0}}P_{i}}}\\&=P_{i_{0}}+a_{i_{0}}{\overrightarrow {P_{i_{0}}P_{i_{0}}}}+\sum _{i\in I\setminus \{i_{0}\}}a_{i}{\overrightarrow {P_{i_{0}}P_{i}}}\\&=P_{i_{0}}+\sum _{i\in I}a_{i}{\overrightarrow {P_{i_{0}}P_{i}}}.\end{aligned}}$

Es gibt also eine solche Darstellung mit ${}P_{i_{0}}$ als Ursprung. Die Eindeutigkeit folgt daraus, dass die ${}a_{i}$, ${}i\neq i_{0}$, durch die eindeutig bestimmten Koeffizienten der Vektorraumbasis festgelegt sind und dass ${}a_{i_{0}}$ durch die baryzentrische Bedingung festgelegt ist.

Zur bewiesenen Aussage