1
vote
2answers
60 views

$\forall x \in \mathbb{R}$ show that $x=\sum_{n=1}^\infty k_na_n = \prod_{n=1}^{\infty}m_na_n$ …

Yet again, another cool problem from the book "problems in mathematical analysis" by Piotr & Witkowski: Prove that if $a_n \neq 0$, $n=1,2,\cdots$ and $\displaystyle \lim_{n \to \infty} a_n = 0$, ...
3
votes
1answer
100 views

Proving there are infinitely many integers having the identical set of prime factors.

Let positive integers $a$ and $b$, and let $a_0, a_1, a_2 \ldots$ where $a_i = a + b*i$ is the infinite arithmetic sequence they determine. Prove that there are infinitely many $a_i$ having the ...
0
votes
1answer
39 views

Sequent calculus - where should I start?

I am given this formulae. $A \land B \implies C \lor D \lor E$ I want to deduce this formulae with sequent calculus. But my problem is that I dont know where to start, or which rule to take first. ...
2
votes
2answers
125 views

how to prove $f^{-1}(B_1 \cap B_2) = f^{-1}(B_1) \cap f^{-1}(B_2)$

I am given this equation: $f^{-1}(B_1 \cap B_2) = f^{-1}(B_1) \cap f^{-1}(B_2)$ I want to prove it: what i did is I take any $a \in f^{-1}(B_1 \cap B_2)$, then there is $b \in (B_1 \cap B_2)$ so ...
0
votes
2answers
58 views

how to prove this: $f(A)=B$

I am given two sets: $A$ and $B$ and a function $f: A \rightarrow B$. I am asked to show and prove whether $f(A)=B$ is true or false. I am stuck not knowing how to do this. How can I do this?
1
vote
2answers
59 views

Exercise 1(d) from Courant

I'm having trouble understanding this "hint" in the back of (the first volume of) Courant's Differential and Integral Calculus text, which I'm just starting: One of the "challenging" Chapter 1 ...
3
votes
2answers
146 views

Proving there are no integer solutions for $3x^2=9+y^3$

Prove there are no $x,y\in\mathbb{Z}$ such that $3x^2=9+y^3$. Initial proof Let us assume there are $x,y\in\mathbb{Z}$ that satisfy the equation, which can be rewritten as $$3(x^2-3)=y^3.$$ So, ...
0
votes
3answers
80 views

$\log\left(\binom{n}{x} \pi^x (1-\pi)^{n-x}\right)=x\log \pi + (n-x)\log(1-\pi)\;\;?$

$$\log\left(\binom{n}{x} \pi^x (1-\pi)^{n-x}\right)=x \log \pi + (n-x)\log(1-\pi)$$ this is what i have. i dont understand how $\binom{n}{x}$ disappears, but the rest is fine. I tried this, but it ...
1
vote
2answers
71 views

Prove $|A| + |B| \ge |A \cup B|$ if $A$ and $B$ are finite sets

I have a question like this: Prove $|A| + |B| \ge |A \cup B|$ if $A$ and $B$ are finite sets. Here is the solution but I don't agree with it: Let $A = \{a_1, \dots, a_n\}$ and $B = \{b_1, \dots, ...
1
vote
1answer
43 views

Counting Card hands with various restrictions

I would like to know if my solutions are correct for the following three combinatorial card questions. In each question, assume we have a standard deck of cards (13 ranks, and 4 suits). How many ...
15
votes
3answers
588 views

prove $\sqrt{a_n b_n}$ and $\frac{1}{2}(a_n+b_n)$ have same limit

i am given this problem: let $a\ge0$,$b\ge0$, and the sequences $a_n$ and $b_n$ are defined in this way: $a_0:=a$, $b_0:=b$ and $a_{n+1}:= \sqrt{a_nb_n}$ and $b_{n+1}:=\frac{1}{2}(a_n+b_n)$ for all ...
6
votes
4answers
151 views

prove $\lceil{x}\rceil=-\lfloor-x\rfloor$

i am trying to prove that $\lceil{x}\rceil=-\lfloor-x\rfloor$, but having difficulties to prove. the definitions are: $\lceil{x}\rceil:=m-1<x\leq m$ and $\lfloor{x}\rfloor:=n\leq x<n+1$. how ...
6
votes
5answers
196 views

