# Tagged Questions

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.

61 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 ...
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 ...
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?
54 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 ...
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}$ ...
35 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 ...
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 ...
32 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 ...
63 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 ...
32 views

### Poisson Process proof that

For a Poisson process show, for $s<t$ that $$P(N(s)=k\mid N(t)=n)={n\choose k}\left(\frac{s}{t}\right)^k\left(1-\frac{s}{t}\right)^{n-k},\space > k=0,1,\dots,n$$ I tried a few things but ...
41 views

### Empty set Velleman's exercises

Doing an exercise from Velleman's 'How to prove it' I ended up thinking about exercise 2.3.8: Given that there are sets $I=\{2,3\}, A_2=\{2,4\},A_3=\{3,6\},B_2=\{2,3\},B_3=\{3,4\}$. What is ...
119 views

### Prove by induction that $\frac{n^3}{3}+\frac{2n}{3}$ is an integer. [duplicate]

The question that I am working on is: Prove that $\dfrac{n^3}{3}+\dfrac{2n}{3} \in \mathbb Z \ \forall \ n \in \mathbb N$ The method that I think would be will work for this question is that I ...
56 views

117 views

### Understanding Spivak's alternative proof that $|a + b|\leq |a| + |b|$

For example, in Chapter 1 - Problem 14c Spivak asks the reader to come up with a different alternative proof that $$|a + b|\leq |a| + |b|$$ and this is what I found in the solution manual (with my ...
59 views

### proof by induction $2^n \leq 2^{n+1}-2^{n−1}-1$

My question is prove by induction for all $n\in\mathbb{N}$, $2^n \leq 2 ^{n+1}-2^{n−1}-1$ My proof $1+2+3+4+....+2^n \leq 2^{n+1}-2^{n−1}-1$ Assume $n=1$,$1 ≤ 2$ Induction step Assume statement ...
49 views

### A tautology that contains quantifier and logical connective.

It might seem a stupid "question", but I need a logical explanation of it. If $p(x)$ is a predicate and $q$ is a statement, then $(\forall x:p(x))\wedge q\iff \forall x:(p(x)\wedge q)$, and ...
24 views

### Is there any relationship between a worst matrix and its size and what are their common structures?

I am currently trying to test and calculate the worst possible $\mathcal{O}(f(n))$ for some algorithm. In order to do so, I need to find the worst possible (0,1) n x n matrix for some $n$s (e.g. ...
12 views

### boundary condition measure associated to a rotation invariant operator

According to A. Venttsel (On boundary condition for multidimensional diffusion processes) The measure in $(13)$ is of the form $\nu(drd\theta)\cdot d\varphi$ while in the general case we had ...
10 views

### Proof that $\partial_{t_1} F(1,w_0) = 0$ according to Venttsel

In the article "On boundary condition for multidimensional diffusion processes", A Venttsel says that I can't follow the author when he concludes that $a_1(1,w_0) = 0$. Do you have any ideas?