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

4
votes
1answer
74 views

how to solve this elementary induction proof: $\frac{1}{1^2}+ \cdots+\frac{1}{n^2}\le\ 2-\frac{1}{n}$

this is a seemingly simple induction question that has me confused about perhaps my understanding of how to apply induction the question; $$\frac{1}{1^2}+ \cdots+\frac{1}{n^2}\ \le\ 2-\frac{1}{n},\ ...
1
vote
0answers
7 views

Finding posterior of normal distributions and logistic regression.

$P(w_0 | x) = \frac{1}{1 + e^{-log\frac{P(x|w_0)}{P(x|w_1)}-log\frac{P(w_0)}{P(w_1)}}}$ Note: x = $[x_1, \dots, x_d]^T$; a $d$ dimensional vector. $w$ can take on one of two values: $w_0$ or $w_1$. ...
1
vote
0answers
31 views

prove the Laguerre–Gaussian equation [on hold]

How does one prove the Laguerre–Gaussian equation? $$ x\frac{d^2y}{dx^2}+\left(1-x\right)\frac{dy}{dx}+ny=0 $$
-2
votes
0answers
30 views

Show that something follow power law [on hold]

I want to show that a and b follows power law. What do I have to do to show it? How people claim that something follows power law? Any direction would be a great help. The question is pretty ...
0
votes
0answers
22 views

A question related to the Descartes-Frenicle-Sorli conjecture on odd perfect numbers

Good day to everyone! I apologize in advance for the somewhat long post, but I had to put in all the details into a single question to communicate what I believe to be a viable approach to odd ...
1
vote
1answer
32 views

Proof that ordinary multinomial coefficients rise monotonically to a maximum and then decrease monotonically

While most computations of ordinary multinomial coefficients for the following case require recursive summations, I found here a closed-form solution: $$(1+x+x^2+\cdots+x^q)^L = \sum_{a \geq 0} ...
7
votes
4answers
169 views

Let $a_n$ be the $nth$ term of the sequence $1, 2, 2, 3, 3, 3, 4, 4, 4, 4, \dots$

Question:Let $a_n$ be the $nth$ term of the sequence $1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6\dots$, constructed by including the integer $k$ exactly $k$ times. Show that $a_n = ...
6
votes
1answer
68 views

Alternative proof for the fact that a continuous function on a closed interval attains its boundaries.

Let $f:[a,b]\to \mathbb{R}$ be a continuous function. We are interested in showing that $\exists \beta \in [a,b]$, such that $f(\beta) = M$, where M is its upper boundary. I have managed to proof ...
19
votes
3answers
329 views

How to prove $ \lim_{n \to \infty} e^n \cdot \left( \sum_{k=0}^{n-1} ({k-n \over e})^k/k! \right)- 2 \cdot n = \frac 23$?

I observed for the function $$ f(n)= e^n \sum_{k=0}^{n-1}\left(\dfrac{k - n}{e}\right)^k \cdot \dfrac{1}{k!} \tag 1$$ with small $n$ that ...
0
votes
1answer
67 views

Quick question about $\epsilon -\delta$ proofs

There is one step in $\epsilon - \delta$ proofs that I hope somebody could bring clarity to for me. Say we wanted to show $\displaystyle \lim_{x \to 2} x^2 = 4 $. Somewhere along the proof we would ...
1
vote
3answers
31 views

Considering $\epsilon$ intuitively in limit proof

I'm having rather difficult time in trying to use $\epsilon$ argument appropriately. For example here is my simple $\epsilon$ proof in one question. The question is as follow: Prove if $s_n \geq 0$ ...
0
votes
2answers
23 views

Proof d-regular graph has an equal number of vertices in its bipartition

Let $G$ be a $d$-regular graph. Suppose that $G$ is bipartite with bipartition $(A,B)$. Prove that if $d>0$ then $|A| = |B|$. Also why is this statement false when $d=0.$ I'm not sure how to show ...
4
votes
1answer
68 views

