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

learn more… | top users | synonyms

5
votes
1answer
39 views

Set of all subsets of X that contain a set Q is a topology

Let $X$ be a set such that $Q \subset X$. Show that $\tau = \{\emptyset\} \cup \{U \in \mathcal{P}(X): Q \subset U\}$ is a topology on X. $\emptyset \in \tau$ by definition and $X \in \tau$ ...
1
vote
0answers
42 views

Abelian Group (Alternative Proof)

Is there an alternative method to prove $(ab)^{2}=a^{2}b^{2}$ for all elements $a,b \in G \implies$ $(ab)^{-1}=a^{-1}b^{-1}$ for all elements $a,b \in G$. then the one I give below? Let $G$ be ...
1
vote
0answers
42 views

Proof Verification/Alternative to Induction- Well ordering proof

This question grew out of Induction and Maximum Principle, which yours truly asked Sep 23, at 11:51. Due to Mauro Allegranza's suggest, I changed focus so as to first prove the equivalence of $(a)$ ...
1
vote
2answers
44 views

Proofs of identity for product of binomial coefficients

While verifying my answer to another question, I came across a problem of binomial coefficients: Does $\hspace{.2cm}\displaystyle \prod_{k=1}^{n-1}\binom{n-1}{k}=\prod_{k=1}^{n-1}k^{2k-n}$ for all ...
0
votes
0answers
56 views

what is the probability that there is a string of k consecutive heads?

A coin is flipped n times. Assuming that the flips are independent, with each one coming up heads with probability p, what is the probability that there is a string of k consecutive heads? An answer ...
2
votes
4answers
124 views

Prove that a continuous function defined on an interval $[a,b]$ has a fixed point.

I have to prove that : Suppose that $f:[a,b] \to [a,b]$ is continuous. Prove that there is at least one fixed point in $[a,b]$. But I don't know how to attack it since I can't apply anything of ...
1
vote
0answers
61 views

Exponential Function Limit Question

When I was first introduced to a derivation of the Taylor series representation of the exponential function here (pg 25): I noted the author, Dunham mentioning that the argument was non-rigorous. I ...
1
vote
1answer
38 views

Residue Calculus (Computing an Improper Integral)

Use residue calculus to compute the integral $\int_{-\infty}^{\infty}\frac{1}{(z^{2}+25)(z^{2}+16)}dz$ My solution If we add to the interval $I_{R}=[-R,R]$ add the semicircle $\gamma_{R}$ in the ...
2
votes
3answers
64 views

Applying Rouché's Theorem

Determine how many zeros of the following polynomial lie inside the circle $|z|=2$ \begin{equation} z^{5}+2z^{4}+z^{3}+20z^{2}+3z-1=0\end{equation} My Reasoning If we put $f(z)=z^{5}+2z^{4}$ and ...
0
votes
0answers
45 views

Proving that the Poisson random variable with mean $x$ is the Poisson random variable $X$ with maximum value of $\text{Pr}(X=x)$.

