proof writing related issues & queries in MathXchanger

Proving Cauchy-Schwarz with Arithmetic Geometric mean

linear-algebra inequality proof-explanation
Updated September 21, 2018 18:20 PM

Proving a, b ,c, d, e are all Real Numbers using linear equation

linear-algebra proof-verification computer-science
Updated September 21, 2018 17:20 PM

Proving that $|S|\cdot|T|=|ST|\cdot |S\cap T|$ for finite subgroups $S$ and $T$

group-theory proof-verification finite-groups
Updated September 21, 2018 17:20 PM

Proving that a line segment joining the midpoints of two sides of a triangle equals half of third side.

geometry proof-verification triangle alternative-proof
Updated September 21, 2018 16:20 PM

Why do all elements commute in centre of an arbitrary finite group?

abstract-algebra group-theory proof-writing finite-groups
Updated September 21, 2018 16:20 PM

Signs of Maclaurin coefficients of $\frac{1}{e^x+q}$

taylor-expansion exponential-function proof-explanation
Updated September 21, 2018 15:20 PM

A group of cardinality $4$ is abelian

group-theory proof-verification abelian-groups
Updated September 21, 2018 15:20 PM

Tips to improve one's probabilistic reasoning?

probability proof-writing soft-question
Updated September 21, 2018 14:20 PM

How many triplet primes of the form $p, p+2, p+4$ are there? Prove your conjecture.

alternative-proof
Updated September 21, 2018 14:20 PM

Proof that each element of finite arbitrary group belongs to unique conjugacy class - question on step which takes inverse of a product

abstract-algebra group-theory proof-verification finite-groups
Updated September 21, 2018 14:20 PM

If a hypersurface has a self-intersection point, then the second fundamental form it is negative in a neighborhood of this point

differential-geometry proof-explanation riemannian-geometry mean-curvature-flows
Updated September 21, 2018 13:20 PM

Understanding Gaps in concept of Radius of Convergence of Power Series

real-analysis sequences-and-series proof-verification power-series
Updated September 21, 2018 12:20 PM

Finding a contraction of a transformation by Contraction Mapping Theorem

proof-explanation contraction-operator
Updated September 21, 2018 10:20 AM

Suppose that $Y \subseteq X$ and that $f:X \to Y$ is injective. Then there is a bijection from $X$ to $Y$

elementary-set-theory proof-verification
Updated September 21, 2018 09:20 AM

Prove that a concatenation of two vector series, one of which is linearly independent, is linearly independent

linear-algebra vector-spaces proof-writing
Updated September 21, 2018 08:20 AM

Proof: Proving an equivalence relation on $\mathbb{R}$

discrete-mathematics proof-writing proof-explanation
Updated September 21, 2018 08:20 AM

Use only the rules of inference to derive a logic statement

discrete-mathematics logic proof-writing propositional-calculus
Updated September 21, 2018 07:20 AM

Prove that the square of every odd integer equals $4k+1$.

discrete-mathematics proof-writing proof-explanation
Updated September 21, 2018 06:20 AM

Uniqueness of a General IVP

differential-equations proof-verification lipschitz-functions
Updated September 21, 2018 06:20 AM

Chain rule proof. "when $g(x) \neq g(a)$ when $x$ and $a$ are close"

calculus proof-explanation chain-rule
Updated September 21, 2018 06:20 AM

Subgroups/Subsets of Groups

group-theory proof-writing finite-groups
Updated September 21, 2018 03:20 AM

Equations of the diagonals of a quadrilateral (convex, concave or crossed) from the equations of its sides, without calculating its vertices

proof-verification analytic-geometry quadrilateral
Updated September 21, 2018 02:20 AM

How to find the minimum value of an expression without using calculus (only proofs)?

proof-verification proof-explanation
Updated September 21, 2018 02:20 AM

Solving/Proving Composite Functions

algebra-precalculus discrete-mathematics proof-explanation
Updated September 21, 2018 01:20 AM

Real analysis problems involving proofs with sequences and sets

