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

0
votes
1answer
56 views

Check my proof by contradiction…

The question is to prove the following by contradiction. There does not exist a smallest positive non-zero rational number. What I tried... There does exist a smallest positive non-zero rational ...
2
votes
6answers
144 views

Proving that $\int \frac{1}{x} \mathrm dx = \ln(|x|) + C_1$

In all textbooks and online notes, there is always a table of antiderivatives and it always says $\int \frac {1}{x} \mathrm dx = \ln(|x|)+C_1$ but there is nowhere a proof. I found some proofs online ...
3
votes
3answers
69 views

Group of even order must contain $a:a=a^{-1}$ $ (a\not = e)$ [duplicate]

Let $G$ be a finite group. If the order of $G$ is even, prove that there is at least one element $a$ in $G$ such that $a\not= e$ and $a=a^{-1}$. Here's my idea: Suppose $\{x_1,\cdots,x_n\}$ is ...
2
votes
1answer
46 views

Vector spaces - Multiplying by zero vector yields zero vector.

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. The following proof is solely based on vector space axioms. Axiom ...
1
vote
0answers
39 views

Vector spaces - Multiplying by $-1$ yields inverse element of vector addition.

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. The following proof is based on vector space related axioms. Axiom ...
0
votes
1answer
20 views

How to show a triple represents all possible selections?

Let $Y=\{y_1, y_2, y_3,y_4,y_5\}$ Then, the choices of selecting 3 objects (repetitions allowed) from $Y$ can be represented by the triple $(y_{i_1},y_{i_2},y_{i_3})$ where $i_1 \le i_2 \le i_3$. Is ...
0
votes
1answer
41 views

How to prove a function from a set of triples to $\mathcal{P}_3(\mathbb{N}_7)$ is a bijection?

Let $Y=\{y_1, y_2, y_3, y_4,y_5\}$ The function from the set of triples $(y_{i_1},y_{i_2},y_{i_3})$ where $i_1 \le i_2 \le i_3$ to $\mathcal{P}_3(\mathbb{N}_7)$ is a bijection given by ...
0
votes
0answers
21 views

proof of log-sum giving maximum value given equality constraint

How to prove the following equation: $$ -\log\sum_{k=1}^K f_k=\min_{\bf{u}}-\sum_{k=1}^K u_k \log(f_k) +\sum_{k=1}^K u_k \log(u_k)\\ s.t.\ u_k \in (0,1), \sum_k u_k=1 $$ using Lagrangian multiplier? ...
2
votes
1answer
66 views

Prove $ x^n-1=(x-1)(x^{n-1}+x^{n-2}+…+x+1)$

So what I am trying to prove is for any real number x and natural number n, prove $$x^n-1=(x-1)(x^{n-1}+x^{n-2}+...+x+1)$$ I think that to prove this I should use induction, however I am a bit stuck ...
1
vote
1answer
31 views

Induction proof for continued fractions

Recently while preparing for a maths test, I got this question in a book: Let $a(n) = 3 + \cfrac{1}{3+\cfrac{1}{3+\cfrac{1}{3+\cdots }}}$ till $n$ terms. Prove that $a(n) \cdot a(n-1)=3a(n-1)+1$ ...
2
votes
1answer
33 views

Writing up a rigorous solution for finding a basis for the $n \times n$ symmetric matrices.

I am aware that a similar question has been asked here, among other questions, but I feel that my question is different because I am actually trying to write up a very rigorous proof that such a set ...
2
votes
2answers
52 views

Writing solutions of inequalities: $3<x$ versus $x>3$

My son wrote a solution to a number line graph as 3 < x instead of what his teacher said was the correct answer of x > 3. When he brought his paper back in to bring it up he was told that the ...
0
votes
0answers
39 views

Proof Strategy: Induction Summation of Series

Let $P(n)$ be the following statement: $$\sum\limits^{n}_{i=0}r^i = \dfrac{1-r^{1+n}}{1-r}\text{ for all }n \in \mathbb{N}\text{.}$$ I am stuck at the base case: $$P(1):1 + r = ...
0
votes
1answer
28 views

Infinite Wilson Prime proof

An article I read recently about Wilson Primes stated that, while 5, 13, and 563 are the only known terms, there is an infinite number of Wilson Primes. I was wondering if someone could verify this ...
0
votes
1answer
28 views

Prove that for any $\{x_{m_k} \}\in I_n$, where $I_n$ are dyadic intervals, $\lim_{n \to \infty} x_{m_k} =c$

Proving for any $\{x_{m_k} \}\in I_n$ that:$$\lim_{n \to \infty}\{x_{m_k} \}=c$$ I have been trying to solve this problem, but i dont know how to write it properly, so i need your help whit ...
0
votes
1answer
26 views

Help for understanding Danielson-Lanczos lemma

The Danielson-Lanczos lemma is the basis for fast Fourier transform algorithms. Now, I do understand this step $\displaystyle X_{k} = \sum_{n=0}^{N-1} x_{n}\omega^{kn}_{N} = \sum_{n=0}^{(N/2)-1} ...
0
votes
2answers
40 views

