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
105 views

How to prove the Hubble law is the unique expansion law compatible with homogeneity and isotropy?

In the book physical foundations of cosmology, it saids that Hubble law is unique and a problem seems to be a hint of proving that. In order for a general expansion law,v=f(r,t), to be the same ...
1
vote
0answers
47 views

From 2 to 3 dimensions: integrating a force along a contour/surface.

I am studying the following problem: Consider a closed contour $\mathcal{C}$ in $\mathbb{R}^2$ defined by $r(\theta)$ where $\theta\in[0,2\pi)$ and $r(0)=r(2\pi)$ (let the center to be zero for ...
3
votes
3answers
70 views

Show surjectivity of a linear map

It pains me to say that this bewilders me, but here's the problem. All I want to do is show that: Given $T$ a linear operator on some finite-dimensional space $V$, with the property that $Im(T) = ...
1
vote
7answers
130 views

Error in proving of the formula the sum of squares

Given formula $$ \sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6} $$ And I tried to prove it in that way: $$ \sum_{k=1}^n (k^2)'=2\sum_{k=1}^n k=2(\frac{n(n+1)}{2})=n^2+n $$ $$ \int (n^2+n)\ \text d ...
4
votes
2answers
221 views

Discriminant of $x^n-1$

Question is to find discriminant of polynomial $x^n-1$ I consider $f(x)=x^n-1=(x-a_1)(x-a_2)(x-a_3)\cdots(x-a_n)$ Now, ...
1
vote
2answers
38 views

Use induction to prove trignometric identity with imaginary number

Prove by induction that if $i^2 = -1 $, then for every integer $n >= 1$, $[\cos(x) + i\sin(x)]^n = \cos(nx) + i\sin(nx)$. My solution so far: 1. It can be easily shown that it is true for n = 1. ...
0
votes
2answers
41 views

Prove that the set $C = \{x \in\Bbb R : ax\le b\}$ is convex

Prove that if a and b are real numbers, then the set $C = \{x \in\Bbb R : ax\le b\}$ is a convex set. My solution so far: To show that a set $C$ is convex it needs to be shown that for for every ...
0
votes
1answer
147 views

given coordinates, find the number at that coordinates in spiral matrix.

given coordinates, find the number at that coordinates in spiral matrix. Given is the image of spiral i am talking about. at 0,0 ---> 0 0,1 ---> 1 1,1 ---> 2 0,1 ---> 3 -1,1 ---> 4 ...
0
votes
1answer
135 views

Show without expanding that the two determinants are equal

$$ Let\ A= \begin{bmatrix} 0 & a^2 & b^2 & c^2\\ a^2 & 0 & z^2 & y^2\\ b^2 & z^2 & 0 & x^2\\ c^2 & y^2 & x^2 & ...
1
vote
3answers
324 views

Trigonometric proof [L.H.S.=R.H.S]

Question: $$\frac{2-3\sin\theta+\sin^3\theta}{\sin\theta+2}=2\sin\theta (\sin\theta-1)+\cos^2\theta$$ I don't know how to start with these problem. Normally these type of proof confuse me. In my ...
2
votes
0answers
25 views

Proof that function is real part of $\sec(z)$ [duplicate]

I'm working on the following problem: I've deduced that the key is to show that $u$ is the real part of $\sec(z)$. But, I'm getting stuck in the algebra and am hoping someone can point me in the ...
0
votes
1answer
44 views

Proof that $\cos^2(x)\cosh^2(y) + \sin^2(x)\sinh^2(y) = -1 + \sin^2(x) - \sinh^2(y)$

Could anyone offer a proof that $$ \cos^2(x)\cosh^2(y) + \sin^2(x)\sinh^2(y) = -1 + \sin^2(x) - \sinh^2(y)? $$
3
votes
3answers
150 views

Convergent or divergent $\sum_{n=1}^{\infty} \frac{e^nn!}{n^n}$?

Any suggestion/hint, not the whole solution, how to determine convergence/divergence of $$ \sum_{n=1}^{\infty}\dfrac{e^n \cdot n!}{n^n} $$ I'm currently stuck.
0
votes
3answers
53 views

Completion of this proof

