New posts in proof-explanation

Topology: Show restriction of continuous function is continuous, and restriction of a homeomorphism is a homeomorphism

general-topology functions proof-verification proof-writing proof-explanation

Fractions: cross-multiply equivalence is least with $\frac{a}b\approx \frac{ac}{bc}$

abstract-algebra proof-explanation fractions equivalence-relations

Is dealing with mathematics without understanding philosophy behind it good aproach?

proof-explanation philosophy

Inductive proof of gcd Bezout identity (from Apostol: Math, Analysis 2ed)

number-theory induction proof-explanation gcd-and-lcm

Algorithm to answer existential questions - Reduction

number-theory logic computability formal-languages proof-explanation

Proof obligations, Hoare-logic

logic proof-explanation

Convergence test for $\Sigma \frac{1}{n^\alpha}$

real-analysis sequences-and-series proof-explanation

Prove that $\int f\ d\lambda = \int_{a}^{b} f(x)\ dx,$ for any $f \in \mathcal R[a,b].$

integration measure-theory proof-explanation lebesgue-integral riemann-integration

Having trouble proving natural transformation horizontal composition equality of two formulas using a diagram.

abstract-algebra category-theory proof-explanation

Proof explanation: T is unitary $ \iff $ $ T^*T = I $

linear-algebra proof-explanation

Theorem 6.19 of Baby Rudin

real-analysis integration proof-explanation

fundamental group of manifold, Lee's text topological manifold

differential-geometry manifolds proof-explanation

Show that $\lim_{n\to\infty} \sqrt[n]{a^{n} + b^{n}} = \max(a, b)$

real-analysis sequences-and-series limits proof-explanation

Explain the argument used in the answer

general-topology solution-verification proof-explanation compactness separation-axioms

Prove there are no prime numbers in the sequence $a_n=10017,100117,1001117,10011117, \dots$

sequences-and-series prime-numbers proof-explanation

Proving that the fundamental groups of two spaces with same homotopy type are isomorphic

algebraic-topology proof-explanation fundamental-groups

For 2 orthogonal vectors, is tan(a)tan(b)=-1?

geometry trigonometry proof-writing vectors proof-explanation

Fallacious proof involving trigonometry

calculus trigonometry proof-explanation fake-proofs trigonometric-integrals

Proof clarification for Question 68 of Spivak's 'Calculus' - exploring the function $f(x)=\alpha x + x^2 \sin(1/x)$ for $\alpha =1$

calculus proof-explanation

If $M$ is a compact Riemannian manifold and $g$ and $\tilde{g}$ are metrics on $M$, then $\frac{1}{C} g \leq \tilde{g} \leq C g$ for $C > 1$

proof-explanation riemannian-geometry