All Questions
Tagged with real-numbers proof-writing
127
questions
0
votes
1
answer
22
views
How to more formally prove this inequality
This is a simple problem I came up with while doing another problem:
Given: $n < (n + \frac{1}{2}) < y < (n + 1)$
Prove: $|y - n| > |y - (n + 1)|$
So how I proved it was simply using the ...
0
votes
4
answers
71
views
$Show: a\in \mathbb{Z} \Rightarrow 6\mid a^3 -a$
$Show: a\in \mathbb{Z} \Rightarrow 6\mid a^3 -a$
My attempt:
NTS: $6\mid a^3 -a$, so $(2\mid a^3 -a) \land (3\mid a^3 -a)$
Assume that $a\in \mathbb{Z}$, therefore I have 2 cases:
a is even $\...
-3
votes
4
answers
109
views
why is the co-prime part not mentioned in the definition of the rational number?
Proving $\sqrt{2}$ an irrational number is a quite popular exercise, in precalculus courses, but if we look clearly the definition that is introduced, in the beginning of the course, it never ...
-1
votes
1
answer
52
views
Prove that there exist equal number of irrational numbers between any 2 rational numbers, when the difference between the 2 rational numbers is same. [closed]
Prove that there exist equal number of irrational numbers between any 2 rational numbers, when the difference between the 2 rational numbers is same.
If the assertion is not true then please prove ...
7
votes
2
answers
277
views
Baby Rudin Theorem 1.19 Step 5
I have no background in pure mathematics, and I'm trying to learn how to be more rigorous in general. To help with this, I am trying to make everything more explicit as I progress through Rudin's ...
0
votes
1
answer
137
views
proof of infimum and upper bound of $(1+1/n)^n$
I have to prove that 2 is the minimum, and therefore infimum of the set of all numbers $(1+1/n)^n$, where $n$ are positive integer numbers. And also that it is upper bounded, not necessarily to show ...
1
vote
0
answers
59
views
Exercise 6, Section 2.2 of Hoffman’s Linear Algebra
(a) Prove that the only subspaces of $\Bbb{R}$ are $\Bbb{R}$ and the zero subspace.
(b) Prove that a subspace of $\Bbb{R}^2$ is $\Bbb{R}^2$, or the zero subspace, or consist of all scalar multiples of ...
0
votes
1
answer
163
views
Prove that the closed interval [a, b] is compact.
I am studying the topology of $\mathbb{R}$ and I want to prove that the closed interval $[a,b]$ is compact using the Heine-Borel Theorem that a set in $\mathbb{R}$ is compact iff it is closed and ...
0
votes
3
answers
179
views
Is a bounded polynomial constant? [duplicate]
I am trying this problem:
If $p(x)$ is a bounded polynomial for all $x\in \mathbb R$, then $p(x)$ must be a constant.
I am trying to prove it by contradition. So I assume that $p(x)$ is bounded for ...
3
votes
1
answer
94
views
Help With Basic Proof from Rudin PMA Chapter One
From Walter Rudin's Principles of Mathematical Analysis, Third Edition, page 20, Step 8:
I want to complete the proof of (b) by proving the following claim.
Claim: For $r\in{}\mathbb{Q}^+$ and $s\in{}...
6
votes
1
answer
202
views
Different definitions of the archimedean property
In some textbooks I have seen the archimedean property defined as:
for some positive real $x$, real number $y$, there exists a natural $n$ such that $nx>y$.
In other textbooks the archimedean ...
0
votes
1
answer
265
views
Proving trichotomy and transitivity from the definition of an ordered field
I'm reading a set of notes (and can provide the link if anyone is interested) which attempt to build up the properties of an ordered field. After defining a field based on its axioms, it defines an ...
1
vote
1
answer
2k
views
There exists a positive real number $u$ such that $u^3 = 3$
Modify the Theorem that states There exists a positive real number x such that $x^2 = 2$.
Show that there exists a positive real number $u$ such that $u^3 = 3$.
So far, I have come up with the ...
0
votes
2
answers
105
views
Is there a proof for triangle inequality in $\mathbb{R}$ by contradiction/absurd?
I want to prove that given $a,b,c\in\mathbb{R}$ we have $|a+b|\leq|a|+|b|$ using an absurd and reaching a contradiction.
So, I state, by absurd, that $|a+b|>|a|+|b|$, but I can't reach the ...
0
votes
0
answers
137
views
Prove $(-a)^{-1} = -a^{-1}$
This is my proof for part (17) of Lemma 2.3.2 in Bloch's Real Analysis. I'd like if someone verifies that I did not miss or skip a step, did anything unjustified, or anything of this sort. I will ...