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

1
vote
1answer
44 views

A consequence of Cesàro's theorem

Here is the statement : "Let $(a_n)_{n\ge 1}$ a real or complex sequence and $l \in \bar{\mathbb{R}}$. If $\lim \limits_{n\to +\infty} a_{n+1} - a_{n}=l$, then $\lim \limits_{n\to ...
0
votes
1answer
27 views

Are there infinitely many $k$ for which $\frac{\sigma(k)}{k}$ is a rational square where $ \sigma(k) $ and $k$ both are square?

Is There some one who can show me if there are infinitely many $k$ for which $$\frac{\sigma(k)}{k}$$ is a rational square where $\sigma(k)$ and $k$ both are square ? Note :$\sigma(k)$ is sum ...
0
votes
1answer
24 views

Proof that a real number must occur in the domain between two other real numbers

I saw the question stating that if your speed is $v_0 = 0$ km/h at $t=0$ and your speed is $v_{30} = 20$ km/h at $t=30$, then did you ever had a speed of $v=\pi$? Obviously this is the case as speeds ...
1
vote
1answer
27 views

How do I show that this topology on this linearly-ordered set is regular?

Given some linear ordered set $X$, we define a topology by the basis: all sets of the form $(a,b)$ or $(a,\infty)$ or $(-\infty,b)$, where $a,b \in X$. I need to prove that this topology is regular, ...
0
votes
0answers
37 views

Help fix this proof.

What is wrong with this proof? I followed the example of the answer to another one of my questions, here Define a general recurrence relation as $$f(x)^2=A(x)+B(x)f(x+n).$$ Substitute the root ...
1
vote
2answers
48 views

Showing that the set of $2 \times 2$ real orthogonal matrices has a particular parameterization