For any pair of positive numbers $\mu_1$ and $\mu_2$, let $X_1$ be the Poisson random variable with mean $\mu_1$, and $X_2$ be the Poisson random variable with mean $\mu_2$. Proof that $\text{Pr}(X_1 ...
0
votes
1answer
40 views

How to solve this *without* handshake theorem?

Suppose $45$ handshakes occurred in a room, how many people were in the room? Someone asked me this question and I was going to answer him using graph theory and my knowledge of the number of ...
-1
votes
2answers
27 views

Prove radius chord theorem without using congruent traingles

Suppose that $P(a,b)$ and $Q(c,d)$ are two points on the unit circle $x^2 + y^2 = 1$, and let $M$ be the midpoint of chord $PQ$. (Without using congruent triangles), prove that $OM$ is perpendicular ...
1
vote
4answers
128 views

Constructive proof for existence of integer part of real number

I try to prove de following exercise of my analysis textbook. Show that for every real number $x$ there is exactly one integer $N$ such that $N \le x < N + 1$. I have been finding a ...
1
vote
1answer
105 views

alternating sum of zeta functions minus one is one half

During my work on a different infinite series I happened to prove that $\displaystyle\sum_{k=2}^{\infty}(-1)^k (\zeta(k)-1)=\frac{1}{2}$ where $ ...
1
vote
1answer
264 views

Show that | and $\downarrow$ are the only binary connectives \$ such that {$} is functionally complete.

I've been reading and coping with van Dalen's Logic and Structure for a a few days. However, I've getting problems to solve his Exercise 6 from Ch 1 Sec 1.3 (p.28). In this exercise, van Daken asks ...
1
vote
1answer
76 views

Beppo-Levi: Reverse

For a merely decreasing positive sequence it fails: $$f_n:=\frac{1}{n}\chi_{[n,\infty)}:\quad\int f_n\mathrm{d}\lambda=\infty\nrightarrow0$$ For a dominated decreasing positive sequence it holds: ...
2
votes
2answers
82 views

Alternate proof for $a^2+b^2+c^2\le 9R^2$

As I studying geometric inequalities, one of those famous inequalities is $$a^2+b^2+c^2\le 9R^2$$ I did some research and I found that there is a proof (not exactly the this inequality but an useful ...
1
vote
0answers
25 views

Find similar estimate for complex numbers

According to Borwein, page 356 Prop. 2, $\left|\ln\left(\frac{4}{k}\right)-\operatorname{I}(1,k)\right|\leq 4k^2\left(8+\left|\ln k\right|\right)$ holds for $k\in\left(0,1\right]$. ...
1
vote
0answers
26 views

Basic calculus question with continuous function [duplicate]

This is actually not my question, it was asked yesterday by user176744 in this link $[0,n]$ continuous function problem and I feel as if it didn't get enough attention. I am also interested in a ...
0
votes
1answer
61 views

Two reasons why $\int^{1}_{0}f(x) \,dx$ exists?

Consider $f$ on $[0,1]$ defined as $f(0)=0$ $$f(x)=2^{-n}\quad \text{if}\quad 2^{-n-1}<x\le2^{-n},$$ for $n=0,1,2,3,...$ I'm looking for two reasons why $\int^{1}_{0}f(x) \,dx$ exists? One ...
0
votes
1answer
48 views

how to prove the only difference between antidrivaties of a function is in their constants?

how to prove "If F is an antiderivative of f on an interval I , then the most general ...
10
votes
4answers
214 views

Inequality $\binom{2n}{n}\leq 4^n$

I would like to prove the following inequality, for $n=0,1,2,...$, $$ \binom{2n}{n}\leq 4^n.$$ I already proved it by induction, and I'm looking for another proof.
1
vote
2answers
53 views

Group of order $pq$ with $p\not\mid (q-1)$

Let $p, q$ be prime numbers, with $p<q$. If $G$ is a group of order $pq$ and $p\not\mid (q-1)$, then $G\cong \mathbb{Z}/pq\mathbb{Z}$. The standard way to prove this fact is using Sylow theorems, ...
4
votes
1answer
181 views

Will this algorithm stop before time?

For every $n \in \mathbb N$, let's define $a_0 = 0$, $$\begin{cases} a_{i+1} = 2a_i + 1 \pmod {2^n}, &\text{if it never appeared before} \\ a_{i+1} = 2a_i \pmod {2^n},& ...
0
votes
1answer
868 views

Proving graph connectedness given the minimum degree of all vertices

I know that this is a repeat of a previous question asked with a similar title, but I didn't want to revive an old thread. The solution presented in that thread seems to be the common one, but I was ...
0
votes
1answer
74 views

Prove that the graph $H = H_1\cup H_2 = (V_1\cup V_2,E_1\cup E_2)$ is connected.

Let $G = (V,E)$ be a graph and let $H_1 = (V_1,E_1)$ and $H_2 = (V_2,E_2)$ be two connected subgraphs of $G$ that have at least one node in common. Prove that the graph $H = H_1\cup H_2 = (V_1\cup ...
21
votes
1answer
508 views

Verify matrix identity $A^tD-C^tB=I$ on certain hypotheses

Given $n\times n$ real matrices $A,B,C,D$ such that: $AB^T$ and $CD^T$ are symmetric $AD^T-BC^T=I$ Prove that $A^TD-C^TB=I$ The solution I have come up with after a very long time is to consider: ...
3
votes
0answers
56 views

Is this irrationality proof correct?

Consider a non-square integer $n$. If its square root was rational, then we would have $$\sqrt n=\frac{a}{b}$$ for some $a,b\in\mathbb{Z}$ and so $a^2=nb^2$. But this is impossible, because $n$ is ...
3
votes
2answers
154 views

square root of 2 irrational - alternative proof

I have found the following alternative proof online. It looks amazingly elegant but I wonder if it is correct. I mean: should it not state that $(\sqrt{2}-1)\cdot k \in \mathbb{N}$ to be able to ...
1
vote
1answer
106 views

Measure of Elementary Sets Proof

I am struggling with what seems like a very simple problem from Terrence Tao's Introduction to Measure Theory book (which is available for free online by the way). What I am trying to prove is the ...
2
votes
4answers
295 views

Prove that the symmetric group $S_n$, $n \geq 3$, has trivial center.

I am trying to prove this: Let $\sigma$ be a non-identity element of $S_{n}$. If $n \geq 3$ show that $\exists \gamma \in S_{n}$ such that $\sigma\gamma \neq \gamma\sigma$. Hint: Let ...
0
votes
1answer
32 views

Simplified Galois proof?

I have learned about Galois epoch-making proof that any polynomial of the fifth degree has no solution representable in terms of its coefficients. Can his proof be simplified and clarified in modern ...
6
votes
2answers
232 views

Alternative proof of Girard's theorem

I am looking for an alternative proof of Girard's theorem. The standard proof, which is almost trivial, relies too much on visualizing spherical triangles on the sphere. Is there a more algebraic ...
2
votes
2answers
95 views

How many different proofs are there that $a^n-b^n =(a-b)\sum_{i=0}^{n-1} a^i b^{n-1-i} $?

How many different proofs are there that $a^n-b^n =(a-b)\sum_{i=0}^{n-1} a^i b^{n-1-i} $ for positive integer $n$ and real $a, b$? You can use any techniques you want. My proof just uses algebra, ...
3
votes
2answers
109 views

Characterize the natural numbers $n$ such that there is a surjective group homomorphism from $S_n$ to $S_{n-1}$.

This has always been one of my most favorite exercises from Group Theory, and I was surprised to see that this hasn't been asked before. To repeat: Characterize the natural numbers $n$ such that ...
0
votes
0answers
39 views

Proof that the $sqrt[k]{z}\, z \in \mathbb N$ counts the amount of numbers less than or equal to z with a $k-$exact power

Empirically, it can shown that $$\mathrm{Floor}[\sqrt[k]{z} ] \,, z \wedge k\in \mathbb N $$ is equal to the amount of numbers which have a $k-$exact root. For example, $\sqrt 36 = 6$ means that there ...
0
votes
1answer
208 views

Proving isomorphism between between a subspace and a quotient space

I've been thinking about this for a day or two now, and I think I've found a way to prove this, but am very unsure about how watertight this is: To be proven: Let $V$ be a vector space. If $V = U ...
3
votes
2answers
112 views

Prove withoui calculus: the integral of 1/x is logarithmic

It was known in the 17th century that the function $$ t \mapsto \int_{1}^{t} \frac{dx}{x} $$ is logarithmic: a geometric sequence in the domain produces an arithmetic sequence in the codomain. This ...
4
votes
0answers
97 views

Is it possible to find $\int \frac{1}{\sqrt[4]{1+x^4}} dx$ by parametrizing the curve $y^4-x^4=1$?

I found this integral in a handbook of integrals: $$\int \frac{1}{\sqrt[4]{1+x^4}} dx$$ I already have evaluated this integral by trigonometric substitutions and my answer agrees with that of the ...
0
votes
3answers
137 views

Prove $\lim\limits_{x\to 0^+} \frac{\ln x}{x} = -\infty$

Prove $\lim\limits_{x\to 0^+} \frac{\ln x}{x} = -\infty$ I've seen the following proof but I think it's invalid: $$\lim\limits_{x\to 0^+} \frac{\ln x}{x} = \lim\limits_{x\to 0^+}\ln x \cdot ...
7
votes
2answers
200 views

Having fun integral $\int_0^{\pi/4} \cos x \arctan(\cos x)\, dx$

Playing around with the inverse trigonometric function integration, I found a nice closed-form of the following integral $$\int_0^{\pi/4} \cos x \arctan(\cos x)\, ...
1
vote
3answers
62 views

Diagonalizability of a certain $4\times4$ matrix

Question $\bf 3.$ Determine if the following matrix is diagonalizable. (explain your answer) $$A=\pmatrix{ 1 & 4 & -2 & 3 \\ 3 & -3 & 0 & 4 \\ 1 & 1 & 1 ...
1
vote
2answers
70 views

How to prove that the sequence is decreasing $a_{n}=\frac{ln(n)}{n^2}$

Is my way/proof good and completely mathematically rigorous? $a_{n}=\frac{ln(n)}{n^2}$ --> $a_{n+1}=\frac{ln(n+1)}{(n+1)^2}$ $\frac{ln(n)}{n^2} > \frac{ln(n+1)}{(n+1)^2}$ ...
5
votes
2answers
151 views

Prove that $\mathbb{R}^{n}-A$ with the standard topology is connected where $n \geq 2$ and $A \subset \mathbb{R}^{n}$ is countable.

I've been stuck on this proof for quite a while. While I realize it is much easier to show using arcwise connectedness or pathwise connectedness, I would like to complete the proof without resorting ...
1
vote
0answers
81 views

Proof of “Every vector space has a basis $\implies$ AC” without mentioning von Neumann hierarchy

I am writing a short (30-50 pages) report on AC for an exam. I really would like to include the proof that "Every vector space has a basis $\implies$ AC". Actually, every proof I could find proves ...
0
votes
0answers
131 views

How to prove that a polynomial with leading coefficient $1$ has no fractional solutions

I want to prove that the equation $$x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\dots+a_0=0$$ has no solutions in the form of $p/q$ when $p$ and $q$ and coprime and $q>1$. With this polynomial, $a_n=1$ and ...
1
vote
1answer
74 views

Alternate proof for a theorem on ordered fields

I came across the following theorem, while studying "A First Course in Real Analysis" by Berberian Sterling. In an ordered field, if $a, b, c \geq 0$ and $a \leq b+c$, then $$ {{a}\over{1+a}} \leq ...
16
votes
10answers
3k views

Polygons with equal area and perimeter but different number of sides?

Let's say we have two polygons with different numbers of sides. They can be any sort of shape, but they have to have the same area, and perimeter. There could be such possibilities, but can someone ...
4
votes
3answers
550 views

Is there any theorem about figures of equal area and perimeter being congruent?

I had an idea, that all geometric objects, that are different, as they're not a translation, rotation, and a reflection of one another cannot have the same area AND perimeter, as compared to ONE ...
6
votes
5answers
314 views

Elementary theorems with several proofs?

Every year my student's math club organizes a "proof marathon", where we present multiple proofs for a single theorem. For instance, last edition we did the AM-GM inequality with geometric, algebraic, ...