proof writing related issues & queries in MathXchanger

Prove if $a\mid b+c$ and $gcd(b, c)=1$ then $gcd(a, b)=1$

elementary-number-theory proof-verification alternative-proof
Updated September 21, 2019 22:20 PM

Showing there exists an A and a B such that M = AB

linear-algebra proof-writing
Updated September 21, 2019 21:20 PM

Solving $|x|^{(x-2)(x+1)}\lt 1$

proof-verification inequality absolute-value
Updated September 21, 2019 21:20 PM

How do I prove logical notations?

calculus proof-verification logic notation fake-proofs
Updated September 21, 2019 20:20 PM

Proving a solution based off of two other solutions

ordinary-differential-equations proof-verification dynamical-systems
Updated September 21, 2019 20:20 PM

Proof Verification: any open set can be written as countable union of open intervals

real-analysis general-topology proof-verification elementary-set-theory
Updated September 21, 2019 20:20 PM

Checking that a proof is correct.

real-analysis measure-theory proof-verification
Updated September 21, 2019 20:20 PM

need Help with calculus logic question

calculus proof-verification logic alternative-proof
Updated September 21, 2019 18:20 PM

Uniform continuous and Hölder on dense subset is Hölder continuous

real-analysis proof-verification
Updated September 21, 2019 18:20 PM

Difficult logic question with conditional statements

calculus proof-verification logic conditional-expectation
Updated September 21, 2019 18:20 PM

property of prime

discrete-mathematics proof-writing
Updated September 21, 2019 16:20 PM

Discrete mathematics: Properties of Prime Numbers

discrete-mathematics proof-writing
Updated September 21, 2019 15:20 PM

Explanation/ Intuition for part of Trace Proof.

linear-algebra proof-explanation
Updated September 21, 2019 14:20 PM

Prove if $x \neq 1$ then there exists exactly one $u$ such that $x=u'$

analysis proof-explanation peano-axioms
Updated September 21, 2019 13:20 PM

$C([a,b]), \| \cdot \|_\infty$ is complete

real-analysis functional-analysis proof-verification
Updated September 21, 2019 13:20 PM

Prove $\bf A(v_{1} + v_{2} + \cdots + v_n) = Av_{1} + Av_{2} + \cdots + Av_{n} $; $\bf A$ is matrix and $\bf v_{1},v_{2}... v_{n}$ are vectors.

linear-algebra proof-verification
Updated September 21, 2019 09:20 AM

Proof that two sets are equanimous, Proof verification

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

Real Analysis: proof limit with sigma-N definition of convergence

real-analysis sequences-and-series proof-verification convergence proof-writing
Updated September 21, 2019 06:20 AM

How are we meant to prove theorems?

logic proof-writing
Updated September 21, 2019 06:20 AM

Proof of why the solution is e

calculus proof-writing
Updated September 21, 2019 05:20 AM

How do I prove this is correct when taken to infinity?

proof-verification
Updated September 21, 2019 04:20 AM

Proof that a function is nonzero given constraints on $x$

real-analysis proof-verification
Updated September 21, 2019 03:20 AM

How to come up with analogies for thinking about proofs when it's appropriate to do so?

proof-writing soft-question intuition
Updated September 21, 2019 01:20 AM

How to prove $a - b = - (b - a)$ using the following laws?

proof-verification
Updated September 21, 2019 01:20 AM

Algebraic multiplicity and subfields

proof-verification eigenvalues-eigenvectors field-theory
Updated September 21, 2019 00:20 AM

How do you prove $X\cup (X\cap Y) = X$?

proof-verification proof-writing proof-explanation
Updated September 20, 2019 23:20 PM

$n\nmid(nk\pm r)$ where $n\in(1,\infty)\cap\mathbb{N},k\in\mathbb{N}$ and $0<r<n$

number-theory proof-verification
Updated September 20, 2019 21:20 PM

What is the definition of an embedding of one logic in another?

