For questions about approaches and techniques for discovering a proof, as opposed to writing it down clearly (which involves (proof-writing)). Should not be used unless the focus is on the technique of the proof instead of the solution.

learn more… | top users | synonyms

0
votes
1answer
22 views

Show that (c,a)=(c,b)

In my book I have the implication: If $gcd(a,b)=1$ and $c|(a+b)$, then $gcd(c,a)=gcd(c,b)=1$. It gives me a hint that begins by supposing that $gcd(a,c)=gcd(b,c)=d$. But in my opinion, I do not ...
1
vote
2answers
38 views

Prove that $B = \bigcup\{A_\alpha \mid \alpha \in[1,2]\}$

I am working this question: Set $B = \{(x, y)\mid 1 \le x^2 + y^2 \le 4\}$, $A_\alpha = \{(x, y)\mid x^2 + y^2 = α^2\}$. Prove that $\bigcup\{A_\alpha\mid \alpha \in [1, 2]\} = B$. because this ...
1
vote
1answer
28 views

Find all primes $p$ for which $x^2+2x+4\equiv 0 \pmod p$ is solvable. Am I correct?

Getting ready for an exam, I would like to focus on the correctness of my solution, final results and assumptions, and would appreciate any comment regarding it or even additional ...
3
votes
4answers
108 views

Proving $\frac{n^n}{3^n} < n!$ for $n\ge6$ by induction

How would I prove this using mathematical induction: $\dfrac{n^n}{3^n} < n!$ for all $n \geq 6$. Here is what I have tried: $\dfrac{n^n}{3^n} < n!$ for all $n \geq 6$ Base case: ...
3
votes
3answers
52 views

If a set is countable and infinite, there is a bijection between the set and $\mathbb{N}$

I'm trying to show that if a set $S$ is infinite and countable then there is a bijection $\varphi : S\to \mathbb{N}$. Since $S$ is countable, we know that there is an injection $f: S\to \mathbb{N}$. ...
0
votes
2answers
54 views

Proof for $V \cong V^{**}$

Theorem: Let $V$ be an vector space. Then the dual space of $V$'s dual space is canonically isomorphic to $V$. I am able to prove that $V$ is a subspace of $V^{**}$, the map ...
1
vote
1answer
31 views

Proving a given set is a submanifold

Let $S \subseteq \mathbb R^n$. I have been faced with showing that $S$ is a submanifold and I have some ideas but I want to get the complete picture. (Main) Question 1: What methods are there to ...
1
vote
0answers
90 views
+50

Conjectured primality test for specific class of $N=k\cdot 6^n-1$

How to prove that this conjecture is true ? Definition : $\text{Let}~ P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4}\right)^{m}+\left(x+\sqrt{x^2-4}\right)^{m}\right)~ , \text{where}~ m ~\text{and}~ x ...
1
vote
1answer
9 views

Binomial Distribution formula

If $X\sim B(n,p)$, show that $P(X=r+1)=P(X=r) \cdot \frac{p(n-r)}{q(r+1)}$ for $r=0,1,...,n-1$ My attempt, $P(X=r+1)={_n}C_{r+1}(p)^{r+1}(1-p)^{n-(r+1)}$ How to proceed then?
0
votes
0answers
15 views

Proving inequalities with the Archmedian property

I have to determine how large n∈N must be to ensure that (1/n)<ε is satisfied and use the Archimedean property to establish that such n exists. I know that the Archimedean property is ∀ε>0 and ...
2
votes
1answer
35 views

Cantor's diagonal argument modified version

I have the following doubt regarding Cantor's diagonal argument. First of all, the "usual case" is quite clear for me. If $X$ is some set, then we can show there is no surjection from $X$ onto the set ...
0
votes
0answers
16 views

Absolute Value Inequality of Differences

I'm hoping someone could give insight as to how I can improve my organization, and/or thought process. Show that $|a-b| \lt c$ if and only if $b -c \lt a \lt b + c$. By the statement $b - c \lt a ...
0
votes
0answers
31 views

Absolute Value Inequality Proof

