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

-2
votes
0answers
13 views

Find if subset is in other set if they divide

For n ∈ N,let An ={x∈R: x2 ∈N}. Determine whether each of the following is true or false, and prove your answer. (a)If m,n ∈ N and m divides n,then Am ⊆ An. (b)If m,n ∈ N and m divides n,then An ⊆ ...
0
votes
0answers
8 views

Justify each step in the following proof of Proposition 3.9 (b). I like to know if I'm in the right track and I'm also missing a few of them

Proposition 3.9(b): If a ray emanates from an interior point of triangle ABC, then it intersects one of its sides. proof (a) Let r be a ray emanating from an interior point D. (b) The ray AD ...
1
vote
2answers
17 views

Prove that $(1+x)^n ≥1+nx$ for all $x>-1$ and $n=1,2,\ldots$

Prove that for every real number $x > −1$ and every $n = 1,2,\ldots,$ $$(1+x)^n ≥1+nx.$$ I don't know where to begin so I haven't tried anything.
0
votes
0answers
4 views

Justify each step in the following proof of Proposition 3.9 (a). I like to know if I'm in the right track and I'm also missing a few of them

Proposition 3.9(a): If a ray r emanating from an exterior point of triangle ABC intersects side AB at a point between A and B, then r also intersects side AC or side BC. proof. (a) Let r= array XD ...
0
votes
1answer
9 views

How to prove a subset is over an interval using the definition of subset.

Determine whether {x ∈ R : x2 < 9} is a subset of the interval [0, 9]. Prove your answer using the definition of A is a subset of B.
7
votes
2answers
226 views

Proving a palindromic integer with an even number of digits is divisible by 11

I'm in an introductory course for discrete math so I'm a novice at English proofs. I'm not sure if my reasoning here is valid or if I'm using modular arithmetic correctly. Specifically the line I ...
0
votes
2answers
32 views

Prove that sequences $\frac{a_n}{b_n} = 0$

Let $(a_n)$ and $(b_n)$ be positive real sequences such that $\lim \limits_{n \to \infty} \dfrac{a_n}{b_n} = 0$ and $(b_n)$ is bounded. Prove that $\lim \limits_{n \to \infty} a_n=0$. Proof: ...
0
votes
1answer
21 views

Proof of a limit formula

If $h(x) = f(x)/g(x)$ $lim(x->b) f(x) = L$ $lim(x->b) g(x) = M$ Prove that $lim(x->b) h(x) = L/M$ Sorry for the terrible latex. ONLY FORMAL PROOFS! For every $\epsilon > 0$ Since ...
0
votes
1answer
50 views

Limit Delta-Epsilon proof

Prove $\lim_{x \to a} 2x = 2a$ Using the formal proof, not informal. So we know $2|x - a| < \epsilon$ We need to find some $\delta$ We only need to prove there IS SOME $\delta$ right? Only ...
0
votes
4answers
76 views

For every $x \in [\frac{\pi}{2},\pi]$, $\sin(x)+\cos(x)\geq 1$. Prove rigorously by contradiction.

For every $x \in [o,\frac{\pi}{2}]$, $\sin(x)+\cos(x)\geq 1$. How do you prove this rigorously by contradiction? I understand you start by assuming that $\sin(x)+ \cos(x)<1$ and prove this is a ...
0
votes
1answer
17 views

The number of ways to paint a red tile in a grid.

here's the question: "You have nine tiles arranged into a three by three square mosaic. If you color each tile red or blue with equal probability, what is the probability that there exists a two by ...
1
vote
2answers
27 views

Induction on the number of marbles in a heap.

Here is the problem in full: "A heap has $x$ marbles, where $x$ is a positive integer. The following process is repeated until the heap is broken down into single marbles: choose a heap with more ...
0
votes
0answers
31 views

Derivations on the space of triangular matrices