logic definition proof-theory intuitionistic-logic
Updated September 20, 2019 21:20 PM

Prove that 2 polynomials have the same number of roots

proof-writing
Updated September 20, 2019 20:20 PM

A ring is Noetherian if its prime ideals are ﬁnitely generated: simplified proof

proof-verification commutative-algebra noetherian
Updated September 20, 2019 19:20 PM

Prove by combinatorial argument that $n^m=\sum_{i=1}^{n}$ ${n}\choose{i}$ $S(m,i)$

combinatorics discrete-mathematics proof-verification proof-writing combinatorial-proofs
Updated September 20, 2019 18:20 PM

Doubts about the process of vector operation

linear-algebra vectors proof-explanation rotations
Updated September 20, 2019 12:20 PM

What does "prove by induction" mean?

calculus induction terminology proof-theory
Updated September 20, 2019 12:20 PM

Prove that any non-zero orthogonal vectors in $\mathbb R^{n}$ form a basis for $\mathbb R^{n}$

linear-algebra proof-verification
Updated September 20, 2019 11:20 AM

Prove the property of the dot product of the vectors: $\bf u(v_{1} + v_{2} \cdots v_{n}) = uv_{1} + uv_{2} \cdots + uv_{n}$

linear-algebra proof-verification
Updated September 20, 2019 10:20 AM

Suppose that a function $f: G \to H$ is an isomorphism? Must f inverse be an isomorphism as well?

abstract-algebra group-theory proof-verification group-isomorphism
Updated September 20, 2019 09:20 AM

How can I prove the using definition of a limit?

real-analysis limits proof-writing
Updated September 20, 2019 08:20 AM

Is my proof of uniform exterior regularity of Lebesgue measure correct?

real-analysis measure-theory proof-verification borel-measures
Updated September 20, 2019 07:20 AM

Let $f:[0,1]\to \mathbb{R}$. Show that $\{a \in [0,1]: f(a)\neq 0\} = \bigcup_{n=1}^{\infty} \{a \in [0,1]: |f(a)|\geq 1/n\}$ (Proof Verify)

real-analysis general-topology proof-verification elementary-set-theory
Updated September 20, 2019 05:20 AM

On the period of Bell numbers modulo a prime

sequences-and-series proof-verification modular-arithmetic bell-numbers
Updated September 20, 2019 04:20 AM

If $\omega^i = \omega$ then $\omega = \epsilon$

discrete-mathematics proof-writing
Updated September 20, 2019 04:20 AM

How do you prove that $n^{1/n}>1$ for all $n\geq2$?

proof-writing induction
Updated September 20, 2019 02:20 AM

Finding a new presentation for $H=\langle ab,abc\rangle$

group-theory alternative-proof group-presentation combinatorial-group-theory
Updated September 20, 2019 02:20 AM

Stuck on a prime addition proof. By way of contradiction.

proof-writing proof-explanation irrational-numbers
Updated September 20, 2019 01:20 AM

Establishing properties of set of Lipschitz functions

real-analysis proof-explanation
Updated September 20, 2019 01:20 AM

Finite Ramsey theorem in arithmetic

logic proof-theory ramsey-theory
Updated September 19, 2019 22:20 PM

Existence of a closed curve with zero area and infinite perimeter, but not conversely

proof-verification area curves rectangles
Updated September 19, 2019 21:20 PM

How to find integers that divide another integer.

number-theory discrete-mathematics proof-writing divisibility
Updated September 19, 2019 20:20 PM

How many integral solutions does $2x + 3y + 5z = 900$ have when $ x, y, z \ge 0$?

combinatorics algebra-precalculus elementary-number-theory proof-verification
Updated September 19, 2019 19:20 PM

$A=\{e_k : k=1,2,3\ldots\} $ is closed in $\ell1$

proof-verification metric-spaces
Updated September 19, 2019 19:20 PM

Showing Page 1 of 0