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

# Questions tagged [alternative-proof]

3172 questions

**2**

votes

**2**answers

### If $f''(x)+2f'(x)+3f(x)=0$, then $f$ is infinitely differentiable

I came across this problem: which of the following statements are true regarding differentiability.
Is the following statement true?
If $f$ is twice continuously differentiable in $(a,b)$ and if for all $x\in(a,b)$ , $$f''(x)+2f'(x)+3f(x)=0$$, then…

3x89g2

- 7,366
- 5
- 23
- 65

**2**

votes

**3**answers

### How to prove surjectivity of $f:\{1,\ldots,n\}\to\Bbb Z_n,\,k\mapsto[k]$? Alternative proofs for $|\Bbb Z_n|=n$?

Im trying to prove that $\Bbb Z_n:=\Bbb Z/n\Bbb Z$ have cardinality $n$ just using properties of rings, this mean that Im trying to do it without the use of any multiplicative inverse $z^{-1}\in\Bbb Q$.
My try: if $|\Bbb Z_n|=n$ then must exist a…

Masacroso

- 26,173
- 6
- 28
- 74

**2**

votes

**0**answers

### Approximation of Lipschitz function in uniform norm

Let $F =\left\{ f\in C^1[a,b] : || f|| \leq c, ||f'||\leq k\right\}$ and
$G = \left\{f\in C[a,b] : || f|| \leq c, f \text{ is globally Lipschitz with Lipschitz constant }\leq k \right\}$
where $a,b,c,k$ are fixed real constants, and the norm is the…

yumiko

- 721
- 5
- 16

**2**

votes

**2**answers

### Can we specifically prove that if $n\in\mathbb{Z^+}$ is composite and square-free then the ring of integers of $\mathbb{Q}(\sqrt{-n})$ is not a UFD?

Let $\mathcal{O}_K$ be the ring of integers of a field $K$. I have learnt about the Baker-Heegner-Stark theorem, which implies that if $K=\mathbb{Q}(\sqrt{-n})$ with $n\in\mathbb{Z}^+$ square-free, then $\mathcal{O}_K$ is a UFD if and only if $n$ is…

Vincenzo Oliva

- 7,041
- 1
- 17
- 40

**2**

votes

**2**answers

### Symmetric group $\mathfrak{S}_4$ does not have a normal subgroup of order 2.

Prove: The symmetric group $\mathfrak{S}_4$ does not have a normal subgroup of order 2.
I found the following way of showing this, which does not make me happy. My questions are: Is this proof correct? And: Is there a nicer way of showing this, by…

S. M. Roch

- 921
- 5
- 17

**2**

votes

**1**answer

### Proof regarding the multiplicative group of integers modulo $p^m$

I have the following conjecture:
Let $p$ be a prime, and $g\in(\Bbb{Z}/p\Bbb{Z})^\times$. If $g$ generates $(\Bbb{Z}/p\Bbb{Z})^\times$, then $g$ also generates $(\Bbb{Z}/p^m\Bbb{Z})^\times$ for all $m\in\Bbb{N}$ with $m>1$.
Now I did attempt a…

user3002473

- 8,449
- 6
- 29
- 60

**2**

votes

**1**answer

### Compute $\sup\limits_{x\in (0,2)}\left|\operatorname{cosh}\left(x^2-x-1\right)\right|$

$$\rm{ Calculate: }\quad \displaystyle \sup_{x\in (0,2)}\left|\cosh\left(x^2-x-1\right)\right|$$
My proof:
$$f(x)=\cosh\left(x^2-x-1\right)$$
$$f'(x)=\left(2x-1 \right)\sinh\left(x^2-x-1\right) $$
$$f'(x)=0 \iff x=\dfrac{1}{2} \rm{ or }…

Educ

- 4,718
- 2
- 22
- 38

**2**

votes

**2**answers

### How to show that $h$ is continuous?

Claim. Let $f,g:X\to Y$ be two continuous functions where the topology on $Y$ is order topology. Define $h:X\to Y$ as $h(x)=\max\{f(x),g(x)\}$. Then show that $h$ is continuous.
My Attempt (very rough sketch)
Let $V$ be an open set in $Y$. Then…

user170039

**2**

votes

**2**answers

### Prove that if f is diff. on $(-\infty,\infty)$ such that $f(0)=0$ and $f(1)=1$,then there is a $c\in(0,1)$ such that $f'(c)=2c$

I have been solving last exam questions of calculus course and encountered with a problem which I couldn't solve completely.The question is following;
Determine whether the statement is true or false, and prove it;
Suppose that f is differentiable…

Our

- 7,131
- 1
- 19
- 63

**2**

votes

**2**answers

### Prove "Two parallelograms on the same base and in the same parallels, are equal."

I understand Euclid's way of proving this. But, the book also says that I can prove this by decomposing one parallelogram into pieces, and then forming another parallelogram by combining those pieces together.
I was thinking of dividing one…

user3000482

- 1,436
- 13
- 27

**2**

votes

**3**answers

### If an invertible matrix $A$ commutes with $C$, show that $A^{-1}$ commutes with $C$

This is taken from a problem in Introduction to Linear Algebra by Strang:
If an invertible matrix $A$ commutes with $C$, show that $A^{-1}$ commutes with $C$
This is what I tried to do, take note of the specific order in which I've multiplied the…

Perturbative

- 11,600
- 6
- 43
- 126

**2**

votes

**1**answer

### Proof of Riemann Rearrangement Theorem

I'm reading the proof of Riemann Rearrangement Theorem in T. Tao's Analysis 1 textbook which can be found here
Rearrangement Thm
(the parts missing from the textbook, left as exercises for the reader, are completed by the user asking the…

lorenzo

- 3,112
- 2
- 11
- 27

**2**

votes

**2**answers

### Check my proof on showing $|H|=|\mathcal{H}||K|$, where $|H|$ and $|\mathcal{H}|$ are corresponding subgroup in the correspondence theorem?

Let $\phi:G\to\mathcal{G}$ be a surjective homomorphism with kernel $K$. There is a bijective correspondence between subgroups of $\mathcal{G}$ (where we denote as $\mathcal{H}=\phi(H)$) and subgroups of $G$ that contain $K$ (where we denote as…

user338393

- 1,125
- 9
- 14

**2**

votes

**2**answers

### Necessary and sufficient condition for the union of two intervals to be an interval

I am trying to write down a proof of the following fact:
Let $I$ and $J$ be non-empty intervals of $\mathbb{R}$ such that $\inf I \leqslant \inf J$. The union $I \cup J$ is an interval if and only if one of the following conditions holds:
$I \cap…

Paolo

- 923
- 1
- 5
- 22

**2**

votes

**2**answers

### Brute force way to show that $\rho(x,y) = \min\{1, d(x,y)\}$ is a metric

Following a hint in Short proof that $\rho^\prime(x,y) = \min\{1,\rho(x,y)\}$ is a metric
I would like to use the brute force method to show that the standard bounded metric is a metric
$$\rho(x,y) = \min\{1, d(x,y)\}$$
By brute force I mean to…

Fraïssé

- 10,532
- 6
- 51
- 120