Intereting Posts

Path-connected and locally connected space that is not locally path-connected
Singular points on parallel surfaces
For all $n>2$ there exists a prime number between $n$ and $ n!$
Finding the largest equilateral triangle inside a given triangle
Convergence in distribution of conditional expectations
Inductive proof of the closed formula for the Fibonacci sequence
How generalize the alternating Möbius function?
Finitely generated projective modules are isomorphic to their double dual.
Probability of having exactly 1 pair from drawing 5 cards
Proving Binomial Identity without calculus
Prove that the expression cannot be a power of 2
Does every infinite-dimensional inner product space have an orthonormal basis?
Homology of a simple chain complex
Show that a function from a Riemann Surface $g:Y\to\mathbb{C}$ is holomorphic iff its composition with a proper holomorphic map is holomorphic.
Is a Markov process a random dynamic system?

Prove $\sqrt{3}$ is irrational. (Proof by contradiction).

Let $\sqrt{3}$ be a rational number in simplest form $\frac pq$.

So squaring both sides of $\sqrt{3}=\frac pq$ we get $3=(\frac {p}{q})^2$ which translates to $3=\frac{p^2}{q^2}$.

- Prob. 27, Chap. 5, in Baby Rudin: The initial-value problem $y^\prime = \phi(x,y)$, $y(a)=c$
- Can I say $f$ is differentiable at $c$ if $D_u(c) = \nabla f(c) \cdot u$ for all unit vectors $u$?
- composition of $L^{p}$ functions
- Convergence and uniform convergence of a sequence of functions
- Net based on finer filter is a subnet?
- The series $\sum\limits_{n=1}^\infty \frac n{\frac1{a_1}+\frac1{a_2}+\dotsb+\frac1{a_n}}$ is convergent

Multiply both sides of the equation by $q^2$ yields $3q^2=p^2$. Now $p^2$ is taken to be divisible by 3 and thus an odd number, $p$ is also odd because any odd number squared is also odd.

So let $p=3s$ where s is an integer. Then $3q^2=(3s)^2 = 3q^2=9s^2$. Dividing both sides of the equation by 3 leaves us with $q^2=3s^2$.

Here is is taken that $q^2$ is divisible by 3 and is odd and so is $q$.

Therefore both $q \text{ and}\; p$ have a common factor of being odd and divisible by 3, proving that the $\sqrt{3}$ is irrational.

Are there any gaps that I could improve on?

- Please critique these proofs on function theorems
- If $f$ s discontinuous at $x_0$ but $g$ is continuous there, then $f+g$?
- Every Cauchy sequence in a metric space is bounded
- Why is exponentiation defined as $x^y=e^{\ln(x)\cdot y}$?
- Numerical integration over a surface of a sphere
- The function is continuous but not uniformly continuous at $$.
- Analytic $F(z)$ has $f(z)$ as derivative $\implies$ $\int_\gamma f(z)\ dz = 0$ for $\gamma$ a closed curve
- Exercise 1 pg 33 from “Algebra - T. W. Hungerford” - example for a semigroup-hom but not monoid-hom..
- Show that if $\int_0^x f(y)dy \sim Ax^\alpha$ then $f(x)\sim \alpha Ax^{\alpha -1}$
- Looking for Proofs Of Basic Properties Of Real Numbers

“Now $p^2$ is taken to be divisible by 3 and thus an odd number, $p$ is also odd because any odd number squared is also odd.” That’s a non-sequitur. The fact that any odd number squared is odd doesn’t rule out other numbers being odd.

“So let $p=3s$ where s is an integer.” That’s illegitimate. $p$’s being odd doesn’t make it multiple of 3.

So you need to repair the argument from $p^2$ being taken to be divisible by 3 to $p$ being of the form $p=3s$.

Yes.

Firstly, the analogoues of *even* number when proving $\sqrt2$ is irrational, is not the **odd** numbers for $\sqrt3$, but the numbers ‘*divisible by $3$*‘ (and these are not necessarily odd, for example $12$).

Secondly, it is not finished yet. You have to divide the $3$’s for an *infinite time*, contradicting the fundamental thm of number theory, or, the easiest, is that $p$ and $q$ are assumed to be relatively primes (else $\displaystyle\frac pq$ would be simplifiable).

1) I would change the first “Let” to be “assume by negation”

2) 2) $p^{2}$ is not taken to be divisible by $3$, we concluded this

3) “and thus an odd number” – this is wrong since, for example, $3\mid6$

but $6$ is not odd

You must assume that $gcd(p,q)=1$, then you get contradiction in the last part of your proof.

- How to solve this derivative of f proof?
- Prove that $\lim_{a \to 0^{+}} \int_{0}^{a} \frac{1}{\sqrt{\cos(x)-\cos(a)}} \;dx=\frac{\pi}{\sqrt{2}}$
- The homology groups of $T^2$ by Mayer-Vietoris
- How do you break up an exact sequence of any length to a “succession of short exact sequences”?
- Inequality of numerical integration $\int _0^\infty x^{-x}\,dx$.
- Is length adimensional when space is not flat?
- Prove that $p \in \mathbb{R}$ can be represented as a sum of squares of polynomials from $\mathbb{R}$
- Limit of Integral of Difference Quotients of Measurable/Bounded $f$ Being $0$ Implies $f$ is Constant
- does this Newton-like iterative root finding method based on the hyperbolic tangent function have a name?
- Prove $\int_{0}^{x}f+\int_{0}^{f(x)}f^{-1}=xf(x)\qquad\text{for all $x\geq0$}$
- Show that the zero set of $f$ is an orientable submanifold of $\Bbb R^{n+1}$.
- Number of integer solutions: $x^2 + y^2 + z^2 = N$
- Computing a three-dimensional Lebesgue measure of a bounded set
- Finding the angle of rotation of an ellipse from its general equation and the other way around
- Integral calculus proof