I realize this is almost identical to another question I posted, but I wanted to ask what the distinction between the two is -- comprehension-wise (other than the $\lt$ vs. $\le$). Show that $|b| ...
0
votes
0answers
49 views

A question regarding a theorem of Erdos and Hajnal

Consider the following theorem of Erdos and Hajnal: Definition. For any set $x$, a function $f$ is called ${\omega} $-Jonsson iff $f$: $^{\omega}x$ $\rightarrow$ x and whenever $y$$\subseteq$$x$ and ...
1
vote
3answers
97 views

Let $a,b,c \in \mathbb{R^+}$, does this inequality holds $\frac{a}{na + kb} + \frac{b}{nb+kc} + \frac{c}{nc + ka} \ge \frac{3}{k+n}$?

Does the following statement/inequality holds for $a,b,c \in \mathbb{R^+}$? $$\frac{a}{na + kb} + \frac{b}{nb+kc} + \frac{c}{nc + ka} \ge \frac{3}{k+n}$$ I've been thinking for hours and I ...
0
votes
1answer
40 views

How to prove triangle inequality in How to Prove It Sec. 3.5 Question 12c?

(a) Prove that for all real numbers $a$ and $b$, $$|a| \le b \text{ iff } -b \le a \le b.$$ (b) Prove that for any real number $x$, $$-|x| \le x \le |x|.$$ (Hint: Use part (a).) (c) Prove that ...
1
vote
3answers
893 views

Show that the gcd of an odd integer and an even integer is odd

I am using the definition of odd and even integers along with bezout's theorem and I end up with something of the form $d=(2k)m+(2l+1)p$ where $a=2k$ and $b=2l+1$. I've tried to use contradiction as ...
3
votes
2answers
35 views

Unique Linear Map- Linear Algebra

Let $E = {e_1, . . . , e_n}$ be a basis for $\mathbb{R}^n$ , and let $v_1, . . . , v_n$ be arbitrary vectors in $\mathbb{R}^m$. Prove that there is a unique linear map $T : \mathbb{R}^n \rightarrow ...
1
vote
1answer
43 views

Absolute Value Property of Field of Real Numbers

I don't think my thought process is correct. Also, does 'if and only if' indicate that I should automatically resort to proof by contradiction? Show that ${|b|} \le {a}$ if and only if $ {-a} \le b ...
0
votes
1answer
19 views

What am I doing wrong here? Showing $\text{Ord}_{N}(a)|k\iff a^k\equiv 1 \pmod N$.

Show $\text{Ord}_{N}(a)|k\iff a^k\equiv 1 \pmod N$ where $a$ is invertible. What I did is: If $\text{Ord}_{N}(a)|k$ it is obvious. Suppose $a^k\equiv 1 \pmod N$. Not let us assume by contradiction ...
3
votes
1answer
28 views

Recognizing genuine proof obstructions

This is a meta question about mathematics. It is not inspired by an actual problem. Also, I'm not sure to what extent the distinction I'm drawing makes sense. Question: How can I decide if an ...
1
vote
1answer
29 views

Completeness Axiom Proof

Let $A_1$, $A_2$, $A_3$... be a collection of nonempty sets, each of which is bounded above. (a.) Find a formula for sup($A_1$$\bigcup$$A_2$). Extend this to sup($\bigcup^{n}_{k=1}$$A_k$). (b.) ...
1
vote
0answers
25 views

On properties of linear orders

I have a simple question. Let A={a,b,c,...} be a set and > a total strict order on $2^A$. Total strict order means that for any two subsets of A, say S and S', either S>S' or S'>S but not both. The ...
3
votes
2answers
122 views

Is $f(x) = x^3 \sin \frac{1}{x} $ uniformly continuous on $(0, \infty)$?

Since the derivitive of $f$ is bounded on a neighborhood of $0$, $f$ is uniformly continuous on $(0, M)$ where $M$ is any positive number. I'd like to prove that $f$ is uniformly continuous on a ...
7
votes
2answers
735 views

How to prove to be an irrational number? Like $\sqrt{2}$, $\sqrt{3}$, or $\sum\limits_{k=1}^{\infty} \frac{1}{n^2}=\pi^2/6$