Theorem Every orthogonal matrix in $\mathbb{R}^{2, 2}$ is in the form \begin{bmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{bmatrix} or \begin{bmatrix} \cos\theta ...
1
vote
5answers
51 views

Proving that that ${(R \setminus S)\setminus T} \subseteq R \setminus (S \setminus T)$

How might I prove that ${(R \setminus S)\setminus T} \subseteq R \setminus (S \setminus T)$? I am not sure the best place to start other than assuming $x\in(R \setminus S)\setminus T$ and trying to ...
1
vote
3answers
26 views

Finding all the divisors of $a$ by decomposing it into the product $p^{\alpha_1}_{1} \cdot p^{\alpha_2}_{2} \cdots p^{\alpha_r}_{r}$

I'm trying to prove the following statement regarding the fundamental facts of prime numbers, but I don't really understand the relationship between $a$ and $b$. In order to find all the divisors ...
6
votes
1answer
335 views

Application of Jensen's inequality to $x^x+y^y+z^z$

Claim: If $x, y, z >0$ and $x+y+z = 3\pi, $ then $x^x + y^y + z^z > 81.$ My attempt: Let $f(w) = w^w$, so $f$ is convex on $(0, \infty).$ By Jensen's inequality, $f(x\frac{x}{3\pi}+ ...
0
votes
1answer
76 views

Find the number of flags of different types using induction

A flagpole is $n$ feet tall. On this pole we display flags of the following types: red flags that are $1$ foot tall, blue flags that are $2$ feet tall, and green flags that are $2$ feet ...
-1
votes
1answer
97 views

Injections, Surjections, Bijections [on hold]

So i was given a question that asks me to determine whether the function is injective, bijective, or surjective. If you answer bijective than determine the functions inverse, domain, and target space. ...
0
votes
1answer
47 views

A vessel contains $x$ amount of milk out of which $y$ amount is taken out and replaced with water $n$ times.

There is a formula in my book for questions of type, A vessel contains $x$ amount of milk out of which $y$ amount is taken out and replaced with water. After $n$ such operations what will be the ...
0
votes
0answers
33 views

Demonstrative geometry around the world and its significance.

This is not exactly a mathematical question. I am from Pakistan; and over here students are taught a subject 'demonstrative geometry' (as a part of mathematics) from secondary level education. ...
2
votes
4answers
58 views

Prove by induction that $\sum_{k=1}^{n} k^3 = \bigg( \sum_{k=1}^{n}k\bigg)^2$ [duplicate]

Show the following for all positive integers using proof by induction: $$\sum_{k=1}^{n} k^3 = \bigg( \sum_{k=1}^{n}k\bigg)^2$$ Base case (n = 1) passes: $1^3 = 1^2$ We assume the following: ...
3
votes
1answer
49 views

Methods to Minimize Functions and Integrals over $\mathbb{N}$.

In a paper I'm writing, I have to minimize a messy function $f(\mu,n)$ where $\mu \in \mathbb{R}$ and $n \in \mathbb{N}$. That is, given $\mu \in \mathbb{R}$, I need to minimize the one variable ...
3
votes
4answers
98 views

Show that the standard integral: $\int_{0}^{\infty} x^4\mathrm{e}^{-\alpha x^2}\mathrm dx =\frac{3}{8}{(\frac{\pi}{\alpha^5})}^\frac{1}{2}$ [duplicate]

In my physics course this standard formula is used a lot without proof so it would be interesting to see a neat proof for it. From a previous thread by me I know the proof for $\int ...
2
votes
1answer
38 views

Proof for $\mathbf{M}$ unitary if $||\mathbf{M}\mathbf{v}|| = ||\mathbf{v}||$

Let $\mathbf{M} \in \mathbb{F}^{n, n}$. Then $||\mathbf{M}\mathbf{v}|| = ||\mathbf{v}||$($\mathbf{v} \in \mathbb{F}^n$) implies that $\mathbf{M}$ is unitary. My question is, how to prove this ...
0
votes
2answers
42 views

Use proof by contradiction to prove that if $a$ and $b$ are odd integers, then $4 \nmid (a^2+b^2)$.

I have been working through the following proof: Use proof by contradiction to prove that if $a$ and $b$ are odd integers, then $4 \nmid (a^2+b^2)$. Below, I have included screenshots of the ...
-1
votes
0answers
69 views

Determine whether it is injective, surjective, bijective or neither injective nor surjective [on hold]

The question i was given asked (a) Determine whether it is injective, surjective, bijective or neither injective nor surjective. (b) If you answered "bijective" in part (a) determine the ...
0
votes
1answer
25 views

defining a sequence of numbers L n≥1, and prove something about it

So i was given this question just to try for practice to test our knowledge and i'm really confused on how to go about this question. How should i go about this question, i'm confused with the greek ...
3
votes
4answers
117 views

Proving that if $a+b$ and $ab$ are of the same parity, then $a$ and $b$ are even.

Here is the proof: Let $a,b \in \mathbb{Z}$. Prove that if $a+b$ and $ab$ are of the same parity, then $a$ and $b$ are even. When working these problems, I do try to set them up logically. My ...
-4
votes
0answers
44 views

prove that for any 2n≥2 and any \a ​1 ​​ ,…,a ​n ​​ ∈N, we have the following: [on hold]

So the question I was given goes like this we will introduce a mystery function,P:N→N. We don't know a formula for P (and we won't be able to determine one!) but we do know that P satisfies the ...
1
vote
3answers
71 views

Suppose $A\subseteq \mathscr P (A)$. Prove that $ \mathscr P (A)\subseteq \mathscr P ( \mathscr P (A))$

This is Velleman's exercise 3.3.4. Suppose $A\subseteq \mathscr P (A)$. Prove that $ \mathscr P (A)\subseteq \mathscr P ( \mathscr P (A))$. I started reexpressing the terms in their equivalent forms ...
2
votes
3answers
74 views

Proving $10\cdot n=0$ for all $n\in\mathbb{Z}$ with $n\geq 0$ using strong induction

The question says $10\cdot n=0$ for all $n\in\mathbb{Z}$ with $n\geq 0$. Here is my proof by strong induction: Base case: $10\cdot0=0$. Let $k\geq 0$, and suppose that for any $m\leq k$ we have ...
0
votes
1answer
43 views

Estimate for the integral using convexity bound

