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

4
votes
1answer
31 views

Proving the uniqueness of the weak limit

In "A First Look at Rigorous Probability Theory" by J. S. Rosenthal there is the following exercise: Prove that weak limits, if they exist are unique. That is, if $\mu, \nu, \mu_1, \mu_2, \ldots$ ...
5
votes
3answers
80 views

Is it possible to prove $g^{|G|}=e$ in all finite groups without talking about cosets?

Let $G$ be a finite group, and $g$ be a an element of $G$. How could we go about proving $g^{|G|}=e$ without using cosets? I would admit Lagrange's theorem if a proof without talking about cosets can ...
15
votes
1answer
72 views

If the Greeks had been four dimensional, would they have been able to derive the pi squared coefficient for the hypersphere volume without calculus?

I was reading about Archimedes' pre-calculus proof of the volume of the sphere and I realized that the trick he uses (volume of hemisphere + volume of cone = volume of cylinder) doesn't generalize to ...
1
vote
2answers
46 views

Seemingly easy Ordinary Differential Equation

For which values of $T$ can we find a unique solution of the ODE $x''(t) = −x(t) $ satisfying the boundary conditions $x(0) = a_1$ and $x(T) = a_2$ for any values of $a_1$ and $a_2$ ? I can solve ...
2
votes
0answers
37 views

Let $p\gt 3$ be a prime number and: $\sum_{j=1}^{p-1}\frac{(-1)^{j}}{j} \binom{p-1}{j} =\frac{a}{b}\Rightarrow p^2\mid a$

I want to prove the following statement: Let $p\gt 3$ be a prime number and let: $$\sum_{j=1}^{p-1}\frac{(-1)^{j}}{j} \binom{p-1}{j} =\frac{a}{b}$$ Which $a,b\in \mathbb Z$ and $\gcd(a,b)=1$. ...
0
votes
1answer
11 views

Proof that the image of a sets family union is a subset of union of images [closed]

Let D be a family of subsets of A. Prove that g(TX∈D X)⊆TX∈D g(X). As i can to proceed for prove it?
0
votes
2answers
33 views

On a connection between Newton's binomial theorem and general Leibniz rule using a new method.

In calculus the general Leibniz rule asserts that Let $n$ be a natural numbers, if $f$ and $g$ are $n$-times differentiable functions at a point $x$, then the function $fg$ is also $n$-times ...
0
votes
1answer
42 views

Show $f(x)$ is bounded in a neighbourhood of its limit points

The attempt I made doesn't cover the case for $x=c$. How can I make it so it does? Prove that if a function $f : A \to \mathbb{R} $ has a limit $l \in \mathbb{R} $ at $c \in L(A)$, then it is bounded ...
3
votes
1answer
60 views

Is the solution of functional equation $x^x=y^y$ when $0\lt x\lt y$ uncountable?

I want to prove that, the set: $S=\{(x,y)\in \mathbb R^2\,\,|\,\,0\lt x\lt y \,\,,\,\,\,\,x^x=y^y \}$ $\,\,$ is uncountable. My idea is the following: Consider the function ...
0
votes
1answer
8 views

To proof the difference images is a subset of their map difference sets

Let $A$ and $B$ sets, with $P,Q \subseteq A$ and let $f:A \to B$ 1) prove that $f(P)-f(Q) \subseteq f(P-Q)$ 2)Is it necessarily the case that $f(P-Q) \subseteq f(P)-f(Q)$? Give a proof or a ...
0
votes
0answers
37 views

proof that $\frac{e^{-t}}{2}(t^2+2t+2)\le1$ for $t\ge0$

Show that $\forall t\ge0,x\le1$ where $$x=\frac{e^{-t}}{2}(t^2+2t+2),t\in\mathbb{R}.$$ My proof we have $x=\frac{(t^2+2t+2)e^{-t}}{2}$ then ...
9
votes
3answers
1k views

Prove that there is no smallest positive real number