I have started to research matrices and have been asked the following. If $d$ is a a derivation on $T_n(\mathbb R)$ and $d(e_{ij})=0$, with $1\le i \le j \le n$, Show that for every $r \in ...
1
vote
1answer
46 views

Prove: $\{α_1,…,α_n\} ⊨ α$ iff $\{α_1,…,α_{n−1}\} ⊨ (α_n→α)$.

Recently began my second logic course and have been surprised at how very, very different it is from the first one. My main struggle is that we have to prove things all the time, and I've never learnt ...
3
votes
3answers
268 views

Show that inequality holds

How would you show that the following inequality holds? Could you please write your reasoning by solving this problem too? $a^2 + b^2 + c^2 \ge ab + bc + ca$ for all positive integers a, b, c I ...
0
votes
2answers
18 views

Proof by contradiction how to show is properly

For every $x \in \left[\pi/2,\pi\right]\,,\ \sin\left(x\right) − \cos\left(x\right) \geq 1$. I have drawn the graph and can clearly see that A is true however how do I prove it correctly.
0
votes
0answers
34 views

How would one justify the claim that this differential cannot be solved analytically?

The Wikipedia article on the subject of free fall claims that: when the air density cannot be assumed to be constant, such as for objects or skydivers falling from high altitude, the equation of ...
0
votes
2answers
29 views

If the sum of the digits of n is equal to the sum of the digits of 5n, then prove that 9|n.

Let $n\in\mathbb{N}$. So far I have: If the sum of the digits of $n$ is $k$, then $n = 9m + k$, where $m$ element of an integer (not sure why). Now consider $5n-n$. Help?
0
votes
1answer
14 views

Proving that the $k$th element of $A \cup B$ is median of (the first $k$ elements of A) $\cup$ (the first $k$ elements of $b$)

By union here, I am referring to a union where duplicates are allowed. Given two sorted arrays, A and B, how do you prove that the $k$th element in the union of A and B is the median of the following ...
0
votes
1answer
24 views

Prove that if a|c and b|c, and a and b are relatively prime, than ab|c

How do I show this? I have an idea of what to do, but the problem overall is a little confusing to me. I can start the problem, but I just do not see how to get to the solution.
4
votes
3answers
38 views

If d is a norm on V, is $\frac{d(x,y)}{1+d(x,y)}$ a norm on V?

Let d be a norm on a vector space V and let $\psi:V \to [0,\infty)$ be a function defined as $\psi(v)=\frac{d(v)}{1+d(v)}$. Is $\psi$ a norm on $V$? It seems that $\psi$ does not satisfy the ...
0
votes
3answers
32 views

The second derivative of $f^{-1}$ and another question. :)

Suppose both $f$ and $f^{-1}$ are twice differentiable functions. Derive a formula for $(f^{-1})''$. My attempt: We have that by the inverse function theorem that: ...
1
vote
1answer
41 views

Use Fundamental Theorem of Arithmetic to prove that if $a >1$, $p$ is prime, and $p|a ^n$ for some $n \in \mathbb{N}$, then $p|a$

So, by the FTOA, since $a >1$, then a can be broken down into a product of a prime factors, so $a = p_1 \times p_2 \times \dotsm \times p_k$. Then, can I say that since $a$ is multiplied by itself ...
0
votes
2answers
41 views

Assume that 495 divides the integer 273x49y5 where x,y ∈ {0,1,2…9}. Find x and y.

So, I know that $495 = 5\times 9\times 11$. So then, if that's the case, then the number $\overline{273x49y5}$ must be divisible by $495$ if and only if it is divisible by 5 and 9 and 11. Then, I ...
-1
votes
0answers
25 views

Prove the continuity and differentiability of a function in a point. [duplicate]

This question Is the same the question as this one (that I have posted yesterday at 12 am that I why I disconected from a large period of time) Prove that a function is both differentiable and ...
0
votes
2answers
43 views

