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

0
votes
1answer
19 views

Find a criterion for divisibility

Find a criterion such that $\displaystyle\sum_{i=1}^ni$ divides $\displaystyle\prod_{i=1}^ni^2$ for $n\in\mathbb N$. What I have done so far, $\displaystyle\sum_{i=1}^ni=\frac{n(n+1)}{2}$ and ...
5
votes
1answer
49 views

Proving that and how $ \frac{1}{n}\sum\limits_{p\le n}\lfloor n/p \rfloor - \sum\limits_{p\le n} 1/p $ approaches $0$

Let $p$ denote a generic prime number. By Mertens' second theorem, the sequence $$\sum\limits_{\ p \le n} \frac1p - \log\log n$$ converges to the Meissel-Mertens constant $M\approx 0.2614972$. Now let ...
2
votes
1answer
37 views

Cantor's diagonal argument modified version

I have the following doubt regarding Cantor's diagonal argument. First of all, the "usual case" is quite clear for me. If $X$ is some set, then we can show there is no surjection from $X$ onto the set ...
1
vote
2answers
42 views

Prove that no set can contain everything (or every other set)

Prove that there cannot exist a set that contains everything. Ill put my proof in the answer so please check it there. Also if there is a more creative way to do this(using the basic axioms) if it's ...
1
vote
1answer
36 views

An alternative method to find $\sum_{k=1}^{2n-1} | \beta ^k - 1|$

Let $\beta \in \mathbb{C}$ such that $\beta ^n = 1$ but $ \beta ^k \neq 1$, $\forall k=1,2,\cdots, n-1$. Find the value of $$ \sum_{k=1}^{2n-1} | \beta ^k - 1|.$$ I came across such a question ...
0
votes
1answer
40 views

How to prove triangle inequality in How to Prove It Sec. 3.5 Question 12c?

(a) Prove that for all real numbers $a$ and $b$, $$|a| \le b \text{ iff } -b \le a \le b.$$ (b) Prove that for any real number $x$, $$-|x| \le x \le |x|.$$ (Hint: Use part (a).) (c) Prove that ...
3
votes
3answers
95 views

Proving uniqueness of solutions to $\sin^2A + \sin^2B = \sin (A+B)$ without using multivariable calculus

In the course of solving a trigonometric problem (see $a^2+b^2=2Rc$,where $R$ is the circumradius of the triangle.Then prove that $ABC$ is a right triangle), in one approach the following equation ...
2
votes
2answers
60 views

$\mathbf{Set} \not \simeq \mathbf{Set}^*$ by considering $\{1, 2 \} \to \{1\}$

This answer gives a nice way of seeing why the category of sets is not isomorphic to its dual. I would like to know whether there is a proof from a certain different direction. When considering the ...
1
vote
1answer
43 views

Proof that $A\cap\emptyset=\emptyset$

I'm trying to prove $A\cap\emptyset=\emptyset$. I've seen several proofs for this which all seemed to essentially go about proving it by noticing that $\emptyset\subset A\cap\emptyset$ by definition ...
0
votes
1answer
38 views

About a proof regarding a property of groups of order $pq$ where $p$ and $q$ are primes

I'm studying right now Automorphisms in Dummit & Foote's Abstract Algebra (Section 4.4). In pages 135-136, the following example is given: and here's Proposition 16 muntionned in the ...
5
votes
0answers
78 views

Showing that only $(n+1)^{n-1}$ of all the possible $n^n$ choices assure a full car park

This exercise is taken from the site of Queen Mary University of London: A car park has $n$ spaces, numbered from $1$ to $n$, arranged in a row. $n$ drivers each independently choose a favourite ...
1
vote
0answers
35 views

Uniform Continuity of $\frac {1}{x}$ on [$a, \infty$) for positive $a$

$\frac {1}{x}$ behaves nicely in that it's monotone and the derivative is monotone also. So on [$a,\infty$] it can be seen that the $\delta$ which will work everywhere is the $\delta_1$ at the end ...
0
votes
1answer
44 views

