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.

309 views

Cauchy induction: are there examples of cases where choosing an integer other than $2$ is a better strategy?

Cauchy induction, sometimes called backwards induction, works as follows: show that $p(1)$ is true show that $p(n)$ implies $p(2n)$ (which inductively implies $p(2^n)$ is true) show that $p(n)$ ...
186 views

Intuition behind Erdős proof of the infinitude of prime numbers

Suppose by contradiction that there are finitely many primes, namely $p_1, p_2,...,p_k$, where $k$ is a natural number. Now consider another natural number $n$, and all natural numbers $m \leq n$. ...
297 views

Proving equivalence of a tree-based version of Countable Choice for families of finite sets.

In this paper by Good and Tree, the following result is mentioned without proof as part of Proposition 6.5: Each of the following statements imply those beneath it. The countable union of ...
230 views

Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix. I have already asked a (viewed but unanswered) ...
175 views

Olympiad-style question about functions satisfying condition $f(f(f(n))) = f(n+1) + 1$

QN: What functions (from non-negative integers to non-negative integers) satisfy the condition $$f(f(f(n))) = f(n+1) + 1$$ Comment: Evidently $f(n) = n+ 1$ is one solution. Equally evidently no ...
232 views

Proof of the conjecture that the kernel is of dimension 2, extended

Pursuing my research, I am now looking for a proof of an extension of the problem proposed here and answered. It's an extension in the sense that I'm now considering two different $t_1$ and $t_2$. The ...
339 views

Extension of the Jacobi triple product identity

The Jacobi triple product identity is: $$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2}$$ I would like to extend the idea for ...
405 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, ...
159 views

What is stopping every Mordell equation from having a [truly] elementary proof?

The Mordell equation is the Diophantine equation $$Y^2 = X^3-k \tag{1}$$ where $k$ is a given integer. There is no known single method — elementary or otherwise — to solve equation $(1)$ for all $k$, ...
194 views

Suppose you have a vector $\pmb x=\{x_i\}_{i=1}^n$ where each entry is drawn from a continuous distribution and $n$ is even. Then, denote $i^*=\{1\leq j\neq i\leq ... 0answers 509 views Sum of odd prime and odd semiprime as sum of two odd primes? How to prove that each sum of odd prime and odd semiprime can be written as sum of two odd primes$(p_1+p_2p_3=p_4+p_5)$? Since we know that each prime number greater than$3$is of the form$6k\pm ...
392 views

The definition of adjoint functors in terms of universal morphisms lends itself to very economical proofs in situations where one has a functor but no "direct" candidate for the left adjoint functor ...
197 views
+100

94 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 ...
348 views

Proving u-substitution the hard way — use only definition of integration with partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $\mathscr{C}^1$ on $(c,d)$. Then ...
85 views

214 views

Puzzle - zero knowledge proof

I am solving the following problem : I have edge-matching puzzles, where all pieces are squares and the grid has $n$*$n$ format. There is no global image to guide a puzzle solver. Despite the puzzles ...
89 views

Induction on Primitive Recursive Function

The set $F_{n}$ of primitive recursive function symbols of arity $n$ can be defined inductively as: \begin{align} & Z, \text{Succ} \in F_{1} & \\ &\pi_{j}^{n} \in F_{n} \quad \text{for ...
133 views

has any cycle found in MD5?

We are not sure whether MD5 has fixed point or not. But since the sample space is finite, it must have cycles: $$A →(MD5)→ B →(MD5)→ C →(MD5)→ D →(MD5)→ A$$ Has any research been done on MD5 to ...
121 views

Infinite Chain of Implication Statements - Can it have a Conclusion?

First, does an infinite string of implication statements have a conclusion? If so, is there a such thing as a "closure" of such a beast, giving a conclusion? I am also trying to determine if the ...
83 views

Arbitrary ratio sequences on a partition of $\mathbb{R}$ (Partition regularity of fixed ratio sequences)

Background: This question arose purely recreationally and doesn't really fit into any context that I know of. Let $A \sqcup B = \mathbb{R}$ be a partition of the ...
127 views

Using other fields of math to simplify a proof.

One of the first non-trivial results given in most courses on algebraic topology is the proof of the Fundamental Theorem of Algebra using topological methods. This is on page 11 of J.P. May's A ...
316 views

Combinatorics and graph theory - counting connected graphs

We denote by $C(n,n+k)$ the number of connected graphs on $n$ vertices with $n+k$ edges. I have 2 problems I wish to prove, but after much effort have gotten nowhere with. I would greatly value some ...
48 views

33 views

On the greatest lower bound property

Proposition: Let $S$ be an ordered field and $S \supset E \neq \varnothing$. $E$ is bounded below. Then $\inf E = - \sup ( - E )$ Try: Write $- E = \{ -x : x \in E \}$ and let $l$ be a lower ...
Let $S$ be an ordered set with the $L.U.B$ Property, $S \supset B \neq \varnothing$, $B$ is bounded below. Write $L = \{ l : l \; \text{is a lower bound of } \; B \}$. Then, it follows that ...
Hi I am interested in proving that an operator $$\eta : W^{1,p}(\Omega) \times L^{p}(\Omega) \rightarrow L^{p'}(\Omega)$$ is (weak $\times$ norm, norm) continuous. I want to know if it is viable to ...