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

1
vote
3answers
24 views

Defining and Proof of relation [closed]

Define a relation $R$ on the set $\mathbb{Q}$ of rational numbers by defining $$xRy \Leftrightarrow x−y ∈ Z$$ For example, we have $2R11$ because $2 − 11 = −3$ is an integer, and we have $\pi \sim R\ ...
1
vote
1answer
60 views

Where is the error in this proof :

Prove that: $$\frac {2\Gamma'(2z)}{\Gamma(2z)}-\frac {\Gamma'(z)}{\Gamma(z)}-\frac {\Gamma \prime(z+\frac{1}{2})}{\Gamma(z+\frac{1}{2})} =2 \log 2$$ But I obtain this equal zero. My proof: From ...
1
vote
2answers
41 views

Proving Konig-Egervary Theorem from Ford-Fulkerson

I've been going over a proof for Konig-Egervary Theorem from Ford Fulkerson, and I just don't see it. In fact, it just seems false. So I'm not sure what I'm missing. Note: the Konig-Egervary Thm says: ...
-2
votes
3answers
52 views

Need help with this proof of inequality and absolute value. [closed]

Help! proof that if $x,y \neq 0$ $\left|\frac{x^5+y^5}{x^4+2y^4}\right|<\left|x\right|+\left|\frac{y}{2}\right|$
1
vote
1answer
35 views

Is the function one-to-one?

Is the function $f: \mathbb R+ \to\mathbb R \\$ defined as $f(x) = \sqrt{x} + x + 2$ one-to-one? I'm pretty sure the function is one to one but when I try to solve $f(x) = f(y)$ to $x = y$ I get ...
2
votes
2answers
34 views

Proving that $f$ is a bijection.

Here is the question: Suppose $f:X\longrightarrow Y$ and $g:Y\longrightarrow X$ satisfy $$\forall x\in X.(g\circ f)(x)=x,\,\forall y\in Y.(f\circ g)(y)=y$$ Prove that $f$ is a bijection, with ...
1
vote
0answers
19 views

Riemann-Stieltjes Integrals with $n$ discontinuities (Proof Review)

First of all is the proof legitimate? If so, then are there other methods to achieve the same result that are neater than mine? Let $\alpha : [a,b] \to \mathbb{R}$ be a step function with ...
0
votes
0answers
23 views

If $f,g$ are integrable on $[a,b]$, then $h(x)=max{f(x),g(x)} $ is Riemann integrable.

I have to prove the following: Suppose $f,g$ are Riemann integrable on $[a,b]$. Define $h(x)=max\{f(x),g(x)\}$. Prove that $h$ is Riemann integrable on $[a,b]$. My attempt: If the case is that ...
2
votes
1answer
50 views

