For questions about the writing of proofs. But instead of focusing the mathematics behind the proof, these questions ask about the details and implementation of the proof.

learn more… | top users | synonyms

5
votes
4answers
250 views

Suppose $f:[0,1] \Rightarrow \mathbb{R}$ is continuous and $\int_0^x f(x)dx = \int_x^1 f(x)dx$. Prove that $f(x) = 0$ for all $x$

Suppose $f:[0,1] \Rightarrow \mathbb{R}$ is continuous and $\int_0^x f(x)dx = \int_x^1 f(x)dx$. Prove that $f(x) = 0$ for all $x$. So, I can intuitively see that this is true. My proof mostly makes ...
5
votes
3answers
322 views

How to prove or statements

How do I prove statements of the following types: $A \text{ or } B \implies$ C $A \implies B \text{ or } C$ I don't know how to go about proving statements like this when they have "or". Can ...
5
votes
2answers
130 views

Is this sloppy writing for limits?

Please note that I am not asking you to compute or show me how to do this limit. I am asking how to write out a clean and formal solution that is free of any error, ambiguity, or sloppiness. Given ...
5
votes
3answers
223 views

How to show x and y are equal?

I'm working on a proof to show that f: $\mathbb{R} \to \mathbb{R}$ for an $f$ defined as $f(x) = x^3 - 6x^2 + 12x - 7$ is injective. Here is the general outline of the proof as I have it right now: ...
5
votes
2answers
222 views

Need help with very simple set theoretic proofs

I am self studying Munkres' Topology book, and I'm having a hard time writing down proofs that relate to set theory. I can see why certain arguments are true, but constructing a formal proof seems to ...
5
votes
2answers
116 views

$P(x)=x^3+ax^2+bx+c$, Proof $e^{P(x)}=\sin x$ has a solution.

Let $P(x)=x^3+ax^2+bx+c$ Proof : $e^{P(x)}=\sin x$ has a solution. I thought about it, and still cannot find where to start. Any ideas?, Thanks!
5
votes
3answers
79 views

Grade this proof of a surjective map from $\mathbb{R}^3$ to $\mathbb{R}^3$.

I just received this homework proof back in my abstract algebra class with a grade of 20%. I feel very cheated, to say the least. I present it here verbatim for your critiques. Please tell me what ...
5
votes
4answers
190 views

Use induction to prove a product of sums of squares is a sum of squares

For any natural number $n\ge 1$, given pairs $(a_1,b_1),(a_2,b_2),...,(a_n,b_n)$ of integer numbers, there exist integer number $c$ and $d$ such that $$\prod_{i=1}^{n}(a_i^2+b_i^2) = c^2+d^2$$ My ...
5
votes
2answers
89 views

Closed form of a Definite Integral [duplicate]

I attempted to integrate the following function from a practice problem in my Calculus textbook: $$\displaystyle \int_{0}^{\frac{\pi}{2}}{\frac{1}{1+\tan^\sqrt{2}(x)}} \ {\rm d}x$$ I failed to find ...
5
votes
2answers
204 views

Is (the proof of) Fermat's last theorem completely, utterly, totally accepted like $3+4=7$?

If a mathematician would/does make use of Fermat's last theorem in a proof in a publication, would s/he still make use of some kind of caveat, like: "assuming Fermat's last theorem is true" or ...
5
votes
2answers
112 views

How to exactly write down a proof formally (or how to bring the things I know together)?

I've always had trouble with this: I know everything I need to know but I can't connect everything I know in the way it's being wanted from me. This is what I have to do: Prove for $f : M → N$ the ...
5
votes
1answer
141 views

showing $a_n = \frac{\tan(1)}{2^1} + \frac{\tan(2)}{2^2} + \dots + \frac{\tan(n)}{2^n}$ is not Cauchy

My gut telling me that the following sequence is not Cauchy, but I don't know how to show that. $$a_n = \frac{\tan(1)}{2^1} + \frac{\tan(2)}{2^2} + \dots + \frac{\tan(n)}{2^n}$$
5
votes
1answer
79 views