Is this alternative proof of Theorem 3.7 (“Baby” Rudin, Ch. 3) correct and, if so, well written?

Rudin, in his Principles of Mathematical Analysis, proves the following theorem: The subsequential limits of a sequence $\{p_n\}$ in a metric space $X$ form a closed subset of $X$. I've tried to ...
3
votes
5answers
209 views

How to prove $3^\pi>\pi^3$ using algebra or geometry?

It's a question of a some time ago test, I've found a way to solve the problem using calculus, but always I've thought that exist a solution with algebra and geometry. Thank you for your time.
3
votes
0answers
45 views

Proof that 10 lines pass through the centroid of a triangle

Let $A$, $B$, $C$, $D$, and $E$ be points on a circle. For any three points, we draw the line going through the centroid of the triangle formed by these three points that is perpendicular to the line ...
0
votes
2answers
38 views

Verifying a Proof for Spivak's Calculus Question (Chapter 2 Problem 9)

It says "Prove that if a set $A$ of natural numbers contains $n_0$ and contains $k+1$ whenever it contains $k$, then A contains all natural numbers $\ge n_0$". Am I allowed to construct another set ...
2
votes
2answers
70 views

prove if f(x) has an infinite limit then limit of 1/f(x) is = 0

I wanted to ask if someone can do me the favor pointing out the mistakes I might of made in proving the theorem below. Also is there a way to prove the theorem without using the definition of limits? ...
-1
votes
2answers
22 views

Confusion with the reconstruction conjecture?

After reading about the reconstruction conjecture for graphs, I came up with what I thought was a proof by contradiction. Consider the class $T$ of (isomorphism classes of) finite graphs, and the ...
0
votes
3answers
70 views

How to prove a specific sequence is Fibonacci's with no prior knowledge nor trial and error?

Let $n$ be a positive integer and let $s_n$ be the number of increasing sequences of integers, alternatingly even and odd, starting with $0$ and ending with $n$. E.g. for $n=3$ we only have the two ...
2
votes
3answers
110 views

Another identity with binomial coefficients

I'm looking for an easy way to prove this identity $$\sum_{j=0}^{n}{(-1)^j j (n-j) {n \choose j}} = 0$$ for $n > 2$. I know this can be proven by differentiating $(1+x)^n = \sum x^j{n \choose j}$ ...
1
vote
0answers
26 views

Rational analogue of expansion to base b

As is well known, we can expand every positive integer $n$ to a base $b \in \Bbb N$ in the form $$n = \sum_i a_ib^i ,\ \ \ 0\leq a_i \leq b_i-1$$ uniquely. Less well known is that we can do this for ...
12
votes
1answer
301 views

Alternative proof of simple integral inequality

Problem. Let $f\in C^1(\mathbb R)$ such that $f(0) = 0$ and $0 < f'(x) \le 1$. Prove that for all $x\ge 0$ $$ \int_0^x f^3(t)\,dt \le \left(\int_0^x f(t)\,dt\right)^{\!\!2}. $$ Below is my ...
0
votes
1answer
47 views

Minimizing the area of the triangles containing a square of side $1$

This exercise is from a past admission exam to an Italian institute: Among all the triangles that contain a square of side $1$, which ones have minimum area? I have solved it, however I'd like ...
6
votes
5answers
134 views

$p,q,r$ primes, $\sqrt{p}+\sqrt{q}+\sqrt{r}$ is irrational.

I want to prove that for $p,q,r$ different primes, $\sqrt{p}+\sqrt{q}+\sqrt{r}$ is irrational. Is the following proof correct? If $\sqrt{p}+\sqrt{q}+\sqrt{r}$ is rational, then ...
0
votes
0answers
34 views

(Theoritical Question) Multiply two negatives, get a positive, but… [duplicate]

