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
5answers
46 views

Prove that $gcd(a, b) = gcd(b, a-b)$

I can understand the concept that $\gcd(a, b) = \gcd(b, r)$, where $a = bq + r$, which is grounded from the fact that $\gcd(a, b) = \gcd(b, a-b)$, but I have no intuition for the latter.
1
vote
0answers
23 views

Mathematical expressions: Proving logic statements

For $x \in \mathbb R$, define the floor function by: $$\lfloor x\rfloor \in \mathbb Z ~~\land~~ \lfloor x \rfloor \le x ~~\land~~ (\forall z \in \mathbb Z ~:~ z \le x \Rightarrow z \le \lfloor ...
0
votes
1answer
36 views

There exists a positive real number $u$ such that $u^3 = 3$

Modify the Theorem that states There exists a positive real number x such that $x^2 = 2$. Show that there exists a positive real number $u$ such that $u^3 = 3$. So far, I have come up ...
1
vote
2answers
45 views

Proving logic statements

For x ∈ ℝ, define by: ⌊x⌋ ∈ ℤ ∧ ⌊x⌋ ≤ x ∧ (∀z ∈ ℤ, z ≤ x ⇒ z ≤ ⌊x⌋). Use this definition to prove or disprove the following with a structured proof technique: ∀x ∈ ℝ, ∀y ∈ ℝ, x > y ⇒ ⌊x⌋ ≥ ⌊y⌋. ...
1
vote
2answers
28 views

Proving $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ in a Hilbert system where it is not an axiom

I have no idea whether this question is way too specific or whether something similar has already been asked (we still need to work out a way to search for formulas I guess). Anyways here I go: I ...
2
votes
0answers
11 views

Derivation of higher order bessel function in terms of lower order functions

I am really stuck trying to prove this.. ((x^-p)Jp(x))’ = -(x^-p)Jp+1(x) ---(1) Can someone please help how to actually prove this step by step, because whichever notes i see, they prove ...
-4
votes
0answers
17 views

Find if subset is in other set if they divide [on hold]

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
14 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
22 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
19 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
13 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
228 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
35 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
22 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
51 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
80 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
28 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 ...
1
vote
1answer
48 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
273 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
15 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
44 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
221 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
160 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
30 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
56 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
73 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
73 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!
7
votes
0answers
331 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
74 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 ...