I have to prove the following: $$\text{Prove that there is no smallest positive real number}$$ Argument by contradiction Suppose there is a smallest positive real number. Let $x$ be the smallest ...
2
votes
0answers
28 views

Product Spaces: Tube Lemma

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. My professor asked to prove the following Lemma. The Tube Lemma: Let $K$ be a compact ...
0
votes
0answers
35 views

Determining if a rational number has a terminating decimal expansion (proof)

Theorem: $x=\frac pq$ is any given rational number, $n$ and $m$ are any whole numbers (including zero) which you can choose. a) If $q=2^n5^m$ is possible, $x$ has a terminating decimal expansion. ...
1
vote
1answer
41 views

Dijkstra's Algorithm for Negative Weights.

Now the problem states that their is a graph $ G = (V,E) $ where some of the edges have negative weights while some of the edges have positive edges. Now the question is why won't Dijkstra's algorithm ...
3
votes
3answers
99 views

Can I find $\sum_{k=1}^n\frac{1}{k(k+1)}$ without using telescoping series method?

I am interested to find $$\sum_{k=1}^n\frac{1}{k(k+1)}$$ without using telescoping series method. I tried very hard but still could not think of a way to find it without using telescoping series ...
0
votes
0answers
27 views

Proving associativity of symmetric set difference

I'm proving that $P(X)$ (the set of the subsets of $X$) is a ring with the following operations: If $A, B \subset X$, then $A+B := (A \cup B) \backslash (A \cap B) $ and $A \cdot B = A \cap B $. I ...
5
votes
1answer
56 views

$\mathbb{Z}[\sqrt{2}]/(3-\sqrt{2})$ is ring isomorphic to $\mathbb{Z}_n$.

what would be an $n$ such that $\mathbb{Z}[\sqrt{2}]/(3-\sqrt{2})$ is ring isomorphic to $\mathbb{Z}_n$? This problem was on a qualification test. Here's how I solved it, but I'm not satisfied ...
0
votes
0answers
24 views

Lebesgue Measurable By Alternative definition of Measure

Prove that any compact set $K$ in $R^{n}$ is Lebesgue measurable and $m(K) < \infty$ Actually the proof of this is given in Stein and Shakarchi's book on Real Analysis (Page 38, Property 4) where ...
2
votes
1answer
62 views

Where can I find Wielandt's original proof of Sylow's Theorem?

I have seen several proofs of Sylow's Theorem based on Wielandt's method. Everyone gives credit to Wielandt's proof of Sylow's theorem, but ironically everyone puts their own spin on it. Where can I ...
2
votes
8answers
338 views

A pedagogical proof that 9's can be ignored when calculating digital roots

I was asked by an elementary school teacher for a proof that you can ignore all 9's when calculating the digital root of a number. For instance, when calculating the digital root of 7593329, you ...
2
votes
2answers
61 views

Proof of irrationality without using contradiction

I'm just wondering if there exists proofs that certain numbers are irrational that do not begin by saying some like along the lines of "assume $k=a/b$ for integers $a$ and $b$" and then deduce a ...
2
votes
0answers
53 views

How can one prove the existence and uniqueness of solutions to linear differential equations?

It is a theorem (I think) that the equation: $$\mathbf{x}'(t) = A(t)\mathbf{x}(t) + \mathbf{b}(t); \qquad \qquad \mathbf{x}(t_0) = \mathbf{x}_0$$ Has a unique global solution for any matrix ...
2
votes
2answers
88 views

Proving $2^{2^n}+3^{2^n}+5^{2^n}$ is divisible by $19$ for all $n\geq 1$ by induction

I came across the following in the book Handbook of Mathematical Induction: $$ 19\mid (2^{2^n}+3^{2^n}+5^{2^n}),\quad n\in\mathbb{Z^+}\tag{1} $$ Apparently, this problem is not so bad if you think ...
0
votes
4answers
53 views

If $x>y$, then $x \bmod y < \frac{x}{2}$

Given two natural numbers $x$ and $y$ such that $x > y$, prove that $$x \bmod y < \frac{x}{2}.$$ I was planning on solving this proof by using the definition of mod; however, I was wondering ...
0
votes
0answers
19 views