As we know $\sqrt{2},\sqrt{3}$ are irrational numbers. And I see some proofs on the net. So I doubt that how $e,\pi$ or already known irrational numbers are proved to be irrational. In fact, I got ...
1
vote
3answers
31 views

Prove that $\frac{2^{x+1}+(x+1)^2}{2^x+x^2}\rightarrow 2$ as $x \rightarrow \infty$

Could someone please show me the proof that $\frac{2^{x+1}+(x+1)^2}{2^x+x^2}\rightarrow 2$ as $x \rightarrow \infty$ I have no idea where to begin with this one. Thanks.
0
votes
3answers
34 views

Show that $\frac{1}{2}x^{\frac{2}{x}} \rightarrow \frac{1}{2}$ as $x \rightarrow \infty$

Could someone please show me the algebraic steps in showing that $\frac{1}{2}x^{\frac{2}{x}} \rightarrow \frac{1}{2}$ as $x \rightarrow \infty$? As the way I see it $\frac{1}{2}x^{\frac{2}{x}} ...
1
vote
1answer
36 views

How to prove that at Complete Binary Tree (CBT) at height $h$ we have $2^h$ leaves

I try to prove it by induction, please tell me if I'm right... The induction assumption - For every CBT at height $h$ there is $2^h$ leaves. The base of the induction is right (I'm writing this proof ...
2
votes
0answers
53 views

A false conjecture by de Polignac

(This question would be similar to my other on Goldbach's conjecture so I'll change the "rules") In 1848 de Polignac claimed that "every odd integer is the sum of a prime $p$ and a power of $2$". For ...
1
vote
2answers
27 views

Rigorous Linear Transformation Proof

$T:V \rightarrow V$ We could also write: $T:V \rightarrow Im(T)$ The question tells us that $Im(T)=Im(T^2)$ It's intuitively obvious that this means that T then maps $Im(T)$ to itself so if you ...
0
votes
1answer
20 views

If $\text{gcd}(a,561)=1$, then $a^{560}=1\mod 561$ [duplicate]

We have the factorization $561=3*11*17$. Because $\text{gcd}(a,561)=1$, there are integers $x,y$ such that $ax+561y=1$. So $ax=1\mod 561$. Since the gcd is $1$, we have $a\not \in 3\mathbb{Z}, ...
1
vote
0answers
32 views

Basic Set-Theoretic Properties from Halmos

I've been backtracking lately to make sure that I have a solid set-theoretic background before taking measure theory this fall. Here's a few facts I've come across today, and my attempted proofs. Let ...
5
votes
3answers
5k views

Expected number of runs in a sequence of coin flips

A coin with heads probability $p$ is flipped $n$ times. A "run" is a maximal sequence of consecutive flips that are all the same. For example, the sequence HTHHHTTH with $n=8$ has five runs, namely H, ...
0
votes
1answer
39 views

Proof for the coefficient of $x^n$ in $(x^0 + x^1 + \dots + x^n)^n$

Theorem: The coefficient of $x^n$ in $(x^0 + x^1 + \dots + x^n)^n$ is $\binom{2n-1}{n-1}$. How to prove this? Multinomial theorem produces the following $$ \left(\sum_{k=0}^{n} x^k \right)^n = ...
23
votes
2answers
835 views

A false conjecture by Goldbach

In 1752 Goldbach send this conjecture to Euler: "Every odd integer can be written in the form $p+2a^2$ where $p$ is a prime or $1$ and $a$ is a natural number (can be even 0)." This conjecture turned ...
2
votes
1answer
65 views

Can I assume that the dimension of a vector space is always non-negative?

I'm trying to prove that if $V$ is finite-dimensional and $U_1,...,U_m$ are subspaces of $V$, then $\dim(U_1+...+U_m)\le \dim U_1+...+\dim U_m$ through induction. For $m=1$, the inequality is trivial ...
1
vote
1answer
22 views

Zero of holomorphic function

Let $\Omega \subset \mathbb{C}$ be an open set that contains the unit ball $D$ and let $f \in \mathcal{O}(\Omega)$ a non constant map s.t. $|f(z)| = 1$ for all $z \in \partial D$. Show that $f$ has a ...
3
votes
1answer
73 views

