For questions about approaches and techniques for discovering a proof, as opposed to writing it down clearly (which involves (proof-writing)). Should not be used unless the focus is on the technique of the proof instead of the solution.

learn more… | top users | synonyms

1
vote
4answers
105 views

Proof that arithmetic mean is greater than geometric mean? [duplicate]

I have to prove that $\frac{x + y}{2}> \sqrt{xy}$ algebraically for any $x,y \in \mathbb{R}$ such that $x,y \ge 0$ and $x\ne y.$ I'm fairly confused as to how to solve this problem algebraically, ...
3
votes
2answers
39 views

Suppose $f: X \rightarrow Y$, and is one-to-one, and let $A \subseteq X$, prove that $f^{-1}[f[A]] = A$.

Suppose $f: X \rightarrow Y$, and is one-to-one, and let $A \subseteq X$, prove that $f^{-1}[f[A]] = A$. EDIT: Actually, this identity should hold even if $f$ is not one-to-one (injective), right? ...
1
vote
0answers
14 views

Real Hardy space question

Please see this related question for the definition of the grand maximal function and the class of normalised test functions $\mathcal{T}$. I will refer to them in this question. Let $f\in ...
3
votes
3answers
37 views

Prove that $2n+1 \leq 2^n$ for $n \geq 3$ using mathematical induction.

Question: $2n+1 \leq 2^n$, for all $n \geq 3$ I've tried: Basis: $P(3) = 7 \leq 8 $, so basis step is valid Pick an arbitrary value from the universe, $k \geq 3$ Inductive Step: $2k + 1 \leq ...
3
votes
1answer
54 views

Prove that there is only one way to make a square using all six tangram pieces

I am pretty sure there is only one way to make a square from the six tangram pieces: How can I prove this is the only way respecting all symmetries?
0
votes
3answers
26 views

Help to prove $(A \times B)\cup (C \times D) \subseteq (A\cup C) \times (B\cup D)$

Prove $(A \times B)\cup (C \times D) \subseteq (A\cup C) \times (B\cup D)$ My attempt: $\begin{align} (x,y) \in (A \times B) \cup (C \times D) & \Rightarrow & (x,y) \in (A \times B) \vee ...
0
votes
1answer
18 views

Integrability condition on the Fourier transform

I have a question for This is much healthier who answer my query- This is a problem from the book from Stephane Mallat "A wavelet Tour of signal processing: a sparse way". A function $f$ is bounded ...
3
votes
1answer
64 views

Every uncountable subset of $\mathbb{R}$ has a limit point

I am looking at this problem and I decided to attack it by proving the contrapositive. If $E \subset \mathbb{R}$ has finitely limit points, then $E$ is countable. My proof: Let ...
1
vote
1answer
51 views

My proof is wrong, can anyone tell me why?

$$\forall x \in \mathbb{Z}, \forall y \in \mathbb{Z}, [x(x+1) = y(y+1)] \Leftrightarrow [x = y]$$ $$\forall x \in \mathbb{Z} , \forall y \in \mathbb{Z}, [x(x+1)=y(y+1)]\Leftrightarrow [x=y]$$ ...
1
vote
1answer
29 views

Every martingale is also a martingale with respect to its own filtration

I want to prove the following: Let $A_0, A_1, ..$ be a martingale with respect to the sequence $B_0, B_1, ..$. then $(A_i)_{i\geq0}$ is also a martingale with respect to itself. I have no idea how ...
3
votes
2answers
174 views

Why is $\cos(2x)=\cos^2(x)-\sin^2(x)$ and $\sin(2x)=2\sin(x)\cos(x)$?

I was studying math.. and I just realized that I only just memorized these trigonometric equations, but I don't really know the reason behind them. So um... Why is $\cos(2x)=\cos^2(x)-\sin^2(x)$ and ...
0
votes
1answer
39 views

Existential introduction - required or not?

Consider a theory $T$ in first order logic, and a formula $C$. If there exist a proof of $C$, and that all formulas in $T$ and $C$, none of them contains $\exists$. The question is: does there always ...
0
votes
3answers
55 views

How do I prove this isomorphism?

Let $f(x)$ be any injective function, and let $f^n$ denote $f$ composed of itself $n$ times, such that $f^1=f(x)$, $f^2=f(f(x))$, $f^3=f(f(f(x)))$ and so on. Let $f^{-n}$ denote the inverse of $f$ ...
-1
votes
0answers
26 views

Fourier transform with compact support [closed]

If $\int_\mathbb{R}|\hat{f}(\nu)| (1+|\nu|^l) \ d\nu<\infty$ then $f\in C^l$. Now suppose $\hat{f}$ be of compact support then $f\in C^{\infty}.$
-3
votes
1answer
30 views

Fourier Transform and its compact support [closed]

If $\hat{f}$ has compact support, then $f$ has compact support ? True or false.
0
votes
2answers
26 views

Proof for combination using a specific definition