Every first countable space is a moscow space.

First countable space $X$ is an example of moscow spaces. Let $U$ is an open subset of $X$ and $x\in \overline{U}$. If $\overline{U}$ is open or even a nbhood of $x$ this proposition is immediately ...
5
votes
2answers
2k views

Proof of Non-Ordering of Complex Field

Let $\mathcal F$ be a field. Suppose that there is a set $P \subset \mathcal F$ which satisfies the following properties: For each $x \in \mathcal F$, exactly one of the following statements holds: ...
5
votes
4answers
165 views

Why would the author ask if I used the Associative Law to prove + is not equiv. to *?

I just started reading An Introduction to Mathematical Analysis by H.S. Bear and problem 1 goes as follows: Problem 1: Show that + and * are necessarily different operations. That is, for any ...
5
votes
2answers
55 views

How can I prove whether a $9\times 9$ square can be filled with L-shaped pieces in a completely “regular” way?

There are a great many ways to fill a $9\times 9$ square with L-shaped pieces. One of them is below. Now, note that there are eleven $2\times 3$ rectangles that are formed, as well as a larger L ...
5
votes
2answers
160 views

What is an instance of a mousetrap proof?

A part of the first chapter of the book The spirit and the uses of the mathematical sciences talks about the beauty of mathematics. The author quotes from a lecture of Hasse and introduces the notion ...
5
votes
1answer
56 views

Is this a valid proof of the contrapositive?

The question is the following: if $a$ and $b$ are distinct group elements, then either $a^2 \neq b^2$ or $a^3 \neq b^3$. I find this difficult to prove directly, so I formulated the contrapositive to ...
5
votes
1answer
216 views

Dividing Squares Fails to Invoke Contradiction: Two Elementary Divisibility Proofs

$x^2 \text{ is even } \iff x \text{ is even } \tag{Thm 3.12, P76}$ $\text{ Let } x, y \in \mathbb{Z}. \text{ Then } x \;\& \; y \text{ are of the same parity } \iff x + y \text{ is even.} \tag{Thm ...
5
votes
2answers
257 views

Limit superior inequalities proof

Let $a_n$ be a positive sequence. Prove that $$\limsup_{n\to \infty} \left(\frac{a_1+a_{n+1}}{a_n}\right)^n\geqslant e.$$
5
votes
1answer
131 views

Help to understand the proof of $ \lim \limits_{x\to 0^+} f \left(\frac{1}{x}\right)=\lim \limits_{x\to \infty}f(x)$

The following is an answer to the proof of $$ \lim \limits_{x\to 0^+}f\left( \frac{1}{x} \right)=\lim \limits_{x\to \infty}f(x)$$ If $l=\lim \limits_{x\to \infty}f(x)$, then for every ...
5
votes
2answers
93 views

Product of a family of spaces of countable tightness

I recently learned the concept of cardinal functions and some of the definitions and theorems are not clear to me. How can we prove this theorem? Finite family of compact spaces of countable ...
5
votes
1answer
121 views

Prove spatial velocity identity - screw theory

This question involves a proof regarding coordinate transformations of velocities of screw motions. This comes from "A Mathematical Introduction to Robotic Manipulation" (the text is available for ...
5
votes
1answer
78 views

Are there any positive integers $a, b, c, d$ such that both $(a, b, c)$ and $(b, c, d)$ are Pythagorean triples?

Pythagorean triple is a triple of integers $(a, b, c)$ such that $a^2+b^2=c^2$. Is there any Pythagorean triple such that, not only $a^2+b^2$, but also $b^2+c^2$ is a square number? If not, how to ...
5
votes
1answer
113 views

How to prove the inequality?

Given $0<x<1$, $0<a<b<1$, and $a+b<1$, how to prove $a^x(1-ax)<b^x(1-bx)$? I've tried using $f(x)=x^t(1-xt)$ to do some manipulations (including derivations), but failed.
5
votes
1answer
272 views

Span and Dimension: A subspace

If $A$ is finite set of linearly independent vectors then the dimension of the subspace spanned by $A$ is equal to the number of vectors in $A$. This is obviously true. Since $A$ is a finite set of ...
5
votes
2answers
768 views

Proof to sequences in real analysis

I need some verification for my proof in part a) and help to get me started on part b) a) Prove that the sequence $a_n = (2n+1)/(3n+5)$ converges to $2/3$ directly from the definition of convergence ...
5
votes
1answer
71 views

