TheoremBase

The Integral of 1/(1+s²) over ℝ

The function 1/(1+s²) is Lebesgue integrable on the real line, with integral π.

Statement

In the setting of Lebesgue Measure on the Real Line: Standing Notation, let π\pi be the number of The Number Pi (i), and let k:R→Rk:\mathbb{R}\to\mathbb{R} be the function k(s)=1/(1+s2)k(s)=1/(1+s^{2}) (defined since 1+s2≥11+s^{2}\ge1).

The integral. k∈M+(R,B(R))k\in\mathcal{M}^{+}(\mathbb{R},\mathcal{B}(\mathbb{R})), and its integral is

∫R11+s2 dλ(s)=π.\int_{\mathbb{R}}\frac{1}{1+s^{2}}\,d\lambda(s)=\pi.

Integrability. k∈L1(λ)k\in\mathcal{L}^{1}(\lambda).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…