Intereting Posts

outer automorphisms of $S_6$
In a monoid, does $x \cdot y=e$ imply $y \cdot x=e$?
Are any of these notions of “k-space” equivalent if $X$ is not assumed weakly Hausdorff?
Closed Convex sets of $\mathbb{R^2}$
3-regular graphs with no bridges
$f(g(x))=g(f(x))$ implies $f(c)=g(c)$ for some $c$
Solutions for diophantine equation $3^a+1=2^b$
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
How can I find the inverse z transform of 1/(z-a)?
Is the derivative of the characteristic polynomial equal to the sum of characteristic polynomial of principle submatrices?
Solve $10^x+11^x+12^x = 13^x+14^x$
Best practice book for calculus
Grouping natural numbers into arithmetic progression
Hyperbolic metric geodesically complete
Need help solving linear equations with elimination and substiution method

I made a proof by contradiction.

Suppose $δ=(a+b,\operatorname{lcm}[a,b])$ and let it be that $δ\neq(a,b)$.

Then $\exists ε\big(ε=(a,b) \land ε\gt δ \big) \implies ε|a \land ε|b \implies ε|(a+b)$.

- What is $2^{7!}\bmod{2987}$
- If $n\in\mathbb N$ and $k\in\mathbb Z$, solve $n^3-32n^2+n=k^2$.
- Greatest common divisor is the smallest positive number that can be written as $sa+tb$
- Alternative solution to $\cos\frac{2\pi}{17}$
- Show that this sum is an integer.
- I finally understand simple congruences. Now how to solve a quadratic congruence?

It is also true that $ε|\operatorname{lcm}[a,b]$.

By the two previous statements, we get that $ε|(a+b,\operatorname{lcm}[a,b])\implies ε|δ$. This is absurd since $ε>δ$.

Thus $δ=(a,b)$.

Is it correct? I wonder if i made errors during my logical analysis. Thanks in advance.

- Unclear on why Meissel's approach to counting primes works
- $\gcd(b^x - 1, b^y - 1, b^ z- 1,…) = b^{\gcd(x, y, z,…)} -1$
- Finding all solutions of $x^{11}\equiv 1\bmod23,$
- Help me put these enormous numbers in order: googol, googol-plex-bang, googol-stack and so on
- Is this a sound demonstration of Euler's identity?
- Proof irrationality $n\sqrt{11}$
- Decimal/hex palindromes: why multiples of 53?
- Conjectured new primality test for Mersenne numbers
- Proof Verification : Prove -(-a)=a using only ordered field axioms
- Does Bezout's lemma work both ways.

Below are a few of many possible proofs.

Using the fact the gcd distributes over lcm we obtain

$$(a+b,[a,b]) = [(a+b,a),(a+b,b)] = [(b,a),(a,b)] = (a,b)$$

Cancelling $\,(a,b)\,$ we reduce to the case $\,(a,b) = 1\,$ so $\,ab = [a,b],\ $ so by Euclid’s Lemma

$$\begin{eqnarray}(a+b,\color{#c00}a) = (b,a)= 1\\ (a+b,\color{#c00}b)=(a,b)=1\end{eqnarray}\ \Rightarrow\ 1 = (a+b,\color{#c00}{ab}) = (a+b,[a,b])$$

By the gcd * lcm law $\,(a,b)[a,b] = \color{#0a0}{ab}\,$ and gcd laws (associative, commutative, distributive)

$$ (a,b)\ (a+b, [a,b])\ =\ (a(a+b),\,b(a+b),\, \color{#0a0}{ab})\ =\ (aa,\:bb,\:ab)\ =\ (a,b)^2$$

thus we deduce $\ (a+b,[a,b]) = (a,b)\ $ by cancelling $\ (a,b)\neq 0$

Let $m=\gcd (a,b).$

We have $a=xm$ and $b=ym$ where $\gcd (x,y)=1.$ Then lcm $ (a,b)=mxy.$ Proof: $\;mxy$ is a common multiple of $a, b.$ If $a|c$ then $c=az=mxz.$ And if also $b|c,$ we have $ym|mxz. $… So $y|xz,$ so $y|z$ …(because $\gcd (y,x)=1)$…Hence $z=yz’,$ implying $c=az=mxz=mxyz’.$

Therefore $$\gcd (a+b, \text {lcm} (a,b))=\gcd (xm+ym, xym)=m\cdot \gcd (x+y, xy).$$ Now if $p$ is prime and $p$ divides both $x+y$ and $xy$ then either $(p|x\land p|(x+y)$ or $(p|y\land p|(x+y).$ But either of these implies $(p|x\land p|y)$, which cannot be, as $p>1=\gcd (x,y).$ Therefore $\gcd (x+y,xy)=1$ and we are done.

How do you know that $\epsilon>\delta$? If I were to prove this, I would start by assuming without loss of generality that $\gcd(a,b)=1$. Then, find a contradiction when a prime $p$ divides both $a+b$ and $ab$.

- Generate the smallest $\sigma$-algebra containing a given family of sets
- Prove that an isometry on a subset of $\mathbb{R}^n$ is affine.
- Integral $\int_0^{1/2}\arcsin x\cdot\ln^2x\,dx$
- Intuition for the Cauchy-Schwarz inequality
- Norm induced by convex, open, symmetric, bounded set in $\Bbb R^n$.
- $K_6$ contains at least two monochromatic $K_3$ graphs.
- T$\mathbb{S}^{n} \times \mathbb{R}$ is diffeomorphic to $\mathbb{S}^{n}\times \mathbb{R}^{n+1}$
- Minimum / Maximum and other Advanced Properties of the Covariance of Two Random Variables
- $\text{Aut}(F)$ is isomorphic to the multiplicative group of all $n\times n$ matrices over $\mathbb Z$
- Do irrational derivative orders exist?
- How to choose between two options with a biased coin
- Mrs Reed safe combination
- How come the cross product of two planes is collinear with the direction vector of the line?
- Is there a solution to this system for the diagonal matrix?
- Weak topology and the topology of pointwise convergence