Proof Method and Absolute Value

I'm interested in the following method of proof for inequalities involving modulus : $( -x \geq C \wedge x \geq C ) \to ( |x| \geq C )$ $( -x > C \wedge x > C ) \to ( |x| ...
2
votes
2answers
72 views

Is there a much simpler proof for Euler factorial formula?

Euler formula for factorial stated as follows Theorem [Euler]: For any non negative integers $a$ and $n$ such that $a\geq n$ $$ n!=\sum_{k=0}^{n}(-1)^k\binom{n}{k}(a-k)^n$$ Proving this ...
1
vote
2answers
48 views

Proof that real multiplication distributes over addition using Dedekind cuts?

Proving $\forall x,y,z\in \mathbb R,\:x(y+z)=xy+xz$ There is a very concise proof of this in ProofWiki using Cauchy sequences, but I was wondering whether the same would be possible using Dedekind ...
2
votes
2answers
47 views

determine the values that series converges

Determine for what values of $x \in \Bbb R$ the series $$\sum_{n = 1}^\infty \frac{(-1)^n}{2n+1}\left(\frac{1-x}{1+x}\right)^n$$ coverges. I have tried the alternating series test but I don't think ...
1
vote
0answers
27 views

How to show that a function is continuous in the topology of weak convergence

Let $\Omega$ be compact, and let $\omega^* \in \Omega$ be arbitrary. Let $\Delta (\Omega)$ denote the set of all probability measures over $\Omega$, and endow $\Delta ( \Omega)$ with the topology of ...
3
votes
1answer
134 views

Is there a memorable solution to Kirkman's School Girl Problem?

Given a solution to Kirkman's School Girl Problem, it is of course easy enough to check that it actually is a solution. But how could you reconstruct it if you lost it? Is there a method or algorithm ...
2
votes
1answer
56 views

Geometric proof of this property of the ellipse

I came across the following property of the ellipse: The distance from a focus of an ellipse to any point on the ellipse is equal to $a(1-e \cos\theta)$. Where the $a$ is the length of ...
2
votes
1answer
28 views

adjoint of an operator. on $L^2(0,1)$, $Bf(x)=\int_0^x f(t)dt$

I see that the above operator is bounded. I ended up with an argument to calculate the adjoint as follows, $$ <f,Bg>=\int_0^1\overline{f(x)} \int_0^xg(t)\,dt\,dx $$ I see $f(x)$ as the ...
2
votes
1answer
28 views

Consider a linear operator $L$ and some polynomial of it, $L'=p(L)$. Show that the minimal polynomial of $L'$ has smaller degree than that of $L$.

Consider a linear operator $L$ and some polynomial of it, $L'=p(L)$. Show that the minimal polynomial of $L'$ has degree less than or equal to the minimal polynomial of $L$. First, start working over ...
2
votes
0answers
88 views

Alternative proof that Harmonic sum is not an integer

In the post “Is there an elementary proof that ∑k=1/k is never an integer?” there is a simple and elegant proof by Bill Dubuque, who uses the prime 2 as a basis for his proof. I wondered whether a ...
0
votes
0answers
50 views

$g$ o $f$ is nowhere continuous

Find an example of a function $f$ discontinuous on $\mathbb{Q}$ and another function $g$ discontinuos at only one point, but $g$ o $f$ is nowhere continuous. One solution is: Let $f$ be the ...
1
vote
0answers
27 views

Solutions to the heat equation given certain growth conditions

Let $u(x, t)$ be the solution of the following Cauchy problem for the heat equation given by \begin{align*} u_{t}(x, t) - u_{xx}(x, t) &= 0 \quad (x, t) \in \mathbb{R} \times (0, T)\\ u(x, 0) ...
0
votes
0answers
42 views

coloring theorem for topological partitions

Let $(X,\tau)$ be a topological space. DEFINITIONS: Define a topological partition of $X$ into connected sets to be a collection of pairwise disjoint open connected sets $\{U_i\}_{i\in I}$ such that ...
3
votes
1answer
57 views

