Affine space/Affine Basis/Barycentric coordinates/Fact/Proof

Proof

Let be fixed. In , we have a unique representation

We set

Then , and

Therefore, there exists such a representation with as origin. Uniqueness follows from the facts that the , , are uniquely determined as the coefficients of the vector space basis, and that is determined by the baryzentric condition.