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
2answers
23 views

Proof: Splitting triangle

Prove that, if ABC is a triangle with Angle A= 90 Degrees, Angle B=30 Degrees and C= 60 Degress, and W is the midpoint of the hypotenus, then the line connetcting W to A divides ABC into an ...
3
votes
1answer
32 views

Doubly stochastic matrix proof

A transition matrix $P$ is said to be doubly stochastic if the sum over each column equals one, that is $\sum_i P_{ij}=1\space\forall i$. If such a chain is irreducible and aperiodic and ...
1
vote
0answers
34 views

How to formally express a negative statement (in the wording or formulation of a theorem, for instance)

This is a doubt about English mathematical formal language. I would like to know the best way to express a negative hypothesis, in the formulation or statement of a theorem, proposition, etc., using ...
2
votes
3answers
67 views

How to prove $A=(A\setminus B)\cup (A\cap B)$ [duplicate]

How to prove $A=(A\setminus B)\cup (A\cap B)$. I have seen this problem and the solution is clear to me. Initially I was satisfied by my prove but now I think it is wrong. How I have proved ...
1
vote
2answers
64 views

Try to prove a generalization of the IVT?

Here is the statement : "Let $f: (a,b) \to \mathbb{R}$ a continuous function on $(a,b)$ with $a<b$ and $a,b \in \bar{\mathbb{R}}$. Then for all $u \in \left(\lim \limits_{x\to a} f(x), \lim ...
0
votes
1answer
33 views

If $ax + by = 8$, what is $\operatorname{gcd}(a, b)$?

Our instructor has given us this problem: If $ax + by = 8$, what is $\operatorname{gcd}(a, b)$? I'm confused. Is it not just $8$? Since, say, $\operatorname{gcd}(a, b) = n$, so there must exist ...
2
votes
1answer
28 views

If $P^r$ has all positive entries, then so does $P^n$

Let $P$ be the transition probability matrix of a Markov Chain. Argue that it for some positive integer r, $P^r$ has all positive entries, then so does $P^n$, for all integers $n\geq r$ I ...
0
votes
0answers
44 views

Proving transcendental numbers

I'll warn now that this is probably a big question, but I am wondering if anyone can explain why it is so difficult to prove whether a number is transcendental or algebraic. For example, it is now ...
2
votes
1answer
67 views

When is it mathematically correct to take a limit in certain expresions?

So now I managed to put together a couple of proofs, that each of them use a similar procedure in a crucial step, and I am not sure what are the requirements for this step to be true. First example: ...
1
vote
1answer
23 views

negation of a null sequence

I have that a sequence $\{a_n\}$ is null $\Leftrightarrow \forall \epsilon >0, \exists X$ such that $$|a_n| < \epsilon \ \forall n > X.$$ I want to give a definition when a sequence is not ...
2
votes
2answers
35 views

Proofs: Induction on Handsakes

Here is the problem: Suppose $n$ people are at a party, and some number of them shake hands. At the end of the party, each guest $G_i$, $1 \leq i \leq n$ shares that they shook hands $x_i$ times. ...
1
vote
2answers
39 views

An exercise problem in Axler Linear Algebra Done Right for linear mapping

