centroid_def — Mathlib

English

For any s and p, the centroid equals the affine combination of the points p(i) with weights s.centroidWeights(k,i).

Русский

Для любого s и p центр масс равен аффинному сочетанию точек p(i) с весами s.centroidWeights(k,i).

LaTeX

$$$\\mathrm{centroid}(k,s,p) = s.affineCombination(k,p, s.centroidWeights(k))$$$

Lean4

/-- The definition of the centroid. -/
theorem centroid_def (p : ι → P) : s.centroid k p = s.affineCombination k p (s.centroidWeights k) :=
  rfl

Похожие утверждения