Let R be a relation on set A. Prove that $R^2 \subseteq R <=>$ R is transitive $<=> R^i \subseteq R ,\forall i \geq 1$

this is my first question here. I'm still relatively new to more advanced mathematics and don't have much experience with proofs yet. I'm self-studying at the moment and therefore have no one to check ...
1
vote
2answers
26 views

If $R$ is a transitive realation, then $R\circ R\subseteq R$

Here's the question I'm struggling with: Let R be a transitive relation on a set A. Prove the R composed with R is a subset of R. I'm kind of lost on how to prove this. I've started with saying: ...
2
votes
2answers
72 views

Better proof that $n \leq 2n$ for all natural numbers?

I tried proving via induction on naturals that $n \leq 2n$ for each natural $n$. Obviously, $0 \leq 2(0)$, and then assuming for any given $n$, $n \leq 2n$, you just show that $n + 1 \leq 2(n + 1).$ ...
0
votes
1answer
28 views

Prove $\alpha: \mathbb{Z_n} \rightarrow \mathbb{Z_n}$ defined by $\alpha(s)=rs\mod{n}$ is an automorphism.

I'm working on proving the following claim: "Let $r \in U(n)$ and $\forall s \in \mathbb{Z_n}$, $\alpha: \mathbb{Z_n} \rightarrow \mathbb{Z_n}$ defined by $\alpha(s)=rs\mod{n}$ is an automorphism." ...
1
vote
2answers
48 views

Discrete Mathmatics Proof

