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

0
votes
1answer
28 views

How to show $f(x,y) \leq \theta f(x,y) + (1-\theta)f(x,y)$ for $\theta \in [0,1]$?

Let $\theta \in [0, 1]$. Let $f(x,y)$ be a function. Is there a way I could prove that $f(x,y) \leq \theta f(x,y) + (1-\theta)f(x,y)$? I have tried to start with $f(x,y) = 2f(x,y) - f(x,y)$ or ...
1
vote
2answers
28 views

How to find the period of the sum of two trigonometric functions

I want to know if there exists a general method to find the period of the sum of two periodic trigonometric function. Example: $$f(x)=\cos(x/3)+\cos(x/4).$$
0
votes
2answers
22 views

Proof exercise: finding hypothesis and conclusion in a statement

I am starting learn mathematical proofs and I was doing some exercise that needed to identify the hypothesis and the conclusion in a given statement. And I'm having trouble trying to figure it out in ...
2
votes
1answer
46 views

Proof: $(\sup(A) - \epsilon)^n<y<(\sup(A)+\epsilon)^n$

Prop.: let be $y \in \Bbb{R}_{>0}$, $n \in \Bbb{N}_{>0}$, and $A \subseteq \Bbb{R}$, then: $$A=\{x| x \in \Bbb{R}_{>0}\wedge x^n \leq y \} \Rightarrow (\sup(A) - \epsilon)^n< ...
6
votes
1answer
100 views

Coming up with short “magical” proofs

I was reading the solution to this problem: Prove that $f(n) = 2n$ is the only non-constant solution to $2f (m^2 + n^2 ) = (f (m))^2 + (f (n))^2 .$ The solution used these identities, pulled out of ...
1
vote
1answer
25 views

Solutions depending on something continuously

Let $V$ be a a real Banach space, $K \subset V$ a closed convex set, $A: K \rightarrow V^{*}$ a (nonlinear) operator and $F \in V^{*}$. Then the variational inequality is the following problem: find ...
0
votes
3answers
58 views

Proof by contradiction using counterexample

Why can't we use one counter example as the contradiction to the contradicting statement? Example: Let a statement be A where a-->b. We can prove A is not true by finding a counter example. Now, in ...
2
votes
3answers
32 views

Proof involving lcm and biconditional statement.

Suppose $a,b\in\mathbb{Z}$. Then $a = \operatorname{lcm}(a,b)$ if and only if $b\mid a$ Unsure of how to approach this problem.
2
votes
0answers
62 views

Can we always give a direct proof? [duplicate]

This is something I was wondering about for quite a while. Is it possible to construct a statement that can only be proven by using 'proof by contradicition' or contraposition? Or to put it ...
0
votes
3answers
33 views

Proof for a non-conditional statement

I'm having a bit of trouble doing this proof. If $a\in\mathbb{Z}$, then $a^3 \equiv a \pmod 3$. I know how to do proofs if there were conditional statements but not sure how to prove this with ...
0
votes
1answer
35 views

proving{$\neg(\forall x)\alpha \rightarrow \alpha$}$\models$$(\forall x)\alpha$

prove {$\neg(\forall x)\alpha \rightarrow \alpha$}$\vdash\space(\forall x)\alpha$ Im not sure what is the convention, so to be clear I am talking about proving the formula from the seven axiom ...
4
votes
1answer
58 views

how to solve this elementary induction proof

this is a seemingly simple induction question that has me confused about perhaps my understanding of how to apply induction the question; $$\frac{1}{1^2}+ \cdots+\frac{1}{n^2}\ \le\ 2-\frac{1}{n},\ ...
1
vote
1answer
36 views

Why does secant method converge

Assume $f$ is continuous and twice differentiable on $[a,b]$ such that $f'(x)>0$ and $f''(x)>0$, $x \in [a,b]$. If $f(b)>0$ and $f(a)<0$ and I choose $x_0=a$,why are we gauraunteed ...
0
votes
1answer
24 views