Formal Proof: P(A∩B'∩C') = P(A) - P(A∩B) - P(A∩C) + P(A∩B∩C)

I'm trying to prove the following: $\newcommand{\P}{\operatorname{\bf P}}\P(A\cap \overline{B}\cap\overline{C}) = \P(A) - \P(A\cap B) - \P(A\cap C) + \P(A\cap B\cap C)$ I can explain it with a venn ...
1
vote
3answers
52 views

Formal proof of $\lim_{x\to a}f(x) = \lim_{h\to 0} f(a+h)$

$$ \lim_{x\to a} f(x) = \lim_{h\to 0} f(a+h) $$ How do I write a formal proof of it?
0
votes
0answers
28 views

Proof that the $sqrt[k]{z}\, z \in \mathbb N$ counts the amount of numbers less than or equal to z with a $k-$exact power

Empirically, it can shown that $$\mathrm{Floor}[\sqrt[k]{z} ] \,, z \wedge k\in \mathbb N $$ is equal to the amount of numbers which have a $k-$exact root. For example, $\sqrt 36 = 6$ means that there ...
2
votes
0answers
44 views

How to model a real-world graphical structure into a mathematical formulation?

I am trying to learn how to model programming problems in a mathematical way. I am a software engineer, but have recently been running into road blocks where I can't solve some problems very ...
2
votes
0answers
35 views

Proof of Gersgorin Discs Theorem

I have a question about the proof of Gersgorin Theorem from the book Matrix Analysis by Horn & Johnson. The Theorem states that for any $A\in \mathbb{C}^{n \times n}$ 1) all eigenvalues are ...
0
votes
2answers
161 views

Help showing that every walk of length $k$ from $x$ to $y$ in a graph is a path.

If I were to suppose $x$ and $y$ are two vertices in the same connected component of a graph, and let $k$ be the distance between them, how would I prove that every walk of length $k$ from $x$ to $y$ ...
0
votes
1answer
29 views

How to handle a function from a set of functions to another set of functions?

Given sets $X$ and $Y$ we denote the set of functions from $X$ to $Y$ by $\text{Fun}(X,Y)$. Let: $k,n \in \mathbb{Z}^+$ $X_1 = \{x_1,x_2\dots, x_{k+1}\}$ $Y = \{y_1, y_2, \dots , y_n\}$ Then, ...
3
votes
0answers
86 views

Vector spaces - Multiplying by zero scalar yields zero vector

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. The following proof is solely based on vector space related axioms. ...
4
votes
1answer
49 views

Vector spaces - If an addend adds nothing, then the addend is the zero vector.

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. With one exception, the following proof is solely based on vector ...
1
vote
0answers
31 views

Another proof of uniqueness of identity element of addition of vector space

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. The following proof is solely based on vector space axioms. Axiom ...
4
votes
4answers
82 views

Construction of an equilateral triangle from two equilateral triangles with a shared vertex

Problem Given that $\triangle ABC$ and $\triangle CDE$ are both equilateral triangles. Connect $AE$, $BE$ to get segments, take the midpoint of $BE$ as $O$, connect $AO$ and extend $AO$ to $F$ where ...
3
votes
5answers
348 views

Proof of uniqueness of identity element of addition of vector space

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. Proof of uniqueness of identity element of addition of vector space ...
0
votes
3answers
41 views

How to write $a|b \wedge ((a=0 \wedge b=0) \vee (a\ne0 \wedge b\ne0))$