So I have written down a proof but feel uncertain about whether it is valid or not, could somebody please Check it and, if there exists any gap, inform me? The question is the following (Chapter 3 ...
-1
votes
2answers
39 views

Set Theory Proof $A=B$ [closed]

Let $A$ be the set of all integers $x$ such that $x = 2k$ for some integer $k$ Let $B$ be the set of all integers $x$ such that $x = 2k+2$ for some integer $k$ Give a formal proof that $A = B$.
1
vote
2answers
40 views

Proof the statement

Given a finite aperiodic irreducible Markov Chain, prove that for some $n$ all terms of $P^n$ are positive. I'm little lost in how to prove that, but I know that: $i)$ If a Markov Chain is ...
1
vote
1answer
12 views

Confused about a quality of Existential Generalization and Instantiation

Let me preface the question with a "proof" $1. \exists yP(y) \quad Premise \\ 2. P(B) \quad \quad 1,E.I. \\ 3. \exists xP(x) \quad 2,E.G. $ However, I am not sure if it is to "safe" to say that ...
2
votes
1answer
16 views

Stochastic matrix proof

Every stochastic $n\times n$ matrix corresponds to a Markov chain for which it is the one-step transition matrix. However, not every stochastic matrix $n\times n$ is the two-step transition ...
2
votes
2answers
131 views

When does $i^x=x$

Can someone please help me solve $i^x=x$? So far I have: $$i^x=x$$ $$\frac{\ln(x)}{\ln(i)}=x$$ $$e^{i\pi}=-1$$ $$e^{i\pi/2}=i$$ $$\frac{\ln(x)}{\frac{i\pi}{2}}=x$$ $$\ln(x)=\frac{i x \pi}{2}$$ ...
0
votes
2answers
52 views

Prove there exists a bijective function $\left\{a,\cdots,b\right\}\rightarrow\left\{a+k,\cdots,b+k\right\}$ for $k\in\mathbb{N}$

I must prove that there exists a bijective function $\left\{a,\cdots,b\right\}\rightarrow\left\{a+k,\cdots,b+k\right\}$ for $k\in\mathbb{N}$ (this is not homework). This is the proof I've come up with ...
0
votes
1answer
20 views

Proving that a Binary Tree of $n$ nodes has a height of at least $\log(n)$.

For a homework assignment, I need to prove that a Binary Tree of $n$ nodes has a height of at least $log(k)$. I started out by testing some trees that were filled at every layer, and checking $log(n)$ ...
2
votes
2answers
29 views

Greatest common divisors equal?

Let $a,b$ be natural numbers. Show that $gcd(a^n,b^n)$ = ($gcd(a,b)^n)$ for any integer $n$. How I started was first proof by contradiction, and then tried to do an inductive proof when that didn't ...
2
votes
1answer
37 views

Parabolic range conditions proof

This problem is getting the better of me, since I have no idea where to start: The equation of a curve is $y=ax^2-2bx+c$, where a, b and c are constants with $a>0$. Given that the vertex of the ...
0
votes
1answer
36 views

Prove that $\{a_n\}$ is bounded [duplicate]

Let $\{a_n\}$ be a sequence an $L$ a real number such that $\lim_{n\to\infty} a_n = L$ Prove that $\{a_n\}$ is bounded This reminds me of the bounded monotone convergence theorem (BMCT) but in ...
-3
votes
1answer
50 views

Prove that $f(x)$ is continuous at $a$

Prove that $f(x)$ is continuous at $a$ $\iff$ for all sequences sequence $\{a_n\}$ with $\lim_{n\to\infty} a_n = a$, $\lim_{n\to\infty} f(a_n) = f(a)$ I have no idea how to start this. Should I use ...
0
votes
1answer
66 views

Two statements R and S are logically equivalent iff R $\iff$ S is a tautology.

How do prove the following statement: "Two statements R and S are logically equivalent iff R↔S is a tautology. without using a true table.Would I have to use cases? So far I have done so far is that ...
1
vote
3answers
171 views

Symmetric matrices and eigenvalues

If the eigenvalues of a symmetric matrix $A$ are greater than 0, show that $v^{\top}Av > 0$ for every $v \ne 0$ I am trying to prove this as follows: If $v$ is an eigenvector of $A$, then $Av ...
1
vote
4answers
46 views

How to use Cross Product Properites to do proof

How do I proceed with a proof for this question? Prove that: \begin{equation} (a \times b) \cdot (c \times d) = \begin{vmatrix} a \cdot c & b \cdot c \\ a \cdot d & b \cdot ...
0
votes
1answer
31 views

Proof the statements

Proof the statements below i)If $P(A)=0$ and $B$ is any event, then $A$ and $B$ are independents ii)If $P(A)=1$ and $B$ is any event, then $A$ and $B$ are independents iii)The events ...
0
votes
0answers
4 views

Boltzmann-Planck Entropy Formula

Hi guys I want to ask if anyones know the full proof of Boltzmann-Planck Entropy Formula S=klnW With Honors Dimitrios Gerontitis
4
votes
1answer
113 views

Is Alfred Tarski's Introduction to Logic still helpful for self study?

I am trying to setup a self study path to enhance my knowledge of mathematical logic. I haven't taken a logic course for a few years and my confidence on mathematical proofs is unnerving. I am ...
1
vote
1answer
43 views

Principle of well ordering

Every non-empty set $A\subset\mathbb{N}$ have a smallest element, i.e. an element $n_0\in A$ such that $n_0\leq n$ $\forall n\in\mathbb{A}$ Proof: Let $I_n=\{p\in\mathbb{N};p\leq n\}$ the set ...
1
vote
2answers
39 views

Logically Equivalance - Proofs

In terms of logical statements, is ($\exists$n $\in$ N)($\forall$ x $\in$ A)(nx >= 1) equal to ($\forall$x $\in$ A)($\exists$ n $\in$ N)(nx >= 1)? Also consider the following statements $\forall x ...
2
votes
2answers
53 views

Logical Statements - Proofs

Let $f$ be a real-valued function (a function with target space the set of reals). Let $P(x, M)$ stand for $|f(x)| \leq M $, let $N$ be the set of positive real numbers, and let $\mathbb{R}$ be the ...
0
votes
2answers
52 views

Is a proof by counterexample considered a proof by contradiction?

My question is already in the title. Let us look at some example. I would like to prove that a game $G(n,m,u)$ does not have a pure Nash equilibrium (PNE), for example. I did it like this: Suppose ...
0
votes
1answer
83 views

Seemingly simple logic question

I found this pleasant textbook on Proof Theory online and free: Introduction to Proofs, an Inquiry-Based approach To quote (page 9): 2.26 DEFINITION. A sequence $\langle x_0,x_1, . . . ...
1
vote
0answers
21 views

