Questions tagged [proof-writing]

For questions about the formulation of a proof. This tag should not be the only tag for a question and should not be used to ask for a proof of a statement.

1,715 questions
1k 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 ...
231 views

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

Determine all positive integers $m$ such that the ratios $$\frac{2(5^m+5)}{3^m+1}\quad\text{and}\quad \frac{9^m+1}{5^m+5}$$ are both integers. Attempt at a solution: If the ratios are both ...
169 views

Degree of hypersurfaces in Grassmannians

In the book Discriminants, Resultants, and Multidimensional Determinants of Andrei Zelevinsky and Izrail' Moiseevič Gel'fand, the authors give the following definition of degree of a hypersurface in a ...
460 views

Is there a Sokoban level with such conditions

First of all, let me explain what Sokoban is. It is a logic game created in Japan and it literally means "warehouse keeper". It is a type of transport puzzle, in which the player pushes boxes or ...
499 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, ...
74 views

Show that $\forall n, a_n$ is an integer that is multiple of $n$.

Consider the sequence $\{a_n\}$ defined by $\;a_1=1,\; a_2=2,\; a_3=24\;$ and $$a_n=\frac{6a_{n-1}^2a_{n-3}-8a_{n-1}a_{n-2}^2}{a_{n-2}a_{n-3}},\; \forall n\geq 4.$$ Show that $\;\forall n,\; a_n\;$ ...
342 views

172 views

270 views

50 views

Another proof question for real analysis

Let $a, b, c \in \mathbb{R}$. Prove if $a + b = a$ then $b = 0$. Suppose that $a + b = a$. Then $a + b - a = a - a = 0 = b$ by the inverses law for addition. By the Identity law for addition it ...
679 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 ...
I'd like to proof: The caracteristic polynomial of $A \in M(n\times n, K)$ has the form: $P_A(\lambda) = (-1)^n \lambda^n + (-1)^{n-1} \operatorname{tr}(A)\lambda^{n-1} +\dots +\det(A)$ My proof ...