real-analysis sequences-and-series proof-writing
Updated September 21, 2018 01:20 AM

Find the x in the following equation using some artifice

calculus algebra-precalculus proof-verification problem-solving solvable-groups
Updated September 21, 2018 01:20 AM

Proof involving absolute value and maximums

proof-writing absolute-value
Updated September 21, 2018 00:20 AM

Fibonacci proof by induction analysis

analysis induction fibonacci-numbers proof-theory
Updated September 21, 2018 00:20 AM

Introductory recursion Proof.

elementary-set-theory proof-writing recursion
Updated September 20, 2018 23:20 PM

understanding "lifting" method in Hensel's lemma

elementary-number-theory proof-explanation
Updated September 20, 2018 23:20 PM

If $a\equiv b \text{ mod}(c^2) \Longrightarrow a \equiv b \text{ mod}(c)$ proof

elementary-number-theory proof-writing
Updated September 20, 2018 22:20 PM

find $A,B$ in way that $f:A\rightarrow B$ is bijective, when $f(x)=\sqrt{x^2-1}$

real-analysis functions proof-verification
Updated September 20, 2018 21:20 PM

Prove that $P(A \cap B ) \geq 1 - P(\bar{A}) - P(\bar{B})$

elementary-set-theory proof-verification
Updated September 20, 2018 21:20 PM

How to prove the Angle Addition Law for Sine using the Extended Sine Law?

geometry algebraic-geometry proof-writing euclidean-geometry
Updated September 20, 2018 19:20 PM

Clarification for the derivation of the Fourier Transform.

real-analysis proof-explanation fourier-transform
Updated September 20, 2018 17:20 PM

Given that $\log_ab$ = $\log_ba$, and that $a,b \ne 1$ and $a \ne b$, find $b$ in terms of $a$.

proof-writing logarithms
Updated September 20, 2018 17:20 PM

A closure of a countable set is countable

elementary-set-theory proof-verification
Updated September 20, 2018 16:20 PM

How $\left| w\right|\leq1/2$ when $\left| w\right|$ is defined as a big number?

real-analysis complex-analysis complex-numbers proof-explanation
Updated September 20, 2018 16:20 PM

Why is this contradiction not a contradiction?

calculus integration improper-integrals proof-explanation
Updated September 20, 2018 09:20 AM

Find the closure of a set under many operations

elementary-set-theory proof-verification
Updated September 20, 2018 09:20 AM

Proof of Heaviside cover-up method

complex-analysis proof-writing
Updated September 20, 2018 05:20 AM

Using Gram-Schmidt to Construct orthonormal basis for $\mathbb{C}^{k+1}$ that includes a unit eigenvector of a matrix

linear-algebra proof-explanation orthogonality
Updated September 20, 2018 05:20 AM

Combinations with Conditional Probability

probability proof-verification combinations
Updated September 20, 2018 04:20 AM

Solution to system of first order wave PDEs

proof-verification pde characteristics linear-pde
Updated September 20, 2018 04:20 AM

Epsilon Limit Proof Structure

real-analysis limits proof-verification
Updated September 20, 2018 03:20 AM

For Fibonacci numbers: $\gcd(f_m, f_n) = f_{\gcd(n, m)}$

elementary-number-theory proof-verification fibonacci-numbers
Updated September 20, 2018 02:20 AM

Proof-mathematical induction

induction predicate-logic proof-theory
Updated September 20, 2018 02:20 AM

Prove formula $\operatorname{arctanh} x = \frac12\,\ln \left(\frac{1+x}{1-x}\right)$

proof-verification hyperbolic-functions
Updated September 20, 2018 00:20 AM

How to obtain the quadratic equation when given that the sum of the roots at equal to 47 and the product of the roots is -59?

proof-verification systems-of-equations
Updated September 19, 2018 23:20 PM

How to prove $\vdash p \to p$ using Hilbert axioms?

logic proof-explanation propositional-calculus
Updated September 19, 2018 22:20 PM

Showing Page 1 of 0