Here is the question: $a$ and $b$ are any two integers. $c$ is any prime. Prove that if $c$ divides $ab$, then $c$ divides $a$ or $c$ divides $b$ (or both, as in it can divide either or both, i.e. ...
0
votes
1answer
41 views

How to show $f(x,y) \leq \theta f(x,y) + (1-\theta)f(x,y)$ for $\theta \in [0,1]$?

Let $\theta \in [0, 1]$. Let $f(x,y)$ be a function. Is there a way I could prove that $f(x,y) \leq \theta f(x,y) + (1-\theta)f(x,y)$? I have tried to start with $f(x,y) = 2f(x,y) - f(x,y)$ or ...
6
votes
3answers
159 views

Is there a simple way to illustrate that Fermat's Last Theorem is plausible?

A first step in proving a theorem is true could be to show that it is plausible, so at least you then would have a general idea that it could be true and have something to start with in proving it. ...
10
votes
7answers
3k views

What's the proof that the Euler totient function is multiplicative?

That is, why is $\varphi (A\cdot B)=\varphi (A)\cdot \varphi (B)$, if A and B are coprime? It's not just a technical trouble—I can't see why this should be, intuitively: I bellyfeel that its ...
2
votes
4answers
88 views

Proof that $1+4^n+7^n$ is divisible by 3 for all $n \in \mathbb{N}$

So, as the title said I have to proof that $1+4^n+7^n$ is divisible by 3 for all $n \in \mathbb{N}$. I have to do it with induction. So I got my start, for $n=0$: We have $1+4^0+7^0 = 1+1+1 = 3$ and ...
2
votes
2answers
33 views

How to find the period of the sum of two trigonometric functions

I want to know if there exists a general method to find the period of the sum of two periodic trigonometric function. Example: $$f(x)=\cos(x/3)+\cos(x/4).$$
2
votes
1answer
49 views

Proof: $(\sup(A) - \epsilon)^n<y<(\sup(A)+\epsilon)^n$

Prop.: let be $y \in \Bbb{R}_{>0}$, $n \in \Bbb{N}_{>0}$, and $A \subseteq \Bbb{R}$, then: $$A=\{x| x \in \Bbb{R}_{>0}\wedge x^n \leq y \} \Rightarrow (\sup(A) - \epsilon)^n< ...
24
votes
6answers
1k views

Bag of tricks in Advanced Calculus/ Real Analysis/Complex Analysis

I am studying for an exam and I have been studying my butt off during the winter break for it. During the course of my study I have written down quite a number of tricks, which in my opinion were ...
0
votes
2answers
23 views

Proof exercise: finding hypothesis and conclusion in a statement

I am starting learn mathematical proofs and I was doing some exercise that needed to identify the hypothesis and the conclusion in a given statement. And I'm having trouble trying to figure it out in ...
6
votes
1answer
105 views

Coming up with short “magical” proofs

I was reading the solution to this problem: Prove that $f(n) = 2n$ is the only non-constant solution to $2f (m^2 + n^2 ) = (f (m))^2 + (f (n))^2 .$ The solution used these identities, pulled out of ...
1
vote
1answer
25 views

Solutions depending on something continuously

Let $V$ be a a real Banach space, $K \subset V$ a closed convex set, $A: K \rightarrow V^{*}$ a (nonlinear) operator and $F \in V^{*}$. Then the variational inequality is the following problem: find ...
2
votes
2answers
355 views

Dijkstra's Shortest-Path Algorithm

I'm presented with the following algorithm: Dijkstra's Shortest-Path Algorithm This algorithm finds the length of a shortest path from veftex $a$ to vertex $z$ in a connected, weighted ...
0
votes
3answers
34 views

Proof for a non-conditional statement

I'm having a bit of trouble doing this proof. If $a\in\mathbb{Z}$, then $a^3 \equiv a \pmod 3$. I know how to do proofs if there were conditional statements but not sure how to prove this with ...
1
vote
0answers
37 views

Real Hardy space question

Please see this related question for the definition of the grand maximal function and the class of normalised test functions $\mathcal{T}$. I will refer to them in this question. Let $f\in ...
0
votes
1answer
33 views

Why $[\forall x \neg \alpha \rightarrow \neg \alpha^{x}_{c}] \longrightarrow [\alpha^{x}_{c} \rightarrow \exists x \alpha]$ is a tautology?

Let $c$ be a new constant symbol in the language. Then $[\forall x \neg \alpha \rightarrow \neg \alpha^{x}_{c}] \longrightarrow [\alpha^{x}_{c} \rightarrow \exists x \alpha]$ is a tautology. This ...
0
votes
3answers
59 views

Proof by contradiction using counterexample

Why can't we use one counter example as the contradiction to the contradicting statement? Example: Let a statement be A where a-->b. We can prove A is not true by finding a counter example. Now, in ...
2
votes
3answers
34 views

Proof involving lcm and biconditional statement.

Suppose $a,b\in\mathbb{Z}$. Then $a = \operatorname{lcm}(a,b)$ if and only if $b\mid a$ Unsure of how to approach this problem.
2
votes
0answers
62 views

Can we always give a direct proof? [duplicate]

This is something I was wondering about for quite a while. Is it possible to construct a statement that can only be proven by using 'proof by contradicition' or contraposition? Or to put it ...
0
votes
1answer
35 views

proving{$\neg(\forall x)\alpha \rightarrow \alpha$}$\models$$(\forall x)\alpha$

prove {$\neg(\forall x)\alpha \rightarrow \alpha$}$\vdash\space(\forall x)\alpha$ Im not sure what is the convention, so to be clear I am talking about proving the formula from the seven axiom ...
6
votes
3answers
178 views

Extreme Value Theorem Proof (Spivak)

Them: If $f$ is continuous on $[a,b]$, then there is a $y$ in $[a,b]$ such that $f(y) \geq f(x)$ for each $x \in [a,b]$ Proof. We already know that $f$ is bounded on $[a,b]$, which means that ...
0
votes
2answers
47 views

Proof of application of Mean Value Theorem

Two bicyclists begin a race at 8:00AM. They both finish the race 2 hours and 15 minutes later. Prove/explain that at some point during the race, the bicyclists are traveling at the same velocity. So ...
1
vote
1answer
42 views

Why does secant method converge

Assume $f$ is continuous and twice differentiable on $[a,b]$ such that $f'(x)>0$ and $f''(x)>0$, $x \in [a,b]$. If $f(b)>0$ and $f(a)<0$ and I choose $x_0=a$,why are we gauraunteed ...
0
votes
1answer
27 views

Largest $k$ such that $(p-k) = \lceil \sqrt{(p-2k) p} \rceil$

Assume $p \in \mathbb P.$ Assume $0<p-2k<p$ and the next square larger than $p(p-2k)$ is $(p-k)^2$. It is trivial to show that $p(p-2k)+k^2$ is a square. Simply $p(p-2k)+k^2 = (p-k)^2.$ ...
2
votes
1answer
213 views

In a finite cyclic group of order n, number of solutions to $x^m = e$ - Fraleigh p. 68 6.53,54

(53.) Show that in a finite cyclic group G of order n, written multiplicatively, the equation $x^m = e$ has exactly m solutions $x$ in G for each $m \in \mathbb{N}$ that divides n. (54.) With ...
1
vote
1answer
36 views

Proving the Well-Ordering Property

My textbook states the Well-Ordering property as following: If $A$ is any nonempty subset of $\mathbb{Z}^+$, there is some element $m \in A$ such that $m \le a$, for all $a$ in $A$ ($m$ is called ...
2
votes
1answer
50 views

Number of conjugacy classes in finite groups

Let $G$ be a finite group. Let $C_1,C_2,\dots,C_k$ be its conjugacy classes. We denote by $C_{j\ '}=\{g^{-1}|\ g\in C_j\}$ the conjugacy class inverse to $C_j$. Set $$a_{rst} = ...
3
votes
1answer
287 views

Why n! equals sum of some expression?

Why n! equals sum of some expression? Especially I need to know why this expression is true? $$ n!= \left(\frac{n+1}{2}\right)^{p(n)} \; \prod_{j=0}^{q(n)}\sum_{i=0}^j(n-2i), $$ Where \begin{gather*} ...
0
votes
1answer
53 views

Existential introduction - required or not?

Consider a theory $T$ in first order logic, and a formula $C$. If there exist a proof of $C$, and that all formulas in $T$ and $C$, none of them contains $\exists$. The question is: does there always ...
5
votes
1answer
72 views

To prove this complex polynomial has all zeros on unit circle

I'm trying to prove a self-inversive polynomial $P(z) = \sum\limits_{n=0}^{N-1}a_nz^n$ has all its roots on the unit circle. The coefficients are such that $ a_n = e^{j(n-\frac{N-1}{2})\pi u_0} - ...
4
votes
5answers
542 views

Proving that $f(n)$ is an integer using mathematical induction

I want to prove that $$\frac{n^3}{3}+\frac{n^5}{5}+\frac{7 n}{15}$$ is an integer for every integer $n \geq 1$. I define P(n) to be: $$\frac{n^3}{3}+\frac{n^5}{5}+\frac{7 n}{15}$$ is an integer. ...
1
vote
1answer
47 views

Is this sufficient for linear independence proofs??

I've been doing all of these proofs the same basically, I just want to make sure I'm doing them right, I didn't include all the details but I have the outlines of my proofs here. 1) U and W are ...
0
votes
1answer
61 views

Homework excercise, completeness in Vector-spaces, is it correct?, long, but can it be simplified?

I have a very difficult excercise. I see now that it became too much text for someone to might go through it, if you can please help me, but don't want to read all, can you please then only answer my ...
1
vote
2answers
38 views

Invertible Proof with transposed matrices

Let A, B, C be square matrices that are invertible. Say I want to express X with no inverses Say $$ (A^{T}A)^{-1}(X +B^ {T})(C^{-1}B^{-1})^{T} = I. $$ I know that $A^{T}A$ = $I$, but where can I go ...
1
vote
0answers
57 views

Prove: $a^m\cdot a^n \cdot a^p=a^{m+n+p}$

How can I prove the following: Prop.: let be $m,n,p \in \Bbb{N}$ and $a \in \Bbb{R}$ then $$a^m\cdot a^n \cdot a^p=a^{m+n+p}$$ ??? I thinked by induction and I must prove: 1) $a^0\cdot a^0 \cdot ...