A statement about an element $a$ in semigroup S, such that $aS$ containts idempotent and $a=axa$ implies $x=xax$

I have been currently studying some characteristics of completely regular and completely simple semigroups and I have came across a lemma, which seems simple, but I'm struggling with it's proof, so I ...
5
votes
1answer
85 views

If F→G is a consequence of F, then so is ¬G→¬F. A direct proof?

Homework question (introduction to logic): "If $F \to G$ is a consequence of $\mathcal F$, then so is $\lnot G \to \lnot F$. We refer to this rule as $\to$-contrapositive. Verify this rule by giving ...
5
votes
1answer
539 views

limit superior of a sequence proof

Let $(x_{n})\in\mathbb{R}^{+}$ be bounded and let $x_{0}=\lim\sup_{n\rightarrow\infty}x_{n}$. $\forall\epsilon>0$, prove that there are infinitely many elements less than $x_{0}+\epsilon$ and ...
5
votes
1answer
87 views

Being $N$ a constant $>0$, show $\prod_{p<x}_{p \ \text{prime}}\frac{1}{p^{N+1}-1}>\frac{0.2}{\log^2 x}$.

Related. Show that if $x$ is large enough,$$\prod_{p<x}_{p \ \text{prime}}\frac{1}{p^{N+1}-1}>\frac{0.2}{\log^2 x}.$$ Speaking of which, Theorem 6.12, and maybe others, of this paper might be ...
5
votes
2answers
444 views

How to prove a function is not onto?

