Intereting Posts

Calculus of variations: Lagrange multipliers
Proper notation for distinct sets
Finding equation of an ellipsoid
Compute $I = \int_0^{2\pi} \frac{ac-b^2}{^2+^2}dt$
Number of distinct numbers picked after $k$ rounds of picking numbers with repetition from $$
If $a+b=1$ so $a^{4b^2}+b^{4a^2}\leq1$
Finding a largest chain
Calculating a simple integral using abstract measure theory
What would have been our number system if humans had more than 10 fingers? Try to solve this puzzle.
Example of invertible maximal ideal that is not generated by one element
Distance between a point and a line in space
interesting square of log sin integral
Affine sets and affine hull
Is my proof that $U_{pq}$ is not cyclic if $p$ and $q$ are distinct odd primes correct?
Proving $ \lnot (A \Rightarrow B) \vDash A \land \lnot B $

The following is a Homework Question that I’ve been working on and I would like some feedback on my answer: Prove or find a counterexample: For all real numbers $x$ and $y$ it holds that $x + y$ is irrational **if, and only if**, both $x$ and $y$ are irrational.

So I’ve got (or at least like to think I’ve got) a counter example.

Let $x = 1$ and $y = \sqrt{2}$.

- How to prove that $\sqrt 3$ is an irrational number?
- Show that $\arctan(n)$ is irrational for all $n \in \mathbb{N}$
- Proving Irrationality
- Can we prove that the solutions of $\int_0^y \sin(\sin(x)) dx =1$ are irrational?
- Is the Nested Radical Constant rational or irrational?
- Sum of two irrational radicals is irrational?

Thus $x$ is rational and $y$ is irrational. Adding $x$ and $y$ gives us $1 + \sqrt{2}$ which cannot be simplified any further (right?) and is an irrational number.

Thereby proving that $x + y$ **can** be irrational without both x and y being irrational.

Is this okay?

Any feedback is greatly appreciated thank you!

- Under which conditions a solution of an ODE is analytic function?
- Let $C \subseteq $ be uncountable, show there exists $a \in (0,1)$ such that $C \cap $ is uncountable
- $K \subset \mathbb{R}^n$ is compact iff it is closed and bounded
- Intuition: If $a\leq b+\epsilon$ for all $\epsilon>0$ then $a\leq b$?
- Deriving Fourier inversion formula from Fourier series
- Proving that $f(n)=n$ if $f(n+1)>f(f(n))$
- Integral $\int_0^{\pi/2} \frac{\sin^3 x\log \sin x}{\sqrt{1+\sin^2 x}}dx=\frac{\ln 2 -1}{4}$
- A generalization of Cauchy's condensation test
- Evaluating $ \int_{-\pi /2014}^{\pi /2014}\frac{1}{2014^{x}+1}\left( \frac{\sin ^{2014}x}{\sin ^{2014}x+\cos ^{2014}x}\right) dx $
- The sequence of improper integrals of the form $\int\frac{dx}{1+x^{2n}}$

Hint: $\sqrt{2}-\sqrt{2}=0$ is rational.

Your counterexample works fine. I think a better version would be $$(\sqrt{2}-1)+(1)=\sqrt{2}$$ is clearly irrational, whereas $1$ is rational. Otherwise you would have to justify why the sum of an irrational and a rational number is irrational.

Note that an “if and only if” statement is really two statements:

- if $x$ and $y$ are both irrational then $x+y$ is irrational, and
- if $x+y$ is irrational then $x$ and $y$ are both irrational.

To prove the “iff” statement false you need an example where one of these is false: you could use the example given by @mathse or @LAcarguy.

It’s not necessary to prove that *both* parts are false, but if you want to, you could simply use both those examples: @mathse’s example shows that the second part of the statement is false, while @LAcarguy’s example does it for the first part.

It is not true. Example is: $x = 1-\sqrt{2}$ and $y = \sqrt{2}$, then both $x$ and $y$ are irrationals but $x + y = 1$ a rational number.

Here’s a hint, although the question has already been answered. Try turning the statement around, and seeing if you can find a rational number (or even a whole number…) and an irrational number whose difference is irrational.

Another counterexample is $x=0$ and $y=$ something irrational.

- $x^3+y^4=7$ has no integer solutions
- Integral $\int_0^\infty \log(1+x^2)\frac{\cosh{\frac{\pi x}{2}}}{\sinh^2{\frac{\pi x}{2}}}\mathrm dx=2-\frac{4}{\pi}$
- Least squares fit for an underdetermined linear system
- Show that a set $D$ is measurable with respect to a product measure $m \times \nu$, (lebesgue $\times$ counting measure)
- Maximum value of $ x^2 + y^2 $ given $4 x^4 + 9 y^4 = 64$
- What and where in the notebooks of Ramanujan is this series?
- Example of Artinian module that is not Noetherian
- Applications of the Isomorphism theorems
- Using Lagrange's theorem, prove that a non-abelian group of order $10$ must have a subgroup of order $5$.
- Homeomorphisms between infinite-dimensional Banach spaces and their spheres
- Mathematical structures
- Evaluate $\int \frac{1}{\sin x\cos x} dx $
- The simple roots of a polynomial are smooth functions with respect to the coefficients of the polynomial?
- $u\in W^{1,p}(0,1)$ is equal a.e. to an absolutely continuous function?
- Convergence $\int_0^1{\log{(\arctan{}x)}\dfrac{\frac{\pi}{2}-\arcsin{x}}{(e^{1-x}-1)^a}}$