Many books explain it because you can solve it with addition. I'm interested, is there another way to prove it?
1
vote
1answer
95 views

Prove that “No one likes Reggae music” is the same as “Everyone does not like Reggae music”.

I interpreted this as a case of the extension of De Morgan's Law to quantifiers. https://en.wikipedia.org/wiki/De_Morgan%27s_laws#Extensions I know that similar questions have been asked before about ...
0
votes
4answers
97 views

Proof of Pythagorean theorem without using geometry for a high school student?

There are some proofs of Pythagoras theorem which don't even require high school maths to understand, but they all are using shapes to prove of the theorem. However, I am trying to find some proofs of ...
2
votes
0answers
61 views

IMC 2014, Problem 4 [Day 2]

We say that a subset of $\mathbb{R}^{n}$ is $k$-almost contained by a hyperplane if there are less than $k$ points in that set which do not belong to the hyperplane. We call a finite set of points ...
3
votes
1answer
67 views

How to resolve the issue of two sequences converging to zero for $n, m \to \infty$?

My question is motivated by the following exercise in probability theory: Let $X_n \to X$ in probability and $X_n \geq Y$ a.s. Show that $X \geq Y$ a.s. I noticed that for all $n, m \in ...
3
votes
1answer
80 views

Solving the trigonometric equation $\tan^2x+\cot^2x=2-\cos^{2014}(2x)$

I was solving the trigonometric equation $$\tan^2x+\cot^2x=2-\cos^{2014}(2x) $$ I solve it by inequality $|a|+\frac{1}{|a| }\geq 2$. $$ L.H.S=\tan^2x+\cot^2x =\tan^2x+\frac{1}{\tan^2x} ...
2
votes
0answers
52 views

Hypercenter is the intersection of normalizers of Sylow subgroups.

I'm trying to prove that the intersection of the normalizers of the Sylow subgroups of a [finite] group $G$ is equal to its hypercenter, i.e., $$Z_\infty(G)=\bigcap\limits_{S\in ...
7
votes
3answers
224 views

Abel-Ruffini theorem, Galois theory and minima and maxima

Questions: Does there exist a proof of the Abel-Ruffini theorem without using Galois theory? Does there exist a proof that there exists a polynomial $P$ with $\deg P = 5$ such that the roots are not ...
0
votes
2answers
46 views

Use proof by contradiction to prove that if $a$ and $b$ are odd integers, then $4 \nmid (a^2+b^2)$.

I have been working through the following proof: Use proof by contradiction to prove that if $a$ and $b$ are odd integers, then $4 \nmid (a^2+b^2)$. Below, I have included screenshots of the ...
0
votes
3answers
60 views

Help with proof: $\mathrm{rank}(A+B) \le \mathrm{rank}(A) + \mathrm{rank}(B)$