Let n ∈ ℕ. If the sum of the digits of n is equal to the sum of the digits of 5n, then prove that 9|n.

I know how to test the divisibility of a number by 9, but only if I am given what n is. How would I set this problem up?
-2
votes
1answer
49 views

Prove $2n+3 \le 2^n$ for all integers $n \ge 4$.

I have already started the problem but I am unsure on how to proceed. Prove $2n+3 \le 2^n$ for all integers $n \ge 4$. Base Case: Choose $n = 4$. $2n + 3 \le 2^n$ $2(4) + 3 \le 2^4$ $8 + 3 \le ...
-1
votes
2answers
35 views

Geometric summation proof, not calculus

I am trying to take the expression $$T=\sum_{k=1}^nkx^k$$ and make it into a "simpler expression." I have an example similar to it where i am finding $$\sum_{k=1}^nx^k$$ where the answer is $$S_0 = ...
1
vote
6answers
217 views

How to prove a sequence does not converge?

I want to show that the sequence $$a_n=\frac{1}{n}+(-1)^n$$ does not converge to a limit. I know that if a sequence $\left( a_n\right)_{n \in \mathbb{N}}$ converges to a limit L, then ...
0
votes
0answers
10 views

Proving relations are orders

The Problem Let P and Q be posets with respect to some order $\sqsubseteq$. Proof that the following relations are indeed orders. If P' is a subset of P, then P' is also a poset with ...
1
vote
1answer
133 views

Prove $\sum_{n=1}^\infty \sum_{m=2^{n+1}} ^\infty \frac{(-1)^mn}{m}$ converges and evaluate it.

Noting that the series inside is a part of the alternating harmonic series multiplied by $-n$, we get $\displaystyle \sum_{m=2^{n+1}} ^\infty \frac{(-1)^mn}{m}=\sum_{m=1} ^\infty \frac{(-1)^mn}{m} ...
1
vote
2answers
28 views

Is this a valid method of proof?

We are given that $y = a + b$, and we want to prove that $y = a + c$ (using all the usual properties of numbers that we know from grade school). Does it suffice to set $a + b = a + c$, and by ...
2
votes
2answers
54 views

Proof of a summation of $k^4$

I am trying to prove $$\sum_{k=1}^n k^4$$ I am supposed to use the method where $$(n+1)^5 = \sum_{k=1}^n(k+1)^5 - \sum_{k=1}^nk^5$$ So I have done that and and after reindexing and a little algebra, ...
1
vote
3answers
69 views

If $x^2$ is divisible by $4$ then $x$ is even?

I am studying discrete mathematics as course and I have to prove this "If $x^2$ is divisible by $4$ then $x$ is even". I am wondering how to prove it using the contrapositive of this ...
0
votes
2answers
17 views

Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.

I had to write the proof to show that an Ideal $P$ of a commutative ring $R$ is prime Ideal if $R/P$ is an integral domain. let $a,b\in R$ s.t. $ab\in P$ , ...
3
votes
2answers
60 views

Prove that a function is both differentiable and continous at a point $x_0$

Suppose $f$ is differentialble on $(a,b)$, except possibly at $x_0 \in (a,b)$ an is continous on $[a,b]$; assume $ \lim\limits_{x\rightarrow x_0}f´(x)$ exists. Prove that $f$ is differentiable at ...
1
vote
0answers
27 views

Prove that $f$ is uniformly continous

I have to prove this: Suppose $f:(a,b)\to \mathbb{R}$ is differentiable and $|f´(x)| \leq M$ for all $x\in (a,b)$.Prove that $f$ is uniformly continous on $(a,b)$.Give an example of a function ...
0
votes
1answer
17 views

Use the mean value to prove a certain result

I need to prove the following: Use the Mean-Value Theorem to prove that: $$\sqrt{1+h}<1+\frac{1}{2}h$$ for $h>0$ My attempt: we first note that given that $h>0$ then $$1+\frac{1}{2}h ...
1
vote
2answers
32 views

