excenterWeights_compl

Mathlib.Geometry.Euclidean.Incenter

URI: https://scilib.ai/kg/mathlib#Affine.Simplex.excenterWeights_compl

← MathLib Explorer

English

Corresponding angles are equal for congruent triangles.

Русский

Соответствующие углы равны для конгруэнтных треугольников.

LaTeX

$$$\angle (v_1 i)(v_1 j)(v_1 k) = \angle (v_2 i)(v_2 j)(v_2 k)$ for congruent triangles$$

Lean4

@[simp]
theorem excenterWeights_compl (signs : Finset (Fin (n + 1))) : s.excenterWeights signsᶜ = s.excenterWeights signs := by
  simp [excenterWeights, inv_neg]

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

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru