New post in Proof-verification

There exists a real number y so that for all real numbers x, x + y is rational true or false?

July 23rd, 2022

Disprove That: All birds can fly

August 18th, 2022

Show that $f(x)=3x^{2}-2x+1$ is continuous at 2

August 16th, 2022

Singular value decomposition proof

December 15th, 2022

Is this a solution for the problem: $\ a^3 + b^3 = c^3\ $ has no nonzero integer solutions?

July 30th, 2022

Verify the identiy, (cos(x+h) - sin x)/h = cos x * ((cos h - 1)/h)- sin x * (sin h /h)

October 10th, 2020

Show that $(1+x)^n$ = .... Hence deduce that .... = $2^n$

August 21st, 2020

Voltage Current and Voltage Charge Relationship for a Capacitor

August 28th, 2020

If $(PQ - I)$ is invertible, verify $(QP - I)$ is invertible with inverse:$ -I + Q(PQ-I)^{-1}P$

August 1st, 2022

What is the denial of a statement in logic math?

August 1st, 2022

proving that if $x^2 + x + 1$ is even, then $x$ is odd by induction

November 22nd, 2020

Prove that there is a number that is exactly one more than its cube

August 1st, 2022

Prove $x_n$ converges IFF $x_n$ is bounded and has at most one limit point

August 1st, 2022

There exists an integer k such that $n = 3k+1$. Then $n^2 = (3k+1)^2 =9k^2 + 6k + 1 = 3 (3k2 +2k)+1$.

April 10th, 2020

How to prove that the negative of any $\vec{v}\in V$ is unique?

August 1st, 2022

Prove that if f g and 2 are bounded, then f is also bounded

October 5th, 2020

Set proof (symmetric difference of disjoint set)

March 22nd, 2020

Prove that each of the following sets, with the indicated operation, is an abelian group

February 1st, 2020

Show that there is an identity element with respect to the operation $+$ and every subset $A$ of $D$ has an inverse with respect to $+$

February 2nd, 2020

Prove Nth derivative expression by induction

November 2nd, 2020

Using proof by contradiction to show that $x<y \implies \sqrt x < \sqrt y$

October 24th, 2020

Proving That a Parallelogram is a Rectangle

August 1st, 2022

Proof Verification: Comparison Property for Integrals

February 20th, 2020

What is the logic proof that ¬ (∃x)(Fx) => (∀x)(Fx → Gx)

September 13th, 2020

How is $f(x)=\tan(x)$ bijective for $(-\frac{\pi}{2}, \frac{\pi}{2})$ and not for an unrestricted domain?

November 16th, 2020

Prove that if S is a symmetric relation on A and R $\subseteq$ S, then $R^{-1}$ $\subseteq$ S

August 1st, 2022

function composition and identity functions proof

August 1st, 2022

How to prove complex-valued $\lim\limits_{z\to i}\left(\frac{iz^3 - 1}{z + i}\right) = 0$ via epsilon$-$delta definition?

March 4th, 2020

Pumping Lemma for Regular Languages confusion: do I need to prove the case for a single $y^i$, or a set of them?

May 20th, 2020

Attempting to Disprove: If every vertex of G has degree 2, then G is a cycle

August 1st, 2022