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
0answers
122 views

Similar Triangles Proof - How to tackle proofs?

Well, I know it is repetitive.I have read the proof from different textbooks.But sometimes I feel doubtful about it all.Every time I try to prove it for myself, I fail at some points.I'm asking those ...
0
votes
2answers
21 views

Prove if $g \circ f$ is $1-1$ and $f$ is onto, show that $g$ is $1-1$

Let $f: A \rightarrow B$ and $g: B \rightarrow C$. $g \circ f: A \rightarrow C$. But where do I use the fact that $f$ is onto?
0
votes
0answers
49 views

Check proof of union of denumerable sets is denumerable too

I need to prove: If $A$ and $B$ are denumerable sets then so is their union $A\cup B$. In this case, denumerable is defined as: A set $X$ is said to be denumerable if there is a bijection ...
1
vote
1answer
32 views

Help with proof in complex analysis

I was looking at the proof of the result, the image of $\mathbb R_\infty$ under mobius transformation is a circle. I don't follow how does this step $(a\bar d-\bar bc)w+(b\bar c-\bar ad)\bar w+b\bar ...
2
votes
2answers
111 views

Proof - Inverse of linear function is linear

This is my first proof related to linear functions. It refers to the linear-algebra-$\textit{linear}$ (not the calculus-$\textit{linear}$). Please comment. Theorem The inverse of a linear bijection ...
0
votes
1answer
62 views

My first proof related to subspaces (vector spaces). Please comment.

What do you think about my first proof which deals with subspaces? Theorem An intersection of subspaces is a subspace. Preliminaries Corresponding to the notation in Wikipedia, symbols for vectors ...
1
vote
4answers
38 views

Induction Proof: $\sum_{k=1}^{n}\frac{a-1}{a^k}=1-\frac{1}{a^n}, a \ne 0$

I'm having trouble showing equality for the $A(n+1)$ portion of the proof. Prove by Induction: $$\sum_{k=1}^{n}\frac{a-1}{a^k}=1-\frac{1}{a^n}, a \ne 0$$ Base Case $(n=1)$: ...
5
votes
3answers
230 views

Proof of $x*0=0$ is invalid?

My professor told me today that while my logic was good and all my steps after the assumption were correct, my argument was invalid because I was assuming what I want to prove. I don't see how. ...
3
votes
2answers
230 views

Checking understanding on proving uniqueness of identity and inverse elements of a group.

Sorry for such a trivial question, but just wanted to check my understanding. When proving a statement, for example, that the inverse of a group element is unique (in elementary group theory) one ...
3
votes
3answers
95 views

How to prove that a set is infinite iff it is Dedekind infinite?

I need to prove the following: A set $X$ is infinite if and only if it is equipotent to a proper subset of itself Here, $X$ is defined to be infinite if $|X|$ is not a non-negative integer or ...
0
votes
2answers
99 views

Fields - Proof that every multiple of zero equals zero

This is one of my first proofs about fields. Please feed back and criticise in every way (including style and details). Let $(F, +, \cdot)$ be a field. Non-trivially, $\textit{associativity}$ implies ...
15
votes
16answers
2k views

Beautiful, simple proofs worthy of writing on this beautiful glass door [closed]

What are some of the more beautiful proofs you know? I am measuring beauty in two dimensions -- first, how conceptually elegant is it and second, how aesthetically pleasing is it. Context: I work ...
0
votes
2answers
57 views

Proving injective (1-1) using contrapositive

Given function $f:\mathbb Z \to \mathbb Z$ defined by $f(n) = n - 6$ $\mathbb Z$ in this case is the set of integers. Suppose for $x_1$, $x_2 \in \mathbb Z$, we have $f(x_1) = f(x_2)$. This means ...
3
votes
1answer
204 views

Proof that group is commutative if every element is its inverse (feedback wanted)

This is one of my first proofs about groups. Please feed back and criticise in every way (including style & language). Axiom names (see Wikipedia) are italicised. $e$ denotes the identity element. ...
1
vote
1answer
93 views

Verify my proof: If $X$ is infinite, then there exists $f: \mathbb{N} \rightarrow X$ such that $f$ is injective.

Proposition: If $ X $ is infinite, then there exists $ f: \mathbb{N} \rightarrow X $ such that $f$ is injective. Proof: Define $X$ as a infinite set, i. e., there does not exist $ g: [k] \rightarrow ...
3
votes
1answer
94 views

Groups - Prove that every element equals inverse of inverse of element

This is my first proof about groups. Please feed back and criticise in every way (including style & language). Axiom names (see Wikipedia) are italicised. We use $^{-1}$ to denote inverse ...
-1
votes
5answers
106 views

