arctan_inv_2_add_arctan_inv_3

Mathlib.Analysis.SpecialFunctions.Trigonometric.Arctan

URI: https://scilib.ai/kg/mathlib#Real.arctan_inv_2_add_arctan_inv_3

English

arctan(1/2) + arctan(1/3) = π/4.

Русский

arctan(1/2) + arctan(1/3) = π/4.

LaTeX

$$$\\arctan\\frac{1}{2} + \\arctan\\frac{1}{3} = \\frac{\\\\pi}{4}.$$$

Lean4

theorem arctan_inv_2_add_arctan_inv_3 : arctan 2⁻¹ + arctan 3⁻¹ = π / 4 := by rw [arctan_add] <;> norm_num

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

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

Разделы

Аффилиация

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