I'm reading the proof of Hardy and Littlewood's theorem in the book Analytic Number Theory, written by Henryk Iwaniec and Emmanuel Kowalski (p. 547): Theorem (Hardy and Littlewood): Let $N_0(T)$ ...
1
vote
1answer
46 views

Prove or disprove: $(\mathbb{Z}^*, \cdot)$ and/or $(\mathbb{Z}^*, \div)$ is a group.

I am teaching myself information about groups, but don't really understand how to work through this problem. Here is what I have been thinking so far (please note that I do not need to work through ...
1
vote
1answer
108 views

Interesting property of Pascal's Triangle

I was looking at the Pascal's Triangle and saw that for all central numbers in even length row $a \gt 17$, the number $\dbinom{a}{b-2}$ is greater than $\dbinom{a-1}{b}$. This is where $b$ is equal to ...
0
votes
1answer
30 views

Interesting Combinatorics question relating the coefficients of variables in Pascal's Triangle

I tried this problem for a while by canceling the factorials on either side but for whatever reason, wasn't able to solve it. Could someone please help me? Is there a proof that ...
2
votes
2answers
24 views

creative method to obtain range of newton function ?!

I am searching for more proof that the range of $y=\frac{x}{x^2+1}$ is $ \frac{-1}{2}\leq y \leq \frac{+1}{2}$ these are my tries : domain is $\mathbb{R}$ first : $$y=\frac{x}{x^2+1}\\yx^2+y=x ...
0
votes
0answers
31 views

Proof Check In: Prove that $(\mathbb{Z}_n, +)$, the integers (mod $n$) under addition, is a group.

I received some help and direction on this from some users a few days ago, and have tried to take that information and craft it into something proofy. I would appreciate general suggestions, edits, ...
2
votes
3answers
50 views

Prove that if $x \neq 0$, then if $ y = \frac{3x^2+2y}{x^2+2}$ then $y=3$

