Categories
Tags
Proof-verification
New post in Proof-verification
Is this a solution for the problem: $\ a^3 + b^3 = c^3\ $ has no nonzero integer solutions?
July 30th, 2022
number-theory
diophantine-equations
proof-verification
elementary-number-theory
Verify the identiy, (cos(x+h) - sin x)/h = cos x * ((cos h - 1)/h)- sin x * (sin h /h)
October 10th, 2020
proof-verification
trigonometry
Show that $(1+x)^n$ = .... Hence deduce that .... = $2^n$
August 21st, 2020
proof-verification
combinations
binomial-coefficients
combinatorics
Voltage Current and Voltage Charge Relationship for a Capacitor
August 28th, 2020
integration
proof-verification
ordinary-differential-equations
If $(PQ - I)$ is invertible, verify $(QP - I)$ is invertible with inverse:$ -I + Q(PQ-I)^{-1}P$
August 1st, 2022
linear-algebra
matrices
proof-verification
inverse
What is the denial of a statement in logic math?
August 1st, 2022
proof-verification
predicate-logic
logic
foundations
proving that if $x^2 + x + 1$ is even, then $x$ is odd by induction
November 22nd, 2020
proof-verification
induction
Prove that there is a number that is exactly one more than its cube
August 1st, 2022
proof-verification
Prove $x_n$ converges IFF $x_n$ is bounded and has at most one limit point
August 1st, 2022
proof-verification
real-analysis
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
proof-verification
How to prove that the negative of any $\vec{v}\in V$ is unique?
August 1st, 2022
linear-algebra
proof-verification
Prove that if f g and 2 are bounded, then f is also bounded
October 5th, 2020
proof-writing
proof-verification
Set proof (symmetric difference of disjoint set)
March 22nd, 2020
proof-verification
elementary-set-theory
Prove that each of the following sets, with the indicated operation, is an abelian group
February 1st, 2020
proof-verification
abstract-algebra
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
binary-operations
proof-verification
Prove Nth derivative expression by induction
November 2nd, 2020
induction
proof-verification
derivatives
Using proof by contradiction to show that $x<y \implies \sqrt x < \sqrt y$
October 24th, 2020
proof-verification
Proving That a Parallelogram is a Rectangle
August 1st, 2022
proof-verification
geometry
Proof Verification: Comparison Property for Integrals
February 20th, 2020
integration
proof-verification
real-analysis
What is the logic proof that ¬ (∃x)(Fx) => (∀x)(Fx → Gx)
September 13th, 2020
logic
predicate-logic
proof-verification
How is $f(x)=\tan(x)$ bijective for $(-\frac{\pi}{2}, \frac{\pi}{2})$ and not for an unrestricted domain?
November 16th, 2020
proof-explanation
proof-verification
functions
Prove that if S is a symmetric relation on A and R $\subseteq$ S, then $R^{-1}$ $\subseteq$ S
August 1st, 2022
equivalence-relations
relations
proof-verification
proof-writing
function composition and identity functions proof
August 1st, 2022
proof-verification
function-and-relation-composition
discrete-mathematics
functions
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
epsilon-delta
complex-analysis
limits
proof-verification
alternative-proof
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
pumping-lemma
regular-language
proof-verification
Attempting to Disprove: If every vertex of G has degree 2, then G is a cycle
August 1st, 2022
proof-verification
visualization
graph-theory
There exists no integers a and b for which $21a+30b=1$
August 1st, 2022
proof-writing
discrete-mathematics
proof-verification
Solve for $x$: $\arctan 2x +\arctan 3x = \left(\frac{\pi}{4}\right)$
June 19th, 2020
trigonometry
proof-verification
(Proof Check) Cosets: $aH=Ha$ if and only if $H=aHa^{-1}$ and question about coset multiplication
March 16th, 2020
proof-verification
abstract-algebra
proof-explanation
group-theory
Proving Row-Equivalence
January 22nd, 2020
proof-writing
linear-algebra
proof-verification
←
1
2
3
4
5
6
7
8
9
…
75
76
→