The question is: If $A,B$ are any $m\times n$ matrices, prove that $\mathrm{rank}(A+B) \le \mathrm{rank}(A) + \mathrm{rank}(B)$. ($\mathrm{rank}(A)$ is the dimension of the column space of $A$, ...
3
votes
4answers
107 views

$S$ and $T$ are two sets. Prove that if $|S-T|=|T-S|$, then $|S|=|T|$.

Here is the problem that I am currently working on: $S$ and $T$ are two sets. Prove that if $|S-T|=|T-S|$, then $|S|=|T|$. I have access to the answer for this proof, and wanted help with the first ...
2
votes
2answers
52 views

What exactly is $\cap$-stable here?

From my lecture notes: Theorem: Let $(\Omega, \mathcal A, P)$ be a probability space, $A \in \mathcal A, \mathcal M := \{ M_1, \ldots, M_n \} \subset \mathcal A$. The following statements are ...
0
votes
2answers
60 views

Prove that if $a<1/a<b<1/b$ then $a<-1$

The following is Exercise 3.2.8 from Velleman: Suppose that $a$ and $b$ are nonzero real numbers. Prove that if $a<1/a<b<1/b$ then $a<-1$. I solved it using the hint in the back of ...
1
vote
2answers
19 views

A finite set and the set of its fixed points under any involution have cardinalities of the same parity

I am trying to write down a formal proof of the following fact: Let $A$ be a non-empty finite set and $f$ an involution on $A$. If $A'$ is the set of fixed points of the involution $f$, then $|A| ...
2
votes
3answers
70 views

Prove that $\sum_{d|n}\phi(d)=n$ where $\phi$ is the Euler's phi function, $n,c\in\mathbb{N}$

Here is a very elementary number theory proof using strong induction. Please mark/grade. Prove that $$\sum_{d|n}\phi(d)=n$$where $\phi$ is the Euler's phi function, $n,d\in\mathbb{N}$ First, ...
1
vote
1answer
24 views

Asymptote criterion

Let $f:(a, \infty)\to \Bbb R$ be a differentiable function such that exists $\lim_{x\to\infty}f(x)=l<\infty$ and exists (in the sense it can also be infinity) $\lim_{x\to\infty}f'(x)$. Under these ...
0
votes
1answer
40 views

Prove that $H\times K \cong K\times H$

According to the book: Let $G$ be the internal direct product of subgroups $H$ and $K$. Then $G$ is isomorphic to $H\times K$. From that it results $H\times K \cong K\times H$. Is there any ...
8
votes
2answers
143 views

Why is periodic harmonic analysis only possible with sines?

This paper shows that if we consider odd functions on $(-\pi,\pi)$ in $L_2$, then the only $2\pi$-periodic function $f$ for which $f(nx)$ is a complete orthogonal system is the sine function. I'll ...
0
votes
0answers
27 views

Is my proof of 'inscribed angle theorem' different from the usual one?

The usual proof of inscribed circle theorem uses the fact that the sum of interior angles is equal to exterior angle. I've formulated a little different approach, although the underlying concept is ...
3
votes
3answers
173 views

Possible alternative way of expressing continuity of a function?

In Calculus or Real Analysis the usual form of definition of continuity of a function is $\epsilon- \delta$ def. From a rigorous point of view, is it possible to say this way? and if so, why?: ...
2
votes
2answers
41 views

Expected value of cube projection

This problem is from the book of V. I. Arnold. Find the expected area of the projection of a unit cube onto the plane under isotropic random direction of projection. The direct evaluation of it ...
2
votes
0answers
50 views

proof about triangles with sides in arithmetic progression

$\require{cancel}$ The sides of a triangle are in an arithmetic progression with $k>0$ and $a>b>c$. Prove that ...
0
votes
1answer
55 views

How to prove the External Bisector Theorem by dropping perpendiculars from a triangle's vertices?

I've found two different methods to prove Internal Angle Bisector Theorem, viz. Wikipedia ("Proof 2") method and AskMath.com method. How can we prove External Angle Bisector Theorem with ...
1
vote
1answer
35 views

Exercise about nbd-finiteness (Dugunji III.9.1)

Sorry for the vague title, but the question is fairly long: Let $\{A_\alpha\}$ be a ndb-finite closed cover of $X$. Consider $x_0\in X$, and let $A_{\lambda_i}$ be (all) the $A_\alpha$ that ...
0
votes
5answers
126 views

Different proofs that $\lim_{n\to\infty}\sin n$ does not exist [duplicate]

In this question it was proved that limit $$ \lim_{x\to\infty}\sin x $$ doesn't exists. What about $$ \lim_{n\to\infty}\sin n? $$ I asking about usual limit, where $n$ is integer. I know that this ...
0
votes
0answers
60 views

Easy proof of Cayley Hamilton theorem [duplicate]

What is wrong with this proof of Cayley hamilton? If $A$ is $n \times n$ matrix and $P$ is its characteristic polynomial then $P(A) = 0.$ Proof: $P(x) = \det(A - xI) \implies P(A) = \det(A - A) = ...