how to prove $\left(\frac{n}{3}\right)^n\leq\frac{1}{3}n!$

i am asked to prove this statement: $$\left(\frac{n}{3}\right)^n\leq\frac{1}{3}n!$$ Now after several attempts, i am lost not knowing where and how to start. if I use induction, i am stuck on ...
2
votes
1answer
278 views

prove with $\epsilon$-$\delta$-argument: $x\rightarrow |-2x+3|$ is continuous

i am asked to prove with $\epsilon$-$\delta$-argument that $x\rightarrow |-2x+3|$ is continuous my steps: Definition of $\epsilon-\delta$-argument: $\forall \epsilon >0 \exists \delta>0$ with ...
4
votes
4answers
263 views

Proof of $n^2 \leq 2^n$.

I am trying to prove that $n^2 \leq 2^n$ for all natural $n$ with $n \ne 3$. My steps are: induction base case: $n=0:$ $0² \leq 2⁰$ which is okay. inductive step: $n \rightarrow n+1:$ ...
7
votes
2answers
102 views

Show $\lim_{n \to \infty} \min\{a_{n},b_{n}\} = \min\{a,b\}$

If $\lim_{n \to \infty} a_{n} = a$ and $\lim_{n \to \infty} b_{n} = b$, how can we show that $\lim_{n \to \infty} \min\{a_{n},b_{n}\} = \min\{a,b\}$? I say $\min\{a_{n},b_{n}\} $ has two cases: ...
10
votes
5answers
495 views

Prove $|a+b|+|a-b| \geq |a|+|b|$

I am fighting with this proof-writing problem for a while. The statement says $$|a+b|+|a-b| \geq |a|+|b|.$$ I know the triangle inequality which says$$|a+b| \leq |a|+|b|.$$ How can I use this ...
1
vote
1answer
71 views

simple statement proof

i am proving this statement about strict isotoneness. i will try on my own and you will tell me whether i am okay or not :) $A$ is subset of $\mathbb{R}$ $f$ is strict isotone $ \Longleftrightarrow ...
2
votes
2answers
72 views

complex numbers - proof of this statement

i am trying to prove this statement, i dont but how to start. $$\forall z,w \in \mathbb{C}\quad |z|^2+|w|^2=\frac{1}{2}(|z+w|^2+|z-w|^2)$$ can someone please show me how start?
0
votes
1answer
39 views

what is the difference - sorry for over-simplicity

i am asking too simple question, sorry for that. what is the difference between these two imaginär numbers? $\operatorname{Im}(| \sqrt2+3i|^2)$ vs. $\operatorname{Im}((\sqrt2+3i)^2)$ $| ...
1
vote
3answers
121 views

minimum of this simple set

i need again some help here. i am defining the minimum and max and inf and sup of this set $A:=(]1,2[ \cup ]2,3]) \cup \{2\}$ which is equal to the interval $(1,3]$ i say, max is 3, and sup is also ...
2
votes
3answers
323 views

archimedean Property - proof

i am stumbling across this statement. i need to show minimum, maximum, infimum and supremum, if they exist. $$ C:= \bigcup_{n \in \mathbb{N}} [0,1/n[$$ the archimedean property says: let $e,x$ be ...
2
votes
1answer
1k views

Induction Proof: Formula for Sum of n Fibonacci Numbers

I am stuck though on the way to prove this statement of fibonacci numbers by induction : my steps: definition: $F_{0}:=0, F_{1}:=1 $ and $F_{n}:=F_{n-1}+F_{n-2}$ The Hypothesis is: $\sum_{i=0}^{n} ...
0
votes
3answers
316 views

Maps - question about $f(A \cup B)=f(A) \cup f(B)$ and $ f(A \cap B)=f(A) \cap f(B)$

I am struggling to prove this map statement on sets. The statement is: Let $f:X \rightarrow Y$ be a map. i) $\forall_{A,B \subset X}: f(A \cup B)=f(A) \cup f(B)$ ii) $\forall_{A,B \subset X}: ...
2
votes
1answer
88 views

Is this relation transitive if $n=m$?

If $X$ is a set and $n \in \mathbb N$, then $[X]^n$ will denote the set of all subsets of $X$ with exactly $n$ elements. For a set $X$ and natural numbers $n$ and $m$ define a relation $R$ on $[X]^n$ ...