Rank of the sum of two rank 1 matrices, proof check

Claim: $(\forall u\in \mathbb{R}^2)$ $(\nexists(\delta,v)\in(\mathbb{R}, \mathbb{R}^2))$ such that $uu'+vv'=\delta \begin{pmatrix} 1 & 0\\0 & 0 \end{pmatrix}$. That is, for any vector $u$ of ...
0
votes
4answers
52 views

Logic, writing proof

i)Suppose that $x$ and $y$ are real numbers. Prove that if $x\neq 0$, then if $y=\frac{3x^2+2y}{x^2+2}$ then $y=3$ ii)Suppose that $x$ and $y$ are real numbers. Prove that if $x^2y=2x+y$, ...
0
votes
0answers
42 views

Principle of infinite descent

I'm trying to prove the following: "It is not possible to have a sequence of natural numbers which is in infinite descent. (Hint: assume for sake of contradiction that you can find a sequence of ...
2
votes
4answers
85 views

Non-standard model of $Th(\mathbb{R})$ with the same cardinality of $\mathbb{R}$

Let $\mathfrak{R}= ⟨\mathbb{R},<,+,-,\cdot,0,1⟩$ be the standard model of $Th(\mathbb{R})$ in the language of ordered fields. I need to show that there exists a (non standard) model of ...
2
votes
2answers
70 views

Number Theory- Mathematical Proof

I am trying to prove a theorem in my textbook using another theorem. What I need to show that if a,b, and c are positive integers, show that the least positive integer linear combination of a and b ...
0
votes
2answers
25 views

Prove that for all $x$, $y$ in $\mathbb{R}$ there exist $z$, $g$ such that $x = z + g$, $y = z - g$

if I want to prove the following: $\forall x, y \in \mathbb{R}\,\,\,\exists\,\,z, g : x = z + g, y = z - g$ Can the resolution of the following system act as a proof: $\begin{cases} x = z + g\\ y ...
4
votes
2answers
34 views

Check proof of some simple inequality

Can you check please my proof of this inequality? It's all right?
3
votes
1answer
45 views

Prove equality of Fibonacci sequence

Let $u(n)$ — the Fibonacci sequence. Prove that $$u(1)^3+...+u(n)^3=\frac{ 1 }{ 10 } \left[ u(3n+2)+(-1)^{n+1}6u(n-1)+5 \right].$$ I suppose we need prove that equality by iduction in $n$. ...
1
vote
0answers
13 views

Doob's submartingale stopping theorem in the context of the submartingale problem

Let $$X^\omega_f (t, w) = f(w(t)) - f(w(t \wedge \tau)) - \frac{1}{2} \int_{t \wedge \tau}^t \Delta f(w(s))\, ds$$ be a $P^\tau_\omega$-submartingale. 1) Why Doob's submartingale stopping theorem ...
0
votes
1answer
37 views

Proving an Iff Statement

Suppose we had a function defined over the complex numbers: $ f(x)= \begin{cases} 1&\text{if } x\in\mathbb{R}\\ 0&\text{if } x\not\in\mathbb{R} \end{cases} $ And we are asked to prove that ...
3
votes
3answers
63 views

Is it necessary and sufficient that $6$ divides $n^2$ for the positive integer $n$ to be divisible by $6$? [closed]

As the title suggests, is it a necessary and sufficient that $6$ divides $n^2$ for the positive integer $n$ to be divisible by $6$? Like, I understand the dictionary definitions of necessary and ...
7
votes
3answers
434 views

Some trouble with the induction

Prove, that for any positive integer $n \geqslant 2$ we have the inequality $$ \frac{ 4^n }{ n+1 } < \frac{ (2n)! }{ (n!)^2 }.$$ For $n=2$ the inequality is true. Directly just take and ...
0
votes
2answers
50 views

On proving $(f^{-1})'(b) = \frac{1}{f'(a)}. $ where $b = f(a)$.

Could somebody kindly provide a proof or a reference to a proof of this fact: Let $ I $ be an open interval, and suppose that $ f: I \to \mathbb{R} $ is one-to-one and continuous on $ I $. If $ f ...
1
vote
2answers
45 views

Proof in set theory

Let $A,B,C$ -- subsets in some fixed set. Prove that $A \cap B \subseteq C$ iff $A \subseteq \overline{B} \cup C$. Have no ideas how to prove this. On the language of definitions we have $$x ...
4
votes
2answers
99 views

Proof of determinant formula

I have just started to learn how to construct proofs. That is, I am not really good at it (yet). In this thread I will work through a problem from my Linear Algebra textbook. First i will give you my ...
1
vote
2answers
63 views

Proving that $\hat{x} = x$ in least square

I am trying to show that if $Ax=b$ has a unique solution $x$, then the least square solution $\hat{x}$ is the exact one (i.e., $\hat{x} = x$). My attempt: We know that for $A x = b$ to have an exact ...