tsum_geometric_two

Mathlib.Analysis.SpecificLimits.Basic

URI: https://scilib.ai/kg/mathlib#tsum_geometric_two

English

The sum of the geometric series with ratio 1/2 equals 2.

Русский

Сумма геометрической серии с коэффициентом 1/2 равна 2.

LaTeX

$$$\\\\sum' n, (\\\\tfrac{1}{2})^n = 2$$$

Lean4

theorem tsum_geometric_two : (∑' n : ℕ, ((1 : ℝ) / 2) ^ n) = 2 :=
  hasSum_geometric_two.tsum_eq

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

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

Разделы

Аффилиация

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