# Tagged Questions

If you already have a proof for some result, but want to ask for a different proof (using different methods).

37 views

### Proving that $z^4-6z^2+4z-3 = y^2$ has only one integer solution

I'm trying to prove the following result. Conjecture. If $z$ is an integer, and $z^4-6z^2+4z-3$ is a square, then $z=3$. A quick check modulo $9$ shows that $z=9w+3$ for some integer $w$. So for ...
82 views

### square matrix $\mathbf{A}$ with $\mathbf{A}^\intercal = -\mathbf{A}$, proof $\mathbf{A}$ is not invertible.

I tried proving that given a square $\mathbf{A}$ over $\mathbb{R}$ so that $\mathbf{A}^\intercal = -\mathbf{A}$, $\mathbf{A}$ is not invertible. I know that because the matrix is real and its ...
8 views

### How to prove mathematically these two different definitions of background-position property as equivalent?

I've been reading about how percentage values work for background-position position property. The official definition is that ...
95 views

### Looking for the most elementary proof that $48X^4+12X^2+1=Y^2$ has no non-trivial integer solution.

As relayed in this question of mine (which is more general in scope), I believe I have found a relatively easy, and completely elementary, way to show that the equation $$48X^4 + 12X^2+1 = Y^2$$ has ...
212 views

### Does the functional equation $p(x^2)=p(x)p(x+1)$ have a combinatorial interpretation?

A recent question asked about polynomial solutions to the functional equation $p(x^2)=p(x)p(x+1)$. Subsequently, Robert Israel posted an answer showing that solutions are necessarily of the form ...
38 views

### Proving (without using complex numbers) that a real polynomial has a quadratic factor

The Fundamental Theorem of Algebra tells us that any polynomial with real coefficients can be written as a product of linear factors over $\mathbb{C}$. If we don't want to use $\mathbb{C}$, the best ...
303 views

26 views

56 views

### Solving the recurrence $A_n = \sum_{k=1}^{n} 2^{k+1} A_{n-k}$

Let me ask a very simple question: Let $(A_n)$ be a sequence of integers defined by $A_0 = 1$ and $$\forall n \geq 1 : A_n = \sum_{k=1}^{n} 2^{k+1} \cdot A_{n-k}.$$ There is an explicit formula for ...
20 views

### Decreasing sequence and prove by contradiction

I have "solved" the following question using prove by contradiction. But it seems a bit off to me: Let {$x_k$} be a sequence satisfying $x_{k+1}\le(1-\beta)x_k$ for $0\lt\beta\lt 1$ , and $x_0\le C$. ...
40 views

### How to prove these two sets are identical?

This is more a question of the methadology one should use to solve these type of questions: Say there is a set $V \subseteq X \subseteq Y$ and $U \subseteq Y$ such that $$X \setminus V = U \cap X$$ ...
56 views

### $\mathbb CP^1 \approx S^2$ proof check

I wanted to give a whole proof of this fact as I was not able to find a detailed one myself. I have the feeling that such a proof has been asked quite frequently by several users and I hope this may ...
59 views

### Show that $6^n/n! \le 6^5/5! \times 6/n$

I want to show that $$\frac{6^n}{n!} \le \frac{6^5}{5!} \cdot \frac 6n$$ without using induction, which I've done but is rather clunky. Is there a more straight forward way of doing this?
180 views

### Looking for a non-combinatorial proof that $a! \cdot b! \mid (a+b)!$

(I use $a$ and $b$ to denote natural numbers.) Question. Without appealing to the combinatorial interpretation of $$\frac{(a+b)!}{a! b!}$$ as a multinomial coefficients, is there a proof that for ...
33 views

### Alternative proof of $\prod_{n=1}^{+\infty}\frac{e^{it/2^n}+1}{2}=\frac{e^{it}-1}{it}$

Let $t\in \mathbb{R}$. I want an alternative proof of the following identity $$\prod_{n=1}^{+\infty}\frac{e^{it/2^n}+1}{2}=\frac{e^{it}-1}{it} \quad(\star)$$ I've came up with this identity observing ...
47 views

### Is there any way to gain some insight into a proof by simply looking at a graphic?

My school is using Pinter's "A Book of Abstract Algebra" for both semesters of Modern Algebra. For a class assignment a couple weeks ago, regarding rings, I was tasked with the following problem ...
77 views

42 views

### Show that a piecewise function of two solutions to an ODE is a solution to the ODE

Let $x=x(t)$. If the first order ODE $x'=f(t,x) (*)$ is satisfied by $u$ and $v$, each over $I = (a,b)$, show that $$w(t) := u1_{(a,t_0)} + v1_{[t_0,b)}$$ satisfies $(*)$, where $u(t_0) = v(t_0)$ ...
20 views

### Show code $C$ is a 1 error correcting

Let $C=\{(0,0,0,0,0),(1,1,1,0,0),(0,0,1,1,1),(1,1,0,1,1)\}\in\mathbb{F}_2$. Show $C$ is $1$ error correcting. Definition: a code $C\subseteq\mathbb{F}^n$ is t error correcting , if for any two ...
38 views

### Proof using pumping lemma that $\{0^m1^n \mid m \neq n \}$ is not regular

First of all, there's already a question very similar to this, but in my case I just wanted to show my attempt with the hope that if there are any erros or it's wrong completely you can help me in the ...
69 views

### For all $x$, $f(x)=\int_{0}^{x}f(t)dt$. Prove that $f(x)=0$ for all $x$.

Suppose that the function $f:\mathbb{R}\rightarrow\mathbb{R}$ is continuous and that $$f(x)=\int_{0}^{x}f(t)dt\qquad\text{for all x}$$ Prove that $f(x)=0$ for all $x$. Attempt Since ...
52 views

### Monomorphisms of monoids are stable under coproducts

Let $M,N,K$ be three monoids (or even groups, if you like) and let $N \to K$ be an injective homomorphism. Then, the induced morphism $M \sqcup N \to M \sqcup K$ is also injective. This is easy to ...
68 views

### Alternative proof: G group of order $p^2$, p prime $\Rightarrow$ $H$ is normal in $G$.

Let $G$ be a group of order $p^2$ where $p$ is prime. If $H$ is a subgroup of order $p$, show that $H$ is normal in $G$. I would like to prove this with the tools that the book has provided up to ...
22 views

### On a Simple Theorem from Hilbert's *The Foundations of Geometry*

I want my proof writing skills to get better. I am trying to do this through proving theorems from Hilbert's axioms for Euclidean Geometry. I found Hilbert's The Foundations of Geometry here, a ...
38 views

57 views

### Prove $T$ is invertible

If $T\in L(X,X)$ where $X$ is a Banach space and $L(X,X)$ is denoted as the space of bounded linear maps, and $\|I-T\|<1$ where $I$ is the identity operator, then $T$ is invertible? Here ...
23 views

### Easy computations using the functional equations for Riemann and Gamma functions

Let $\zeta(z)$ the Riemann Zeta function and $\Gamma(z)$, the Gamma function. I've deduced easily an equation involving these functions. I don't known if it is useful, if there are mistakes in my ...
This is my answer for the following question: Find all natural numbers $(a,b)$ for which $a^b-b^a=1$. When $a$ or $b$ equals $1$, $(a,b)=(2,1)$ is trivial. If $a,b>1$, I generalized the problem ...