New posts in proof-explanation

Proof that the Casimir invariant of a representation commutes with everything

proof-explanation representation-theory lie-algebras

epsilon-delta proof of $\lim_{x \to 4} \sqrt{x} = 2$

calculus limits radicals epsilon-delta proof-explanation

Is it true that $\int_0^\infty \frac{f(x)}{x} \sin \bigl(\frac{\pi x}{a}\bigr) \,\mathrm{d}x = \frac{\pi}{2} \int_0^{a/2} f(x) \,\mathrm{d}x$?

integration definite-integrals proof-explanation

Regarding $e$ in $\lim\limits_{x \to a}{[\phi(x)]^{\psi(x)}} = e^{\lim\limits_{x \to a}{[\phi(x) - 1]\psi(x)}}$

calculus real-analysis limits exponential-function proof-explanation

Intuitive understanding of the uniqueness of the Fundamental Theorem of Arithmetic.

elementary-number-theory intuition proof-explanation

Show that (ℚ,+)/(ℤ,+) is an infinite group every element of which has finite order.

abstract-algebra proof-explanation

Lang's proof that there exists $x>0$ such that $\cos x=0$

real-analysis derivatives trigonometry continuity proof-explanation

Understanding proof for $e \leq 3v - 6$ in planar graphs

discrete-mathematics graph-theory proof-explanation planar-graphs

Limit definition of pseudoinverse: $A^+ b$ is as close as possible to $y$ in terms of the Euclidean norm $\lVert Ax-b\rVert_2$

linear-algebra proof-explanation normed-spaces pseudoinverse

Confused about the meaning of a differantial map in baby do Carmo.

derivatives differential-geometry linear-transformations proof-explanation differential

Prove that the radius of derived series $\sigma'$ is the same of $\sigma$.

real-analysis sequences-and-series solution-verification proof-explanation power-series

Decomposition of a representation into a direct sum of irreducible ones

linear-algebra group-theory finite-groups representation-theory proof-explanation

How Do I Solve This Inequality? $\frac{a^3}{b}+\frac{b^3}{c}+\frac{c^3}{a} \geq ab + bc + ca $ [duplicate]

proof-explanation

Proving the validity of a metric on $X \sqcup Y$.

metric-spaces proof-explanation

Proving one metric on $\mathcal{C}([0,1], \mathbb{R})$ dominates another

metric-spaces proof-explanation

How to convert $\pi$ to base 16?

proof-explanation approximation pi number-systems transcendental-numbers

Nonsense from combining two iffs ($\iff$)

logic proof-explanation fake-proofs

How to negate a conditional statement with the term "either"

logic proof-writing proof-explanation

Assuming that ⊢ is sound and complete with respect to ⊨, select all statements that are valid [closed]

logic proof-explanation

Let $α$ be an ordinal and $A$ be a set of ordinals. Then $\sup\limits_{β∈A} (α+β) = α+\sup\limits_{β∈A}(β)$

proof-explanation ordinals