How can I write the expression $$a|b \wedge ((a=0 \wedge b=0) \vee (a\ne0 \wedge b\ne0))$$ concisely and clearly in English? A direct translation yields $a$ divides $b$ and either {$a$ and $b$ ...
1
vote
1answer
26 views

To prove these sets are equal without using modulo arithmetic.

Prove $\{3t : t \in \mathbb Z\} \cup \{3t + 1 : t \in \mathbb Z\} \cup \{3t + 2 : t\in \mathbb Z\} = \mathbb Z.$
1
vote
1answer
67 views

Odd town Even town explanation.

I am struggling to understand the solution to the following problem: If $\mathcal F\subset 2^{[n]}$ such that for each $F_1$ and $F_2$ in $\mathcal F$ we have $|F_1|,|F_2|\equiv 1 \bmod 2$ and ...
0
votes
1answer
33 views

How prove that $|QA| < |QC|$ in triangle?

$ABC$ is a triangle with a right angle at $A$, and $|AB|$ > $|AC|$. The point $D$ is defined so that $BCD$ is equlateral and $AD$ intersects $BC$ at $P$. The point $Q$ is defined so that $QDP$ is ...
1
vote
1answer
34 views

For what k is $\mathcal{M}_{m \times n}$ isomorphic to $\mathbb{R}^{k}$?

For what k is $\mathcal{M}_{m \times n}$ isomorphic to $\mathbb{R}^{k}$ ? I get a feel but am unable to prove it.
4
votes
1answer
78 views

How show that $ABC$ is equilateral?

Let $D$, $E$ and $F$ be three points on sides $BC$,$AC$ and $AB$ of triangle $ABC$ such that lines $AD$, $BE$ and $CF$ concur at point $M$. If three trianles $MDB$, $MCE$ and $MAF$ have equal areas ...
3
votes
1answer
18 views

Proof About Point and Triangles

Suppose we are given $n$ points in a plane, where $n\ge 4$ and no 3 of the points are collinear. If $k$ distinct triangles are designated with vertices among the $n$ points, show that no more than ...
1
vote
1answer
43 views

How prove that $AD>BE$ in triangle?

Let $D$ be a point on the side $BC$ of a triangle $ABC$ such that $AD>BC$ . The point $E$ on $CA$ is defined by the equation $\frac{AE}{EC}=\frac{BD}{AD-BC}$ .How prove that $AD>BE$?
0
votes
1answer
32 views

How to prove $|q|\ge 1 \Rightarrow |a|\ge |d|$?

Let $a,d,q \in \mathbb{Z}$ and $a=dq$ How do I show that $|q| \ge 1 \Rightarrow |a| \ge |d|$? I've tried: $|q|\ge 1 \Rightarrow (q>1 \text{, if } q>0) \text { or } (-q>1 \text{, if } ...
0
votes
2answers
59 views

Prove intersection of open balls is another open ball

I was wondering how I would prove that an intersection of two open balls is also another open ball. The definition I have of an open ball is: If x $\in X$ and $\epsilon > 0$, $B_{\epsilon}(x) :=$ ...
2
votes
4answers
73 views

Is this a valid proof for the existence of a rational number between any two real numbers?

Given $a, b \in \mathbb R$ with $a<b$, prove that there exists some $r \in \mathbb Q$ such that $a<r<b$. Before I prove the main statement, there's a lemma I'd like to prove: Lemma ...
0
votes
2answers
35 views

Trying to disprove a statement - some partial working included

I am trying to find a counter example to show that the statement below is false, but I am having difficulty in trying to find a reasonable argument. Here is the statement: $n^2-12n + 35 \geq 0$ for ...
0
votes
3answers
85 views

Prove $x^2=t$ for any $t>0$ [duplicate]

Prove for any positive number $t$, there is a solution for $x^2=t$. So we want to show that $x^2=t$ for $t\geq0$. We can break this into two cases: Case 1: Assume $t=0$, then we have $x^2=0$ ...
2
votes
2answers
57 views

Surjectivity of a piecewise function $f:(-1,1)\to \mathbb R$

Function $f$ is defined as $f: (-1, 1) \to \mathbb{R}$. $$ f(x) = \begin{cases} -x/(x-1),&x\geq 0 \\ x/(x+1),&x \leq 0 \end{cases} $$ Let $y \in \mathbb{R}$. How would I prove that there ...
4
votes
1answer
76 views

The “converse” of $P\rightarrow(Q\rightarrow R)$

As everyone know, even when reading mathematics books, a paragraph written in natural language contains much more information than just its purely logical translation. For my next tutor session, I am ...
0
votes
1answer
55 views

Prove that a function is continuous at x =0

I need to prove that $f$ continuous at $(x)=0$ using a $\epsilon$- proof $$ f(x) = \begin{cases} x/(1-x),&x\geq 0 \\ x/(1+x),&x \leq 0 \end{cases} $$ So this is what I have so far: Let ...
1
vote
3answers
41 views

Help with proof of contrapositive of well-ordering principle

Prove by induction on $n$ that if $A$ is a set of positive integers without a least element, then $\mathbb{N}_n \subseteq \mathbb{Z}^+ - A$ for every $n$ so that $A$ is the empty set. I don't ...
0
votes
0answers
31 views

Differentiability and $L^1, L^2$ spaces

If $f\in L^1(\mathbb{R})$ then $\frac{d}{dx}\{f(x)\}\in L^1(\mathbb{R})$ where we have given that $f$ is of compact support.
2
votes
2answers
47 views

Proof of multiplicative inverse for polar complex numbers [duplicate]

Use the polar form of complex numbers to show that every complex number $z\neq0$ has multiplicative inverse $z^{-1}$. If $z=a+bi$, then the polar form is $z=r(\cos(\alpha)+i\sin(\alpha))$. I can do ...
0
votes
0answers
46 views

Prove that a defined function g is continuous for a certain point

Consider the set of rational numbers $\mathbb{Q}$ equipped with the subspace topology inherited from $\mathbb{R}$. Let $c \in \mathbb{R}$. Define the function $g_{c}: \mathbb{Q} \to \mathbb{Q}$ via: ...
1
vote
3answers
45 views

Proof for complex numbers and square root

Use the polar form of complex numbers to show that every complex number $z\neq0$ has two square roots. I know the polar form is $z=r(\cos(\alpha)+i \sin(\alpha))$. I'm just not sure how to do this ...
1
vote
2answers
58 views

Use polar complex numbers to find multiplicative inverse

Use the polar form of complex numbers to show that every complex number $z\neq0$ has multiplicative inverse $z^{-1}$. If $z=a+bi$, then the polar form is $z=r(cos(\alpha))+i(sin(\alpha))$. I can do ...