How would I show that R is an equivalence relation?

If I were to consider the relation R on ℤ defined by n R m if and only if P(n)=P(m). How would I show that R is an equivalence relation? Any help is appreciated.
3
votes
3answers
53 views

Direct proof and contradicttion

If a statement has direct proof, it can not be proved by contradiction. Is it true? I want to know if a question has direct proof: can we once again prove by contradiction method too?
2
votes
2answers
110 views

How to show that an infinite decimal is equal to a unique real number?

I don't understand how the proof above shows that two distinct real numbers correspond to different infinite decimal. All I got out of the explanation is given any two distinct real numbers $a$ and ...
0
votes
3answers
55 views

How to conclude $|a|<|b|$ from $a<\frac{b^2}{a} \text{ and } \frac{a^2}{b}<b$? (Direct Proof)

The original question is to prove that for all real numbers $a$ and $b$, $a^2 < b^2 \Rightarrow |a| < |b|$. I was able to easily prove this by proving that its contrapositive, $|a|\ge|b| ...
1
vote
5answers
582 views

The set of all finite subsets of the natural numbers is countable

Could someone verify my proofs? Proposition: the set of all finite subsets of $\mathbb{N}$ is countable Proof 1: Define a set $ X=\{A\subseteq\mathbb{N}\mid \text{$A$ is finite} \}$. We can have a ...
1
vote
3answers
67 views

Explanation for the number of partitions of $\{1,\dots,n\}$ into $k$ parts

A partition of the set $\{1, 2, . . . , n\}$ into $k$ parts is a way of writing the set as a disjoint union of $k$ subsets. For example $\{1, 2, 3, 4, 5\} = \{1, 4\} \cup\{2, 3\} \cup \{5\}$ is a ...
2
votes
0answers
60 views

IS this proof by induction of the hand shake lemma correct?

Proof by induction that the sum of degrees of vertexes in an undirected graph equals two times the number edges, where $V$ is the set of vertexes and $E$ is an edge multiset: $$\sum_{v ∈ V} deg(v) = ...
2
votes
3answers
84 views

Directly prove that $2x^2 -4x + 3 > 0$ for all real $x$

I'm asked (for homework which isn't graded but instead the basis of a quiz) to directly prove that $2x^2 -4x + 3 > 0$ for all real $x$. I am VERY new to proofs. The textbook's only example is a ...
1
vote
1answer
47 views

Do you paragraph a proof?

When writing out a proof of moderate length, i.e. a proof taking less than or equal to 5 A4 papers and with normal spacing (please avoid asking the criterion for "normal"), do you tend to paragraph it ...
7
votes
1answer
149 views

Handwaving gone wrong

My motivation for this question is twofold: On one hand, I'm studying algebraic topology, where - at least in the book written by Hatcher - there is quite a lot of handwaving (e.g. maps are continous ...
0
votes
0answers
30 views

Subset of a finite set is finite: base step

We can prove by induction that any subset of a finite step is finite. But I am confused by the step "Observe first that all subsets of $\emptyset$ and $\mathbf I_1$ are finite", which I think is the ...
0
votes
2answers
68 views

Proving the arithmetic mean equals the geometric mean when $a=b$.

Arithmetic mean $a,b \in \mathbb R$ is $A(a,b)=\frac{a+b}{2}$ Geomtric mean $a,b \in\left[0,\infty\right]$ is $G(a,b)=\sqrt{ab}$ I'm trying to prove that $G(a,b)=A(a,b)$ if and only if $a=b$. ...
1
vote
1answer
405 views

Maximum and average number of inversions in array by induction

Just for your information, an inversion in an array $a$ is any ordered pair of points $(i, j)$ where $i < j$ and $a_i > a_j$. I can prove the maximum and average number of inversions in an ...
0
votes
2answers
116 views

The maximum no. of edges in a DISCONNECTED simple graph…

... on n vertices when it is not connected being equal to (1/2)(n - 1)(n - 2)... I can see that for n = 1 & n = 2 that the graphs have no edges... however I don't understand how to derive this ...
0
votes
1answer
66 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 ...
3
votes
6answers
178 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 ...
2
votes
1answer
280 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
63 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
24 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 ...
1
vote
1answer
45 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
36 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
91 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
66 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
44 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
61 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 ...
1
vote
2answers
69 views

Proving the geometric series $\sum_{i=0}^n r^i = \frac{1-r^{n+1}}{1-r}$ by induction for $n\geq 1$

Let $P(n)$ be the statement $$ P(n) : \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
58 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
36 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
35 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
46 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
63 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
39 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
73 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
43 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 ...