Question about $\frac {\Gamma'(z+1)}{\Gamma(z+1)}$

If $\psi (z)= \log\Gamma(z+1)$ Prove that : $$\psi(n)+\gamma=1+\frac{1}{2}+\cdots+\frac{1}{n}$$ My Proof : $$\psi (z)= \frac {\Gamma'(z+1)}{\Gamma(z+1)}=-\frac{1}{z+1}-\gamma + \sum_{n=1}^\infty ...
0
votes
2answers
22 views

Prove that a certain sequence of partial sums (involving integrals) converge.

I have to prove the following: Define $\gamma_{n}= 1+1/2+1/3+...+1/n-\int_{1}^{n}\frac{1}{t}dt$.Prove that $\{\gamma_{n}\}$ converge. I need your help because I don't know how to involve the algebra ...
6
votes
0answers
46 views

Let $G$ be a group, and $H$ a subgroup of $G$. Let $a, b \in G$. Prove $Ha=Hb$ iff $ab^{-1} \in H$.

Let $G$ be a group, and $H$ a subgroup of $G$. Let $a, b \in G$. Prove $Ha=Hb$ iff $ab^{-1} \in H$. $\rightarrow$ If $Ha=Hb$, then $h_1a=h_2b$ for some $h_1, h_2 \in H$. So, $ab^{-1} = ...
0
votes
4answers
91 views

Proof that $ 3 > (1+\frac{1}{n})^n \geq 2$

I am studying computer science in first term, and i got a task that i was not able to solve for a long time now. I have to prove that $ 3 > (1+\frac{1}{n})^n>=2$ for every $n \in ...
1
vote
5answers
90 views

Writing clear proofs involving multiple theorems and conditions

Suppose the problem is that given $A$ and $C$ holds, prove $D$ holds. Some theorems that we can use are: $A \to B$ $(B,C) \to D$ I feel what I said may be unclear: Because $A$ holds ...
1
vote
1answer
41 views

Question on series $\frac {\Gamma'(z)}{\Gamma(z)}$

Prove that: $$\frac {2\Gamma'(2z)}{\Gamma(2z)}-\frac {\Gamma'(z)}{\Gamma(z)}-\frac {\Gamma \prime(z+\frac{1}{2})}{\Gamma(z+\frac{1}{2})} =2 \log 2$$ But I obtain this equal zero: $$\frac ...
2
votes
3answers
63 views

Validity of this proof that any continuous function with domain and range in [0,1] must have a fixed point.

The following proof was given in a solutions manual to a question asking to prove that a continuous function with domain and range in $[0,1]$ must have a fixed point: Consider the function $F(x) = ...
0
votes
3answers
29 views

The subspace $S ⊆ \mathbb{R}^n$ has linearly independent vectors $u_1,…u_k$. Show that any basis for $S$ must have at least $k$ vectors.

Let $S ⊆ \mathbb{R}^n$ be a subspace. Say that $u_1,.....u_k ∈ S$ are linearly independent vectors. Show that any basis for S must have at least k vectors. "Say that $u_1,.....u_k ∈ S$ are linearly ...
1
vote
0answers
24 views

How to prove that a function f(x) is O(g(x)), using the definition (finding C and k)

We say that $f(x)$ is $O(g(x))$ if $$(∃C ∈ \mathbb(R)❘)(∃k ∈ \mathbb(R)❘)(∀x ∈ \mathbb(R)❘)$$ $$(x ≥ k → |f(x)| ≤ C · |g(x)|)$$ In English: We can find $C$ and $k$ so that, once we get past the “small ...
0
votes
1answer
26 views

Need help on a example about proof on functions and sets

I need some help to prove the problem below: Suppose $g$ is a function from $X$ to $Y$ and $f$ is a function from $Y$ to $Z$. $A$ and $B$ are subsets of $X$. Prove that if $A$ is a subset of $B$ then ...
1
vote
2answers
56 views

Prove: Use the triangle inequality to prove that for all $x, y, | |x| − |y| | ≤ |x − y|$ [duplicate]

Prove: Use the triangle inequality to prove that for all $x, y, | |x| − |y| | ≤ |x − y|$ Proof: If $x ≥ 0$ and $y ≥ 0$, then both sides of the inequality are the same. Also if $x ≤ 0$ ...
0
votes
1answer
66 views

Define a relation ~ on ℕ by a~b if ab is a perfect square

So, for this problem: a. Prove that ~ is an equivalence relation on ℝ². (I'm not sure if this is a typo on my professor's part since we are defining a relation on ℕ.) b. Describe the equivalence ...
1
vote
3answers
41 views

Supremum of the product of sets

Let $A, B$ be subsets of positive real numbers that are bounded above, and let $A\cdot B=\{ a b : a\in A, b\in B\}$. Show that $$ \sup (A\cdot B) = \sup A \sup B. $$ Proof: This is obvious. It is ...
1
vote
1answer
29 views

Define a relation ~ on ℝ² by (x,y)~(w,z) if x+y=w+z

So, it comes in two parts: a. Prove that ~ is an equivalence relation on ℝ². b. Give a geometric description of the partition of ℝ² formed by the equivalence classes. For a, I have to prove that ~ ...
0
votes
1answer
40 views

The properties of relations $xRy$ if $x\ge y^2$ and $aRb$ if $a|b$.

I am given these 5 questions about the relations $xRy$ if $x\ge y^2$ (on real numbers), and $aRb$ if $a|b$ (on $\mathbb N$). a. Find the domain and range of R. b. Prove or disprove that R is ...
1
vote
0answers
31 views

Suppose A and B are sets. If $|A| = m$ and $|B| = n$, then how many relations are there from $A$ to $B$?

Coudn't I say that it is $m\times n$ relations because the collection of all ordered pairs is the Cartesian Product $A\times B$?
0
votes
0answers
37 views

Measure Theory: Basic Proof

Recently I've been trying to write better as a mathematician and now details that seemed to be apparent before were just so because I was dismissing them. I would like to know if the following proof ...
0
votes
2answers
46 views

An upper bound $u$ is the supremum of $A$ if and only if for all $\epsilon > 0$ there is an $a \in A$ such that $u-\epsilon < a$

Problem: Let $u$ be an upper bound of non-empty set $A$ in $\mathbb{R}$. Prove that $u$ is the supremum of $A$ if and only if for all $\epsilon > 0$ there is an $a \in A$ such that $u-\epsilon ...
0
votes
2answers
46 views

Proof of Continuity of $f(x) = x^2 + x - 1$

Am supposed to show proof that $f(x) = x^2 + x - 1$ is continuous for all real numbers a. Doing the general Delta-Epsilon proof, I have and understand how to prove $x^2$ alone. In particular I am ...
1
vote
3answers
67 views

Proving $\sum^{n}_{k=1} \frac{1}{\sqrt{k}}>\sqrt{n}$ by induction

Prove that $$\sum^{n}_{k=1} \frac{1}{\sqrt{k}}>\sqrt{n}$$ for all $n\in \mathbb{N}$ where $n\geq2$. I've already proven the base case for $n=2$, but I don't know how to make the next step. Is the ...
-2
votes
3answers
49 views

Proof of floor function [closed]

I want to proof $\forall x\in\mathbb R,\lfloor x+1 \rfloor =\lfloor x\rfloor+1$, I know it is true, but how to prove it?
0
votes
1answer
37 views

How to prove that for any sequence $(a_{k})$ of non-negative real numbers,$(1+a_1)(1+a_2)\cdot…\cdot(1+a_n)\geq 1+a_1+a_2+…+a_n$? [closed]

Use math induction prove that for any sequence $(a_{k})$ of non-negative real numbers, $$(1+a_1)(1+a_2)\cdot...\cdot(1+a_n)\geq 1+a_1+a_2+...+a_n$$
1
vote
1answer
40 views

How to prove that $\forall n\in \mathbb{N}$, $\sum ^{n}_{i=1}i^{3}=\frac {n^{2}(n+1)^{2}}{4}$? [duplicate]

Use mathematical induction to prove that $\forall n\in \mathbb{N}$, $$\sum ^{n}_{i=1}i^{3}=\dfrac {n^{2}(n+1)^{2}}{4}$$ $$\begin{align*} \sum_{k=1}^{n+1} k^3 &= \sum_{k=1}^{n} k^3 + (n+1)^2 ...
-1
votes
1answer
49 views

How to prove using math induction that $\forall n\in \mathbb{N}$, $\sum ^{n}_{i=1}i^{2}=\frac{1}{6}n\left( n+1\right) \left(2n +1\right)$? [duplicate]

Use mathematical induction to prove that $\forall n\in \mathbb{N}$, $$\sum ^{n}_{i=1}i^{2}=\dfrac {n\left( n+1\right) \left(2n +1\right) }{6}$$
-2
votes
0answers
29 views

Proof of some floor function

The floor function $\lfloor x\rfloor$ means the first integer less than or equal to $x$ (ie $\lfloor 3.5\rfloor=3$). I have two statements: $$\forall x\in\Bbb R,\forall e\in\Bbb R^+,\exists d\in\Bbb ...
1
vote
1answer
23 views

Completeness implies an infimum

Let $F$ be an ordered field where every non-empty subset which is bounded above has a supremum. Prove that every non-empty subset which is bounded below has an infimum. Let $S_1 = \{-x \mid x \in ...
0
votes
0answers
17 views

Prove that a certain (involving integrability) sequence converge to $\int_{0}^{1} f(x) dx$

I have to prove the following result: Suppose $f$ is Riemann integrable on $[0,1]$.Define: $$a_{n}= \frac{1}{n} \sum f (\frac{k}{n})$$ For all $n$. Prove that ${a_{n}}$ converges to $\int_{0}^{1} ...
3
votes
2answers
54 views

Prove that $m+\frac{4}{m^2}\geq3$ for every $m > 0$

How to deal with $m+\frac{4}{m^2}\geq3$ for every $m > 0$ ? I multiplied both sides by $m^2$ and got $m^3+4-3m^2\geq0$ and have no idea how to continue with this
0
votes
1answer
22 views

Demonstration of strong induction using ladder rungs

My textbook illustrates strong induction using a ladder analogy as follows: Suppose we can reach the first and second rungs of an infinite ladder, and we know that if we can reach a rung, we can reach ...
2
votes
3answers
55 views

$A$ is dense in $[0,1]$ and $f(x)=0$ for all $x$ in $A$ then the integral is zero

I need to prove the following: Let $A$ be a dense set in $[0,1]$.Suppose $f:[0,1] \to \mathbb{R}$ is Riemann integrable and $f(x)=0$ for all $x \in A$. Show that $\int_{0}^{1} f(x) dx=0$ My ...
3
votes
4answers
43 views

How to prove that $m+(4/m^2)>=0$ for every m greater or equal to 0 [duplicate]

I have a problem with proving this simple theorem. I've already figured out that the best strategy is to factorise is, so that to get eg. a square or another expression that from the definition has to ...
3
votes
3answers
50 views

Proof that an odd integer multiplied by 3 and squared is always odd

I'm working with a proof in a discrete structures CS course, and I am a little confused by how to build up some logic for the argument. Currently we're working with symbolic logic, the problem ...
0
votes
3answers
55 views

How do I write a variable, x, when I mean 'any x' so that it's clear I don't mean a particular number.

In high-school, we usually used letters (literals?), such as $y$ to designate particular unknown numbers. In functions, $y$ could designate various numbers, but it seems to me that in these cases $y$ ...
2
votes
2answers
110 views

circular reasoning in proving $\frac{\sin x}x\to1,x\to0$

The classic proof for $\frac{\sin x}x\to1,x\to0$ is using a squeezing theorem based on arguments about areas of circles. But as far as I know, all deduction of formula of circles' area is based on ...
0
votes
1answer
17 views

Proof of the number of the leaves in a full binary tree

I need to proof by induction that at full binary tree there are $\frac{n+1}{2}$ leafs if $|V|=n$. So, I won't write you the whole proof, just my idea, and I'd like to know if this OK... So we ...
3
votes
2answers
62 views

Integer solutions of the equation $7(a^2+b^2)=(c^2+d^2)$

What are all the integer solutions of the equation $7(a^2+b^2)=(c^2+d^2)$ First thing to note is that $c=7C$ and $d=7D$ and substituting it in the original equation yields an equation that is ...
1
vote
3answers
40 views

If $x>y$, then $\lfloor x\rfloor\ge \lfloor y\rfloor$, formal proof

For x ∈ ℝ, define by: ⌊x⌋ ∈ ℤ ∧ ⌊x⌋ ≤ x ∧ (∀z ∈ ℤ, z ≤ x ⇒ z ≤ ⌊x⌋). Claim 1.1: ∀x ∈ ℝ, ∀y ∈ ℝ, x > y ⇒ ⌊x⌋ ≥ ⌊y⌋. Assume, x, y ∈ ℝ # Domain assumption ...
1
vote
0answers
11 views

Doubt in a step of the proof of Rado-Kneser-Choquet theorem

I am trying to prove Rado-Kneser-Choquet theorem, which states that if $f$ is sense preserving self homeomorphism of the unit circle $\partial D$. Then harmonic extension $F$ of $f$ is self ...
0
votes
0answers
17 views

The Answer to the problem Prove that there is a 1-1 correspondence between the set of subgroups of Z/NZ and the set of the positive divisors of N [duplicate]

I need to Prove that there is a 1-1 correspondence between the set of subgroups of Z/NZ and the set of the positive divisors of N My attempt: We first define $B=\{d>0: divisor of N\}$, ...
0
votes
0answers
13 views

help with proof involving matrix derivations

So, Ive been trying to learn the research in a particular article, which can be read http://www.sciencedirect.com/science/article/pii/0024379580902219# Specifically lemma 2. So far, I have understood ...
2
votes
1answer
38 views

Linear Algebra: Symmetric matrices, diagonalization (help with proof)

I need a bit of help with an IFF proof, here it is: {Let X be a symmetric n × n-matrix. Show: $$X=Y^2$$ for some symmetric matrix Y iff X has only non-negative eigenvalues. } My thinking: This ...
0
votes
1answer
24 views

How to prove that path in directed tree is directed path?

So I have a directed tree where I have a path that begins in the root of tree and leads to any vertex. I have to prove that this path is a directed path.