# Tagged Questions

For questions about the formulation of a proof, not about the mathematics behind it.

925 views

### Cauchy-Formula for Repeated Lebesgue-Integration

Recently, I came across the following statements. They were annotated as consequences of Fubini's Theorem but neither proof nor reference were given. Let $f:[a,b]\times [a,b]\to\mathbb{R}$ be ...
138 views

### How do people pick $\delta$ so fast in $\epsilon-\delta$ proofs

For example, in a proof that shows $f(x) = \sqrt(x)$ is uniformly continuous on the positive real line, the proof goes like: Let $\epsilon > 0$ be given, and $\delta = \epsilon^2$.... Or to ...
129 views

### Why so many 'multi-part' definitions, as opposed to 'unified' ones?

Many definitions consist of multiple parts: an equivalence relation is symmetric AND reflexive AND transitive; a topology is closed over finite intersections AND over arbitrary unions; etc. However, ...
559 views

### In a math paper, what is a remark?

I sometimes see paragraphs labeled 'Remark.' However, papers that include remarks also include unlabeled explanatory paragraphs (i.e. all the other writing in the article) that seem to be remarks. ...
162 views

### Olympic number theory problem: is this solution fine and sufficiently well written?

Determine all the positive integers $m$ such that both the ratios $$\frac{2(5^m+5)}{3^m+1}, \frac{9^m+1}{5^m+5}$$ are integers. Attempt to a solution: If the ratios are both integers, than their ...
420 views

### Proof Strategy for a Dynamical System of Points on the Plane

I have a rather simple-looking system which exhibits a particular behaviour in simulation, and I would now like to attempt to prove this formally. The problem is, I don't really know where to start, ...
87 views

108 views

### How to Prove It, Exercise 6.5.9

Suppose $R$ is a relation on $A$ and $S$ is the transitive closure of $R$. If $(a, b) \in S$, then there is some positive integer $n$ such that $(a, b) \in R^n$, and therefore by the well-ordering ...
62 views

704 views

43 views

### Complete Graphs as Unions of Paths

Show that for $n \geq 2$ the complete graph $K_n$ is the union of paths of distinct lengths. I have been stuck on this problem for the past couple of days now and would really like to see a solution/...
63 views

78 views

### Help with a trigonometric proof, please?

Hexagon $ABCDEF$ is inscribed in the circle of radius $R$ . $AB=CD=EF=R$. Points $I$, $J$, $K$ are the midpoints of segments $\overline{BC}$, $\overline{DE}$, $\overline{FA}$ respectively. Then prove ...
86 views

314 views

### An undirected graph $G$ can be decomposed into simple edge-disjoint cycles if and only if all of its vertices have even degree.

Research effort: $\rightarrow)$ I think this is relatively easy. $\leftarrow)$ Let $G = (V,E)$, let $w$ be any vertex of $G$, given that all the vertex have even degree, I'm assured that I can ...
Original question: $f$ is continuous on $[a,b]$ and differentiable on $(a,b)$. Show that for any $c \in (a,b)$ that is not a point of maximum or minimum for $f'$, there exist $x_1, x_2 \in (a,b)$ ...