Suppose $n,k,\in\mathbb{Z}$ and $0\leq k \leq n $ prove using the following definition: if n and k are integers then $\binom{n}{k}$ denotes the number of subsets that can be made by choosing k ...
0
votes
1answer
43 views

Trigonometry - proving an inequality

I came across this question while doing trigonometry. I have tried everything that I could possibly think of, AM/GM, converting it into quadratic equation, conditional identities, solving from RHS, ...
0
votes
0answers
33 views

Mathematical Probability and Statistics( all the math need)

I would like some suggestions about mathematical techniques and knowledge are required to understand and master 2nd year undergraduate probability and statistics. I am mature student with some ...
1
vote
1answer
32 views

Proof that P is an Orthogonal Projection

I'm studying linear algebra using Axler's text and am stuck on 6.17. The problem is: Prove that if $P \in \mathcal{L}(V)$ is such that $P^2 = P$ and every vector in $\operatorname{null} P$ is ...
0
votes
3answers
83 views

Proving Riemann Sums via Analysis

Exercise $\bf 5.1.7$: Suppose $f:[a,b]\to\Bbb R$ is Riemann integrable. Let $\epsilon\gt0$ be given. Then show that there exists a partition $P=\{x_0,x_1,\ldots,x_n\}$ such that if we pick any set ...
2
votes
3answers
154 views

Proof that $\int \frac{1}{x}$ is $\ln(x)$

When I was learning Calculus AB and Calculus II/III at my high school, I noticed that our textbooks never gave a full fundamental proof that $\int \frac{1}{x}$ is $\ln(x)$, and rather said that when ...
2
votes
1answer
19 views

Minimum score for winner and maximum score for loser in a round-robin tournament.

I have just correctly solved this programming problem. The problem is the following: $N$ teams play a round-robin tournament, i.e. each pair of teams plays exactly one game and the winner gets 3 ...
29
votes
5answers
3k views

Is it okay to reverse engineer proofs in homework questions?

In a linear algebra text book, one homework question I received was: Prove that $\mathbf{a \cdot b} = \frac{1}{4}(\|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2)$. Where $\mathbf{a}$ and ...
1
vote
1answer
25 views

Arithmetic progression and proofs

Here is the question I am stuck on An arithmetic progression of integers an is one in which $a_n = a_0 + nd$, where a_0 and d are integers and n takes successive values 0, 1, 2.... Proof that if one ...
0
votes
1answer
33 views

Proof by induction and inequalities

I am stuck on this question: given $a_1a_2≤(\frac{a_1+a_2}{2})^2$ prove by induction of m that $$a_1a_2...a_p≤(\frac{a_1+a_2+...+a_p}{p})^p$$ where $a_i$ are all positive and real and $p=2^m$ (an ...
1
vote
1answer
23 views

Proof of isometries and inverses on the plane

I am taking a course on Intuitive Geometry. I am quite new to intuitive proofs however feel I've done pretty well thus far. Here is my theorem: Prove: That every isometry has an inverse. $Proof.$ ...
1
vote
1answer
58 views

Proof by contradiction: logarithm

I need to prove by contradiction that $\log_2(3)$ is irrational. I'm really unfamiliar with logs to be honest, it's been awhile since I've done them and I'm unsure of how to approach this. Any help ...
0
votes
3answers
40 views

Proof by contradiction proving both numbers are not odd.

I have to do a proof by contradiction: Suppose $a,b,\in\mathbb{Z}$. If $4| (a^2 + b^2)$ then a and b are not both odd. So far I know that I need to prove that if $4|(a^2+b^2)$ then a and b are both ...
0
votes
2answers
57 views

Proof by contradiction for a set question

I have a statement I need to prove by contradiction: If A and B are sets then A intersect (B-A) = {} (empty set). None of the questions I've ever done for this class are like this so im not really ...
0
votes
0answers
18 views

Proof Strategy for Proving an Inequality Involving Products

I'm working on a proof in my complex analysis course that involves showing that $$ A \cdot B \leq C \cdot D $$ ($A$, $B$, $C$, and $D$ are expressions involving the moduli of complex numbers). My ...
1
vote
1answer
18 views

meaning of some general words in math theorems

I want to prove a theorem which starts with the statement "Let ... then there exists ... ." Now I want to know the meaning of let in this kind of theorems. "Let" means for every or for some of ? How ...
0
votes
1answer
174 views

If $X' \leq X$ almost surely, is it possible to prove that $P(X = s) \geq P(X' = s)$?

With respect to my previous question, let us define $X$ as: $$ X = \sum_j^r l^j Y^j, $$ where $l^j \geq 0$ and $Y^j$, $j = 1, \ldots, r$ is a Bernoulli random variable which takes on values in ...
2
votes
1answer
26 views

Group divisibility question

I have the following question which I can't make sense of, here is the entire question: If $G$ is a group, $b\in G, o(b)=k$ and $b^n = e$, show that $k|n$ What is $o(b)$? Please help.
3
votes
2answers
35 views

Basis and dim of the set of all $n\times n$ symmetric matrices.