Largest $k$ such that $(p-k) = \lceil \sqrt{(p-2k) p} \rceil$

Assume $p \in \mathbb P.$ Assume $0<p-2k<p$ and the next square larger than $p(p-2k)$ is $(p-k)^2$. It is trivial to show that $p(p-2k)+k^2$ is a square. Simply $p(p-2k)+k^2 = (p-k)^2.$ ...
0
votes
2answers
46 views

Proof of application of Mean Value Theorem

Two bicyclists begin a race at 8:00AM. They both finish the race 2 hours and 15 minutes later. Prove/explain that at some point during the race, the bicyclists are traveling at the same velocity. So ...
1
vote
1answer
36 views

Proving the Well-Ordering Property

My textbook states the Well-Ordering property as following: If $A$ is any nonempty subset of $\mathbb{Z}^+$, there is some element $m \in A$ such that $m \le a$, for all $a$ in $A$ ($m$ is called ...
2
votes
1answer
46 views

Number of conjugacy classes in finite groups

Let $G$ be a finite group. Let $C_1,C_2,\dots,C_k$ be its conjugacy classes. We denote by $C_{j\ '}=\{g^{-1}|\ g\in C_j\}$ the conjugacy class inverse to $C_j$. Set $$a_{rst} = ...
5
votes
1answer
70 views

To prove this complex polynomial has all zeros on unit circle

I'm trying to prove a self-inversive polynomial $P(z) = \sum\limits_{n=0}^{N-1}a_nz^n$ has all its roots on the unit circle. The coefficients are such that $ a_n = e^{j(n-\frac{N-1}{2})\pi u_0} - ...
1
vote
1answer
47 views

Is this sufficient for linear independence proofs??

I've been doing all of these proofs the same basically, I just want to make sure I'm doing them right, I didn't include all the details but I have the outlines of my proofs here. 1) U and W are ...
1
vote
0answers
57 views

Prove: $a^m\cdot a^n \cdot a^p=a^{m+n+p}$

How can I prove the following: Prop.: let be $m,n,p \in \Bbb{N}$ and $a \in \Bbb{R}$ then $$a^m\cdot a^n \cdot a^p=a^{m+n+p}$$ ??? I thinked by induction and I must prove: 1) $a^0\cdot a^0 \cdot ...
1
vote
2answers
38 views

Invertible Proof with transposed matrices

Let A, B, C be square matrices that are invertible. Say I want to express X with no inverses Say $$ (A^{T}A)^{-1}(X +B^ {T})(C^{-1}B^{-1})^{T} = I. $$ I know that $A^{T}A$ = $I$, but where can I go ...
0
votes
3answers
86 views

Sum of invertible matrices proof

If we have two square matrices, $A$ and $B$. Assume that $A + B$ is invertible. Would that mean that $A^{-1} + B^{-1}$ is invertible too?
0
votes
2answers
28 views

Matrix chain product

I’m Reading a book , and I’m stuck at a property of a product of matrix chain , it says that given $$A_{i..k }=A_{i}\times A_{i+1}\times A_{i+2} \times ...A_{k}$$ where every matrix is a ...
2
votes
2answers
38 views

Proof About Division of Integers

Here is a problem I just finished working on: Prove that if $n$ is composite then there are integers $a$ and $b$ such that $n$ divides $ab$ but not $n$ does not divide either $a$ or $b$. One ...
2
votes
4answers
457 views

Proving 7n+5 is never a cubic number?

This is from a question that starts with: 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, \cdots$ Prove ...
1
vote
2answers
69 views

How to deal with equivalences in proofs?

There is a part I need clarification on regarding the use of equivalence and its symmetry. From what I understand in regards to symmetry is that: $ (p \equiv q) \equiv (q \equiv p) $. Given p and q ...
1
vote
4answers
114 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
53 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
37 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
41 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
72 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
27 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
66 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
54 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
30 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
180 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
49 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
56 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$ ...
0
votes
2answers
27 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
35 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
88 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
158 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
23 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 ...
30
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
30 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
24 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.$ ...