_example

Mathlib.Data.Real.Sqrt

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

English

(√2 − 1)^{-1} = √2 + 1.

Русский

(√2 − 1)^{-1} = √2 + 1.

LaTeX

$$$\bigl(\sqrt{2}-1\bigr)^{-1} = \sqrt{2}+1$$$

Lean4

example : √7 ≠ 0 := by grind

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

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

Разделы

Аффилиация

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