Prove the operator is positive

I'm searching for an alternative proof of the following: Let $U$ be a self-adjoint operator on a Hilbert space $H$, define $m=\inf_{\|x\|=1}\langle Ux,x\rangle$ and $M=\sup_{\|x\|=1}\langle ...
4
votes
3answers
141 views

Proof of no primes such that $x^2 + y^2 = z^2$ [duplicate]

I'm in a pretty simple "CS Math" course for year 1 Comp Sci, and I came across this: Disprove, $x^2 + y^2 = z^2$, such that $x, y, z$ are primes I thought of this as, if n is a prime, then prime ...
7
votes
1answer
157 views

Stefan-Boltzmann Constant and Stefan's Law

The following argument is from my textbook, An Introduction to Thermal Physics by Daniel Schroeder. If you are familiar with the derivation of Stefan's Law from the energy density of a photon gas, you ...
5
votes
2answers
41 views

How to prove this simple fact without using distribution theory?

Suppose function $f(x) $ is normalized to unity, i.e., $$ \int dx |f(x)|^2 =1 . $$ Now consider the Fourier transform of $f$, i.e., $$ F(k) = \int d x f(x) e^{-i k x} . $$ Here we assume that $f $ ...
0
votes
0answers
32 views

Proof: The reduced row echelon form of a matrix is unique.

If $A \in M_{m\times n}$ with real entries, then there exist a unique matrix $R$ in row echelon form such that $A\sim R$, where $R$ comes from $A$ after performing elementary operations. How can I do ...
2
votes
10answers
144 views

How to prove $x^3-y^3 = (x-y)(x^2+xy+y^2)$ without expand the right side?

I can prove that $x^3-y^3 = (x-y)(x^2+xy+y^2)$ by expanding the right side. $x^3-y^3 = (x-y)x^2 + (x-y)(xy) + (x-y)y^2$ $\implies x^3 - x^2y + x^2y -xy^2 + xy^2 - y^3$ $\implies x^3 - y^3$ I was ...
2
votes
2answers
115 views

$X$ compact Hausdorff space, characterize the maximal ideals of $C(X)$

I know this question has been asked before, but I think I'm very close to a new solution and wanted to know if it is a viable approach. Let $C(X)$ be the ring of continuous functions $X \rightarrow ...
0
votes
0answers
49 views

squeeze theorem - math

I am trying to prove the following: 1/ek <= (1/k)(1-(1/k))^(k-1) <= 1/2k for k>=2 in doing so I tried induction proof, and contradiction and it didn't work, it gets too complicated... Then ...
1
vote
1answer
140 views

Proving the Sine Rule with one line.

Working on a general proof of the Law of Sines for ALL Euclidean triangles. Right triangles are easy. Acute triangles are just two proofs of the right triangle. But this is not sufficient for me. I ...
7
votes
3answers
113 views

Show that $\frac{1}{a}+\frac{1}{b}\not=\frac{1}{a+b}$

Problem Assume that $a,b\in\mathbb{R}-\{0\}$ and that $a+b\not=0$. Prove that $\frac{1}{a}+\frac{1}{b}\not=\frac{1}{a+b}$. My Proof Let's assume that $\frac{1}{a}+\frac{1}{b}=\frac{1}{a+b}$, then ...
0
votes
2answers
32 views

Concise proof of $\operatorname{dim} V =\operatorname{dim\,ker}T+\operatorname{dim \, range}T$ [duplicate]

Can I have a concise proof of the following: $$\operatorname{dim} V =\operatorname{dim\,ker}T+\operatorname{dim \, range}T$$ I have read a few proofs of this, and they are all so long, I always ...
0
votes
1answer
26 views

Definition of Ordinal (w/ Axiom of Regularity) (problem 37, page 208, Enderton's Elements of Set Theory)

Given the definition of an ordinal to be well-ordered by $\in$ and transitive, I am interested with proving the following: I know and understand the following which easily proves it, but uses the ...