Let $f : Z\to Z$ be the function defined by $f(x) = 3x + 1$. Prove that $f $ is not onto, using a proof by contradiction. (Choose an integer $n$, and then prove ($\forall m \in Z$)($f(m) ≠ n$) by ...
5
votes
1answer
367 views

Proof of pythagorean theorem

Any one seen this proof before? $$\frac{d}{dx} \sin(x)^2=2\cos(x)\sin(x)$$ $$\frac{d}{dx} \cos(x)^2=-2\cos(x)\sin(x)$$ $$\frac{d}{dx} \sin(x)^2+\frac{d}{dx} \cos(x)^2=0$$ $$\sin(x)^2+\cos(x)^2=c$$ ...
4
votes
5answers
410 views

Showing $a^2 < b^2$, if $0 < a < b$

Lately, I've been stumbling with proofs of inequalities. For example: Given $0 < a < b$ Show $a^2 < b^2$ The only thing I've been able to come up with so far: $a^2 < b^2$ ...
4
votes
6answers
1k views

Prove that - for every positive $x \in \mathbb{Q}$, there exists positive $y \in \mathbb{Q}$ for which $y \lt x$

First my apologies if this question has been asked before. Exposition I'm new at learning how to prove theorems and among the given exercises from my reference material it is asked to prove the ...
4
votes
6answers
2k views

Simple proof; Show that $(4^n - 1)$ is divisible by 3 (Guided proof task)

First part of the task is just to show that $(4^n-1)$ actually is divisible by 3 for n=1,2,3,4. No problem. Second step: is to show that $(4^n -1) = (2^n-1)(2^n+1)$ No problem, just algebra. Third ...
4
votes
3answers
447 views

Proof by induction or contradiction that $(4k + 3) ^2 - (4k + 3)$ is not divisible by $4$?

I have to prove that $(4k + 3) ^2 - (4k + 3)$ is not divisible by $4$. What would be the best approach for this, proof by induction or contradiction? I've tried both and haven't got very far. Any ...
4
votes
3answers
381 views

Prove that $(a+1)(a+2)…(a+b)$ is divisible by $b!$ [duplicate]

The problem is following, prove that: $$(a+1)(a+2)...(a+b)\text{ is divisible by } b!\text{ for every positive integer a,b}$$ I've tried solving this problem using mathematical induction, but I ...
4
votes
7answers
905 views

How do I show that the set of odd natural numbers is closed under the operation * defined by a*b=a+b+ab?

I really need help with this question. I am required to show that the set of odd natural numbers is closed under the operation * defined by a*b=a+b+ab, and I'm not quite sure how. Any work/help is ...
4
votes
2answers
1k views

Prove that there exist no positive integers $m$ and $n$ for which $m^2+m+1=n^2$

The problem: Prove that there exist no positive integers $m$ and $n$ for which $m^2+m+1=n^2$. This is part of an introductory course to proofs, so at this point, the mathematical machinery should not ...
4
votes
4answers
873 views

Prove that $\sum_{k=0}^r {m \choose k} {n \choose r-k} = {m+n \choose r}$ [duplicate]

Prove that $$\sum_{k=0}^r {m \choose k} {n \choose r-k} = {m+n \choose r}.$$ This problem is in the chapter about discrete random variables, but I have no idea what to go about substituting. I can't ...
4
votes
4answers
2k views

How to prove that $n\log n = O(n^2)$?

How to prove that $n\log n = O(n^2)$? I think I have the idea but need some help following through. I start by proving that if $f(n) = n \log n$ then $f(n)$ is a member of $O(n\log n)$. To show this ...
4
votes
3answers
741 views

What is the relation A = B = C called in a proof?

When writing a proof if I have the relationship $$ A = B = C $$ And I want to use that to prove $$ A = C $$ I remember there being some term for it. What is that term, and what would be an ...
4
votes
5answers
455 views

Prove $\lim _{x \to 0} \sin(\frac{1}{x}) \ne 0$

Prove $$\lim _{x \to 0} \sin\left(\frac{1}{x}\right) \ne 0.$$ I am unsure of how to prove this problem. I will ask questions if I have doubt on the proof. Thank you!
4
votes
2answers
326 views

Proof that the Irrationals are Countable

Proof: Between any two irrationals lies a rational, by the Density of the rationals in the real number system. There are only countably many rationals; therefore, there are only countably many pairs ...
4
votes
2answers
3k views

A continuous function $f$ from a closed bounded interval $[a, b]$ into $\mathbb{R}$ is uniformly continuous

I am reading (as a supplement) the book Basic Real Analysis, by Anthony Knapp. Before I proceed into reading a proof, I want to be sure that the result seems obvious. Yet, I am having trouble seeing ...
4
votes
4answers
181 views

Help in proving $ \left( 1 + \frac{1}{n} \right)^{n} \leq \sum\limits_{k=0}^{n} \frac{1}{k!} < 3 $.

I am trying to prove this statement for all $ n \geq 1 $ using induction: $$ \left( 1 + \frac{1}{n} \right)^{n} \leq \sum_{k=0}^{n} \frac{1}{k!} < 3. $$ I said: Base case $ n = 1 $: $$ \left( ...
4
votes
4answers
328 views

Proof of $n^2 \leq 2^n$.

I am trying to prove that $n^2 \leq 2^n$ for all natural $n$ with $n \ne 3$. My steps are: induction base case: $n=0:$ $0² \leq 2⁰$ which is okay. inductive step: $n \rightarrow n+1:$ ...
4
votes
3answers
4k views

Prove that the intersection of two equivalence relations is an equivalence relation.

I am reading this chapter of the Book of Proof, and I'm stuck at the Exercise 10 of section 11.2. It is as follows. Suppose $R$ and $S$ are two equivalence relations on a set $A$. Prove that $R ...
4
votes
2answers
213 views

Proof of $f(\{x\})=\{f(x)\}$

I thought, is this really that simple? Or am I missing a piece? This is my proof: $f(\{x\})=\{f(x)\}$. Look at $f(\{x\})$. By definition, $f(\{x\})=\{f(a)|a \in \{x\}\}$, and therefore ...