An $n \times n$ square matrix $A$ is called symmetric if $A^T = A$ Show that the set of all $n \times n$ symmetric matrices, denoted $S$, is a subspace of $M_n(\mathbb{R})$. Give a basis for $S$ ...
1
vote
1answer
36 views

Proof of coset and normal subgroup

I have this question: Let $G$ be a group, $a,b\in G$ and let $H$ be a subgroup of $G$. i) Give the definition of the coset $aH$ ii) Prove that $aH = bH$ if and only if $a^{-1}b\in H$ ...
0
votes
2answers
45 views

If $g \circ f$ is injective, so is $g$

If $g \circ f$ is injective, so is $g$ I don't think this is true. I think that $f$ has to be surjective. So I am going to try to prove that: If $g \circ f$ is injective, and $f$ is ...
0
votes
2answers
84 views

Prove that a function is bijective

So, the problem sounds like this. You have two bijective functions $f:\mathbb{N} \to A$, $g:\mathbb{N} \to B$. We define the function $ h:\mathbb{N} \to A \cup B $, defined as: $$ h(n) = ...
0
votes
1answer
12 views

A question about the proof of the limit comparison test for series

A question about the proof of the limit comparison test for series: http://en.wikipedia.org/wiki/Limit_comparison_test About the the last part: $b_n(c-\epsilon)<a_n<(c+\epsilon)b_n$, to ...
19
votes
2answers
295 views

How to prove $ \lim_{n \to \infty} e^n \cdot \left( \sum_{k=0}^{n-1} ({k-n \over e})^k/k! \right)- 2 \cdot n = \frac 23$?

I observed for the function $$ f(n)= e^n \sum_{k=0}^{n-1}\left(\dfrac{k - n}{e}\right)^k \cdot \dfrac{1}{k!} \tag 1$$ with small $n$ that ...
5
votes
5answers
151 views

Show that $\frac{\sqrt{8-4\sqrt3}}{\sqrt[3]{12\sqrt3-20}} =2^\frac{1}{6}$

This was the result of evaluating an integral by two different methods. The RHS was obtained by making a substitution, the LHS was obtained using trigonometric identity's and partial fractions. Now I ...
3
votes
2answers
64 views

Prove $A = (A \setminus B) \cup (A \cap B)$

Prove $A = (A \setminus B) \cup (A \cap B)$ Logically, this is clearly true. I can explain why: start with $A$, remove all elements in $B$ and then add in any elements in both $A$ and $B$, which ...
1
vote
1answer
17 views

Proving increasing function, base < 1, exponent increasing

For a fair lottery game where the odds of $1$ ticket winning are $1$ in $p$, where you can spend a total of $K$ dollars, and where you will spread your ticket purchases equally among $n$ draws, prove ...
1
vote
2answers
18 views

Solution verfication and two small cardinality questions

I'm studying to my final exam due to tomorrow, and I encountered several small problems. Determine the cardinality of the following sets: 1). $A$ is the set of all injective functions from ...
0
votes
0answers
39 views

How do we prove that, if $\mathcal{P}(A) \sim \mathcal{P}(B)$, then $A \sim B$? [duplicate]

The converse--if $\ A \sim B$ then $ \mathcal{P}(A) \sim \mathcal{P}(B)$--is very easy to prove. I can't see an immediate, simple proof for the converse case. It seems like a potentially good strategy ...
4
votes
0answers
92 views

Saddle Points on Matrices

Let $n$, $m$ be positive integers. Suppose that $A$ is a $2$ x $n$ or an $m$ x $2$ matrix and that it has a saddle point. Show that among the saddle points of $A$ there exists at least one which ...
5
votes
5answers
763 views

Proof of infinitely many primes, clarification

Proof: The proof is by contradiction. Suppose there are only finitely many primes. Let the complete list be $p_1,p_2,\dots,p_n$. Let $N = p_1p_2 \dots p_n+1$. According to the Fundamental Theorem of ...
0
votes
0answers
28 views

Matrix Saddle Points and Dominance

I was teaching myself about dominance relations and saddle points after a friend of mine started discussing it with me and how it can be used in games. I wanted to know how to prove a problem like ...
0
votes
1answer
33 views

Proof regarding division with a remainder

Let $a\in\mathbb{Z},n\in\mathbb{N}$. If $a$ has a remainder $r$ when divided by $n$, then $a\equiv r\pmod n$ I've done some of these questions before with modulus and division, but I'm unsure of how ...
2
votes
5answers
61 views

Proof regarding divisibility

if $n\in\mathbb{Z}$, then $4$ does not divide $(n^2 - 3)$ I'm not sure how to approach this question, I know how to do questions that involve proving that it does divide but I'm unsure of how to do ...
0
votes
2answers
23 views

Modulus related proof help

I need to prove this via either direct proof, or contrapositive. Unsure of the best way to approach this. if $a \equiv b\mod n$ and $c \equiv d\mod n$, then $ac \equiv bd\mod n$ So far I have: ...