The problem is the following (Velleman's exercise 3.2.10): Suppose that $x$ and $y$ are real numbers. Prove that if $x \neq 0$, then if $ y = \frac{3x^2+2y}{x^2+2}$ then $y=3$. My approach so ...
0
votes
2answers
54 views

Prove that if $a<1/a<b<1/b$ then $a<-1$

The following is Exercise 3.2.8 from Velleman: Suppose that $a$ and $b$ are nonzero real numbers. Prove that if $a<1/a<b<1/b$ then $a<-1$. I solved it using the hint in the back of ...
2
votes
0answers
21 views

$x-y^4= LCM(x, y)$ [duplicate]

This is a very interesting word problem that I came across in an old textbook of mine. So I know its got something to do with the least common multiple, but other than that, the textbook gave no hints ...
0
votes
1answer
44 views

Prove that $(\mathbb{Z}_n , +)$, the integers (mod $n$) under addition, is a group.

Prove that $(\mathbb{Z}_n , +)$, the integers (mod $n$) under addition, is a group. To show that this is a group, I know I need to show three things (in our text, we do not need to show that addition ...
1
vote
2answers
64 views

How can I be more confident that my proof is correct? (Real Analysis)

I am going through a textbook to prepare for Real Analysis and I recently tried the problem: Let $w\in\mathbb{R}$ be an irrational positive number. Set $A = \{ m+nw \mid m+nw > 0, ...
1
vote
2answers
58 views

Why is $f(x) = x^2$ uniformly continuous on [0,1] but not $\mathbb{R}$

According to How exactly can't $\delta$ depend on $x$ in the definition of uniform continuity? There is a lot of agreement that $x^2$ is not uniformly continuous. But is $x^2$ uniformly ...
0
votes
1answer
21 views

Deriving the sum to product formula for sine using this method

I am trying to derive $sinC-sinD$ By this method: So far I have tried to set up the same method by beginning with $sin(A+B)-sin(A-B)$, but this reduces to a trivial zero and I can't find another ...
0
votes
2answers
59 views

Velleman's exercise $3.1.7$

Prove that if $a^3>a$ then $a^5>a$. Velleman gives this "hint": $$\text{One approach is to start by completing the following equation:}\ (a^5-a)=(a^3-a) \cdot x$$ I don't understand this ...
1
vote
4answers
85 views

Proving that the sum of the first $2n$ terms of the series $1^2 - 3^2 + 5^2 - \cdots$ is $-8n^2$ by induction

Use mathematical induction to prove the following for the first $2n$ terms of the series $$1^2 - 3^2 + 5^2 - 7^2 + \cdots = -8n^2.$$ As we have odd numbers that are squared we could use $n = ...
1
vote
1answer
43 views

Logical equivalence - Russell's Paradox

In 'How to Prove it' Velleman creates the following set: $R = \{A\in U| A \notin A \}$. This is, according to Velleman, equivalent to $\forall A \in U (A \notin A \iff A\in R) $. That is clear. ...
3
votes
1answer
27 views

Show that $T$ is the Set of All Sets Using the ZF Axioms

Let x be a set. Define the "set" $S = \left\{ y:x\subseteq y \right\}$ and $T = \cup\left\{y:y\in S \right\}$. Given any set $w$, let $z=x \cup \left\{w\right\}$. Then $x \subseteq z$, so $z \in S$. ...
2
votes
1answer
59 views

Is there a divergent series with “largest” terms?

Suppose $a_n >0$ and $\sum_{n=1}^{\infty}a_n$ converges. Define $$r_n = \sum_{k=n}^{\infty}a_k$$ Does $\sum_{n=1}^{\infty}\frac{a_n}{r_n}$ diverge? My thinking is yes. Could someone give ...
1
vote
2answers
59 views

Can someone explain to me why set proof involve the words “or” and “and”

For example, on proving the distributive law of set theory, the following constitutes as a proof Proof : I am new to proof involving sets but this to me seems nothing more than replacing unions ...
-1
votes
1answer
28 views

Proofs of n^2 rem 4 [duplicate]

Show that if n is an integer than the remainder $(n^2 rem 4)$ = 1 or 0. I don't under what rem means in this form. Would it be n^2 + 4 = 1 or n^2 + 4 = 0?
2
votes
2answers
49 views

Prove that for any integer $m>1$, $\ \ (z+a)^{2m}-(z-a)^{2m}=4maz\prod_{k=1}^{m-1}[z^2+a^2\cot^2(k\pi/2m)]$.

Prove that for any integer $m>1$, $$(z+a)^{2m}-(z-a)^{2m}=4maz\prod\limits_{k=1}^{m-1}[z^2+a^2\cot^2(k\pi/2m)].$$ This how tried to do it: Expand the two brackets on the right hand side ...
0
votes
2answers
23 views

Define a relation $D_n$ on $S$ by $xD_ny$ if and only if $x\mid y$. Determine if it's a poset.

Here is the question I am currently working on (screenshot): I'd appreciate some suggestions/guidance for part (a), proving that $D_n$ is a partial order. Reflexive: Let $x \in \mathbb{Z}$ ...
4
votes
1answer
34 views

Let $\ f_1:A \rightarrow B$ and $\ f_2:A \rightarrow B$. Prove or disprove $f_1 \cap f_2$ iff $f_1=f_2$.

Here is the question I am working on (screenshot): So, I haven't worked with function proofs very much (especially in the context of iff statements and with intersections). I am looking to see ...
2
votes
0answers
20 views

Applying rotation invariant linear operators to spherical harmonics

In the article "On boundary condition for multidimensional diffusion processes" A Venttsel says: I can't see how one can "prove that any other harmonic of order $n$ may be represented as a linear ...
2
votes
3answers
31 views

Independent Poisson process

Suppose that $\{N_1(t),t\geq0\}$ and $\{N_2(t),t\geq0\}$ are independent Poisson Process with rates $\lambda_1$ and $\lambda_2$. Show that $\{N_1(t)+N_2(t),t\geq0\}$ is a Poisson process with ...
2
votes
3answers
58 views

What are the logical underpinnings of the epsilon- delta definiton of limits?

I'm having trouble getting my head around the epsilon-delta defintion of limits. I learned about conditional statements and I know that in order for a conditional to be true , one of the following ...