Suppose $$\forall m \in \Bbb N : \exists k \in \Bbb N : 5^m +1 =k^3$$ $$\Rightarrow 5^m = k^3 -1$$ $$ \Rightarrow 5^m = (k -1) (k^2+k +1)$$ Since $5^m$ is a power of 5 both $(k-1)$ and $(k^2+k ...
1
vote
2answers
70 views

How to prove that the sequence is decreasing $a_{n}=\frac{ln(n)}{n^2}$

Is my way/proof good and completely mathematically rigorous? $a_{n}=\frac{ln(n)}{n^2}$ --> $a_{n+1}=\frac{ln(n+1)}{(n+1)^2}$ $\frac{ln(n)}{n^2} > \frac{ln(n+1)}{(n+1)^2}$ ...
6
votes
5answers
79 views

prove by induction $7 \mid 3^{3^n}+8$

Okay so ive been trying to prove this for about 5 hours... really need salvation from the geniouses around here. prove by induction $7\mid 3^{3^n}+8$ i really need some directions on what to do ...
3
votes
1answer
270 views

Proving that, if a function f is O(g), the ceiling of f is also O(g).

I'm having a bit of trouble with this problem: $$\forall (f, g) \in F, f \in O(g) \implies \lceil{f}\rceil \in O(g)$$ Where F is the family of functions from $\mathbb{N}$ to $\mathbb{R}^+$. I know ...
0
votes
2answers
45 views

Prove a limit with condition specified at infinity

Suppose that $$ \lim_{t\rightarrow \infty}\left(\dot{x}(t)+\gamma x(t)\right)=0,\quad \gamma>0. $$ How can I prove $$ \lim_{t\rightarrow \infty}x(t)=0~? $$ Please give a strict proof. Thanks!
0
votes
1answer
24 views

Giving restriction on the value of $N$ in $\epsilon-N$ proof.

I'm still working on $\epsilon-N$ proof. If you don't mind is it possible for us to give restriction on the value of $N$ as illustrated by this example: Say after some manipulation of the limit ...
0
votes
2answers
69 views

Showing that two maps are homotopic

Let $X$ be a topological space and let $S^2 \subset \mathbb{R^3}$ be the unit sphere with the metric $d$ inherited from $\mathbb{R^3}$. Show that if $f,g:X\to S^2$ are continuous maps such that ...
1
vote
1answer
67 views

Choosing the right N in $\epsilon-N$ proof

I'm just a little bit confused in choosing the right $N$ when working on the rough sketch of the proof. Suppose after some algebra we have reached the point where we get this expression, say: ...
3
votes
1answer
49 views

General lists of techniques to prove whether a set is a generator of a matrix group

It seems like a rather common problem in group theory, at least in undergraduate maths, to check whether a set is a generator of a group. The question is usually as follow: Given a group $G$, and a ...
3
votes
1answer
42 views

Partitioning a totally ordered set into three subsets according to the order

Consider a set $S$, and a total order $R$ over that set. Part (a) Given some element $e \in S$, explain why it is possible to partition $S$ into the following three sets: $$S_1 = \{ x \in S ...
4
votes
0answers
84 views

How to find $f$ and $g$ if $f\circ g$ and $g\circ f$ are given?

The question is: Let $f:\mathbb R\rightarrow \mathbb R$ and $g:\mathbb R\rightarrow \mathbb R$ be two functions such that $(f\circ g)(x)=4x^2+4x+1$ and $(g\circ f)(X)=x^2+2x+2$. Find $f(x)$ and ...
-2
votes
1answer
57 views

Set Theory Proof [closed]

How can I prove that $A \cup B = A \cup (A'B)$ It is a useful identity when proving : $ P(A \cup B) = P(A)+P(B)-P(AB)$ But I don´t know where that identity comes from. Is there an analytical proof ...
1
vote
4answers
241 views

If $G$ is a non-cyclic group of order $n^2$, then $G$ is isomorphic to $\mathbb{Z_n} \oplus \mathbb{Z_n}$

I've independently come up with a question (I know it's been asked before, but I can't find the question online) involving the external direct product, non-cyclic groups and isomorphisms. So, is the ...
32
votes
5answers
2k views

Examples of “Non-Logical Theorems” Proven by Logic

I am still an undergraduate student, and so perhaps I just haven't seen enough of the mathematical world. Question: What are some examples of mathematical logic solving open problem outside of ...
4
votes
2answers
162 views

Prove that $\sqrt{n} \le \sum_{k=1}^n \frac{1}{\sqrt{k}} \le 2 \sqrt{n} - 1$ is true for $n \in \mathbb{N}^{\ge 1}$

I'm trying to solve these induction exercises proposed by the department of mathematics of Oxford University. I don't know how to give a valid proof for the third one which says the following: ...
0
votes
3answers
27 views

A property regarding intervals

While I was solving a problem on TopCoder I used the following assumption. I have n intervals: $ [a_1,b_1], [a_2,b_2],...,[a_n,b_n]$ and a number $T$ such that: $$ a_1 + a_2 + ... + a_n \leq T \leq ...
0
votes
1answer
57 views

A question about the proof of an obvious result

This is obviously true that a local homeomorphism is a continuous map. I tried to prove it this way : Suppose $f:X \to Y$ is a local homeomorphism, then $f$ is continuous if for each $x\in X$ and ...
1
vote
0answers
16 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
72 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
67 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} ...
6
votes
1answer
88 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 ...
7
votes
4answers
207 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 = ...
0
votes
1answer
88 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 ...
2
votes
3answers
59 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$ ...
1
vote
2answers
179 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: ...
1
vote
2answers
87 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
37 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
59 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
2answers
50 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 ...
0
votes
1answer
48 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 ...
3
votes
2answers
924 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).$$
0
votes
2answers
96 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 ...
2
votes
1answer
66 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< ...
6
votes
1answer
190 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
27 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 ...
1
vote
3answers
348 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
47 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.