How to formalize proofs

I'm struggling a bit with my discrete maths course and I was wondering if anyone could help me with my assignment. The question I'm working on is, Prove that if a and b are positive integers, then ...
0
votes
2answers
69 views

How to determine the domain of $\ln(\sqrt{x^2-3x+2} - x)$?

I know that $$f:x\rightarrow ln(x)$$ is defined $$\forall x>\mathbb{R^{+*}}$$ But what happened when the argument of f is a function as "complicated" as$$\sqrt{x^2-3x+2} - x$$ Obviously we want ...
1
vote
1answer
34 views

Proving that $\lim_{ x\to 2} (x^2 - x -3) = -1$ using epsilon and delta

Can someone check if my epsilon delta proof is correct? Thanks a lot!
6
votes
0answers
258 views
+100

It is easy to show that $\displaystyle S_m=\sum_{n=1}^\infty \frac{n}{2^n + m}$ converges for any natural$\ m$, but what is its value?

In fact the series would converge even if$\ m$ were not natural, I just wanted to state that it is natural in my case. I have found the partial sum formula of$\ S_0$,$\displaystyle \sum_{n=1}^k ...
1
vote
2answers
32 views

Proof by induction for $ 2^{k + 1} - 1 > 2k^2 + 2k + 1$ for $k > 4$

I was given this proof for hw. Prove that $ 2^{k + 1} - 1 > 2k^2 + 2k + 1$ So, far I've gotten this Basis: $k = 5$, $2^{5 + 1} - 1 > 2\cdot5^2 + 2\cdot5 + 1$ => $63 > 61$ (So, the basis ...
0
votes
2answers
24 views

Proove the following using either Direct Proof, Contrapostive and Contradiction. (Question related to Geometry).

A circle has centre $(2,4)$. Prove that if $(0,3)$ is not inside the circle, then $(3,1)$ is not inside the circle. I just want to know if my method would be correct. The method I used is as follows: ...
1
vote
4answers
70 views

which one of these proofs more acceptable for $A⊆B$ iff $A\cap B=A$?

I've got two answers to prove that $A⊆B$ iff $A\cap B=A$ first, (*) Assume that $A\cap B=A$. If $x\in A$ and $x\in B$ $\rightarrow $ $x\in (A\cap B)$. And if $y\in B$ but $y\notin A$ $\rightarrow ...
0
votes
2answers
31 views

Let $a$ be an element of order $n$ in a group $G$. If $m$ and $n$ are relatively prime, then $a^m$ has order $n$.

Let $a$ be an element of order $n$ in a group $G$. If $m$ and $n$ are relatively prime, then $a^m$ has order $n$. Assume $m$ and $n$ are relatively prime, and that $a^m$ does not have order ...
-4
votes
0answers
67 views

Geometric Proof for Fermat's Last Theorem - A Question [closed]

I have been working on a geometric proof for Fermat's last theorem that I just realized has been worked on already in some shape or form (ba-dum-tsh). Before anyone says it, yes, I am aware that this ...
0
votes
1answer
32 views

Maximal solution of differential equation

Let $K\subset X$ be a compact set and let $x_0\in K$. Suppose that the maximal solution $x(t)$
0
votes
0answers
13 views

Show that $\mathbb{N}=\{ 0\} \sqcup S(n)$ and also that that union is disjoint?

Show that $\mathbb{N}=\{ 0\} \sqcup S(n)$ and also that that union is disjoint? I've been assigned this exercise in my lectures of elements of mathematics 2. Three axioms have been given for a Peano ...
0
votes
1answer
8 views

Euclidean algorithm to provde gcd's and multiples

Suppose a, b, n ∈ N. Use the Euclidean algorithm to prove that gcd(na, nb) = n gcd(a, b). I was going to try setting it up, by literally doing: nb = rna + k and so forth, but something tells me this ...