Irrationality of ${5^{1/7}}$

I am struggling with elementary proofs, and would appreciate any feedback as to the logic and structure of my work. Show that ${5^{1/7}}$ does not represent a rational number. Suppose ${5^{1/7}}$ is ...
5
votes
5answers
355 views

How to formally model the “hesitation” in the hat-guessing puzzle?

Hua Luogeng (in Chinese, 华罗庚) took a hat-guessing puzzle as an illustration in a booklet focusing on mathematical induction. The following description is a literal translation from Chinese. ...
0
votes
2answers
296 views

Proving onto of a two variable function

So I know how to prove a function is onto if it has 1 variable. But this one has two and I'm confused about how to approach it. $f: \mathbb{Z} \times \mathbb{Z} \to \mathbb{Z}$ such that for any ...
38
votes
4answers
8k views

Prove that $i^i$ is a real number

According to WolframAlpha, $i^i=e^{-\pi/2}$ but I don't know how I can prove it.
1
vote
2answers
78 views

Prove the Identity $\pi=2- \sum_{1}^{∞} \frac{(-1)^m}{m^2-\frac{1}{4}} $

By considering the fact that $f(\pi/2)=1$, prove the identity $\pi=2- \sum_{1}^{∞} \frac{(-1)^m}{m^2-\frac{1}{4}} $ This question was is a subsection in a chapter on Fourier series, can I use my ...
1
vote
2answers
72 views

Condition number of $A^TA$

if $n \times n$ full rank matrix $A$ has condition number $\kappa$, what would be the condition number of $A^TA$? Preferably If the derivation includes the following definition of $\kappa$: $$ \kappa ...
1
vote
0answers
35 views

Uniform Continuity of $\frac {1}{x}$ on [$a, \infty$) for positive $a$

$\frac {1}{x}$ behaves nicely in that it's monotone and the derivative is monotone also. So on [$a,\infty$] it can be seen that the $\delta$ which will work everywhere is the $\delta_1$ at the end ...
2
votes
1answer
45 views

Prove that it is NOT true that for every integer $n$, 60 divides $n$ if and only if 6 divides $n$ and 10 divides $n$.

This is Velleman's exercise 3.4.26 (b): Prove that it is NOT true that for every integer $n$, 60 divides $n$ iff 6 divides $n$ and 10 divides $n$. I do understand that a number will be ...
4
votes
2answers
59 views

Finding all solutions of $x^2+2x-15\equiv0 \pmod{105}$- Proof strategy.

Find all solutions of $x^2+2x-15\equiv0 \pmod{105}$. Now, I wanted to suggest a proof relying on the algorithm presented in class, and there are some parts where I could use some help or criticism. ...
1
vote
1answer
38 views

Proof strategy/writing for change of variables

Claim: If $f(x)=g(x)$ for all $x$, then $f(x+c)=g(x+c)$ for all x. Proof (attempt): Set $u=x-c$, and substitute $x=u+c$. $f(x)=g(x)$ implies $f(u+c)=g(u+c)$ for all $u$. Because $u$ is a dummy ...
1
vote
1answer
38 views

Requirement of a formal proof

There exists a continuous function $f$ whose domain is $[2,5]$ and the range is $(3,4)$. We have to prove that there exists at least one point $p \in (2,5)$ such that $f(p)=p$. Now this is easy to ...
-2
votes
1answer
51 views

Proof: A matrix with $m$ rows and $n$ colums has $nm$ entries.

How to prove rigorously the following statement: A matrix (a collection of numbers $a_{ij}:1\leq i \leq m, 1\leq j \leq n)$ with $m$ rows and $n$ colums has $nm$ entries. By rigorously I mean ...
2
votes
6answers
127 views

How to prove $\lim_{n\rightarrow\infty}nx^n=0$ without L'Hôpital's rule, where $x \in [0,1)$??

How to prove $$\lim_{n\rightarrow\infty}nx^n=0$$ without L'Hôpital's rule? where $x \in [0,1)$ and $n=1,2,3,...$. I know one of way to prove this is to treat $n$ is real, and $n$ and ...