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

11
votes
0answers
296 views

Papers with unorthodox writing style

I'm not sure if this is the right forum for this question, in any case probably CW is appropriate? I've been looking around the mathblogosphere for the past few weeks and ran into mathgen. It's ...
9
votes
0answers
376 views

Proof that $1729$ is the smallest taxicab number

For homework I have to produce the proof (algebraic or otherwise) to show that $1729$ HAS to be the smallest taxi cab number. A taxicab number means that it is the sum of two different cubes and can ...
9
votes
0answers
608 views

Cauchy-Formula for Repeated Lebesgue-Integration

Recently, I came across the following statements. They were annotated as consequences of Fubini's Theorem but neither proof nor reference were given. Let $f:[a,b]\times [a,b]\to\mathbb{R}$ be ...
6
votes
0answers
49 views

Let $G$ be a group, and $H$ a subgroup of $G$. Let $a, b \in G$. Prove $Ha=Hb$ iff $ab^{-1} \in H$.

Let $G$ be a group, and $H$ a subgroup of $G$. Let $a, b \in G$. Prove $Ha=Hb$ iff $ab^{-1} \in H$. $\rightarrow$ If $Ha=Hb$, then $h_1a=h_2b$ for some $h_1, h_2 \in H$. So, $ab^{-1} = ...
6
votes
0answers
171 views

My first proof that uses the well-ordering principle (very simple number theory). Please mark/grade.

What do you think about my first proof that uses the well-ordering principle? Please mark/grade. Theorem The sum of the cubes of three consecutive natural numbers is a multiple of 9. Proof ...
6
votes
0answers
393 views

Proof Strategy for a Dynamical System of Points on the Plane

I have a rather simple-looking system which exhibits a particular behaviour in simulation, and I would now like to attempt to prove this formally. The problem is, I don't really know where to start, ...
4
votes
0answers
50 views

Prove this congruence

Let $p$ be a prime of the form $4k+3$ and $m$ an even positive integer less than $p-1$. Prove that $$1^m+2^m+\cdots+\left(\frac{p-1}{2}\right)^m \equiv ...
4
votes
0answers
38 views

Another proof question for real analysis

Let $a, b, c \in \mathbb{R}$. Prove if $a + b = a$ then $b = 0$. Suppose that $a + b = a$. Then $a + b - a = a - a = 0 = b$ by the inverses law for addition. By the Identity law for addition it ...
4
votes
0answers
115 views

Proving u-substitution the hard way — use only definition of integration with partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $C^1$ on $(c,d)$. Then define ...
4
votes
0answers
75 views

Suppose $G=\{a_1,\dots a_n\}$ is a finite abelian group and $a^2\neq e$ for all nonidentity elements. What is the product $a_1a_2\dots a_n$?

Let $G$ be a finite abelian group such that for all $a \in G$, $a\ne e$, we have $a^2\ne e$. If $a_1, a_2, \ldots, a_n$ are all the elements of $G$ with no repetitions, what is the product $a_1 a_2 ...
4
votes
0answers
327 views

extension of Cauchy's Integral formula

This question is from Brown and Churchill's Complex Variables and Applications, 8ed., Section 52, Question 6. Let $f(s)$ denote a continuous function taken along a simple contour, $C$ enclosing a ...
4
votes
0answers
172 views

Easy proof of trivial fusion implies normal p-complement

Theorem: Suppose G is a finite group with Sylow p-subgroup P. Then the following are equivalent: The set K of elements of G of order relatively prime to p (the p′-elements) form a subgroup If A and ...
3
votes
0answers
37 views

Real analysis question: Suprema and Infima

Let $S$ be an ordered set with the $L.U.B$ Property, $S \supset B \neq \varnothing$, $B$ is bounded below. Write $L = \{ l : l \; \text{is a lower bound of } \; B \} $. Then, it follows that ...
3
votes
0answers
65 views

Let $G$ denote an arbitrary group. Prove: The center of any group $G$ is a normal subgroup of $G$

Let $G$ denote an arbitrary group. Prove: The center of any group $G$ is a normal subgroup of $G$ Let $G$ be a group and $C$ the center, i.e., for any $a \in C$ and any $x \in G$, $xa=ax$. So, ...
3
votes
0answers
53 views

Are there any positive integers $a, b, c, d$ such that both $(a, b, c)$ and $(b, c, d)$ are Pythagorean triples?

Pythagorean triple is a triple of integers $(a, b, c)$ such that $a^2+b^2=c^2$. Is there any Pythagorean triple such that, not only $a^2+b^2$, but also $b^2+c^2$ is a square number? If not, how to ...
3
votes
0answers
175 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. ...
3
votes
0answers
58 views

An undirected graph $G$ can be decomposed into simple edge-disjoint cycles if and only if all of its vertices have even degree.

Research effort: $\rightarrow)$ I think this is relatively easy. $\leftarrow)$ Let $G = (V,E)$, let $w$ be any vertex of $G$, given that all the vertex have even degree, I'm assured that I can ...
3
votes
0answers
81 views

Cauchy-Euler Equation of order $n$

What I wish to prove is that for a Cauchy-Euler equation of order $n$, the substitution $x=e^{t}$ transforms it into a linear differential equation with constant coefficients. To put it as a theorem: ...
3
votes
0answers
144 views

Prove $f_\infty: A_\infty \rightarrow B_\infty$ is a bijection

Update: I was given some hints at how to approach this problem $A_\infty $ and $B_\infty$ are sets, not maps. (which is strange because there are function definitions coming into play here) The ...
3
votes
0answers
96 views

My first simple direct proof (very simple theorem on real numbers). Please mark/grade.

What do you think about my first simple direct proof? What mark/grade would you give me? Besides, I am curious about whether you like the style. Theorem Let $I = [a,b]$ be a non-empty closed ...
3
votes
0answers
91 views

Proof for the form of characteristic polynomial

I'd like to proof: The caracteristic polynomial of $A \in M(n\times n, K)$ has the form: $P_A(\lambda) = (-1)^n \lambda^n + (-1)^{n-1} \operatorname{tr}(A)\lambda^{n-1} +\dots +\det(A)$ My proof ...
3
votes
0answers
155 views

Substitute Proof by Contradiction/Negation with Direct Proof or Proof by Contrapositive

When do proof by contradiction, or by negation, or direct proof, or proof by contrapositive all work equally well? When can any one be chosen as the proof form? I'm interested in a pragmatic answer ...
3
votes
0answers
95 views

Proofs involving Disjunctions [Velleman, Chapter 3.5]

$\Large{{1.}}$ Are proofs using strategies $P136, P143$ always easier than those using $P140$? In the former two, only one statement (either $P$ or $Q$) must be proven. In the latter, both $P$ and ...
3
votes
0answers
104 views

Interchange of finite sum with convergence sequences.

Hi everyone I'm wondering if the following proof is correct (to be honest at the beginning I have some troubles to understand what the sequences of the sums of convergent sequences has to be, but I ...
3
votes
0answers
80 views

A question on mathematical writing.

One of the problems I am grading this week is as follows: Given a simply connected bounded domain $\Omega$ on $\mathbb{R}^{2}$, prove that there exist a line that separates it into two parts of equal ...
3
votes
0answers
66 views

Is there a proof reading website where users can submit their problems and upload their proof documents to be reviewed?

I'm just looking for a proof reading website that would allow a user to post her/his problem to be proved and her/his scanned documents to their claimed proof to the problem. I was just about to post ...
3
votes
0answers
213 views

Proving identity involving sum

I'm stuck trying to prove the following identity: $$\displaystyle\sum_{i=j}^k\frac{(-1)^{i+j}{k+1 \choose i}{i \choose j}(4S-i-k-3)!(4S-2i-1)}{(4S-i-j-1)!} $$ $$=\frac{(-1)^{j+k}(4S-2k-3)!{k+1 ...
3
votes
0answers
196 views

Prove this equality in a Hilbert Space $H$ with Riesz's Representation Theorem.

For $x \in H$, prove that $\sup_{\|z\| = 1} \langle x , z \rangle= \| x \|$ Here is a quick one. If someone could improve this it would be great Proof By Cauchy Schwarz, $\langle x,z \rangle ...
3
votes
0answers
54 views

(DFM) vs (DFS) spaces, Banach scales

I have already posted this question on MO: http://mathoverflow.net/questions/126007/dfm-vs-dfs-spaces-banach-scales However, not having received any feedback, I decided to repost it, since I have the ...
3
votes
0answers
2k views

Proof of the sine rule

So I made my first attempt at a proof. I think it turned out well. Maybe not. But I was wondering if someone could take a look at it and tell me what they think. I'd be glad to hear some criticism on ...
3
votes
0answers
1k views

Prove that the set Aut(G) of all automorphisms of the group G with the operation of taking the composition is a group

Let $G$ be a group. Say what it means for a map $\varphi: G \rightarrow G$ to be an automorphism. Show that the set-theoretic composition $\varphi \psi = \varphi \circ \psi$ of any two ...
3
votes
0answers
324 views

The Lebesgue Criterion for Riemann Integrability — a proof without using the concept of oscillation.

I am trying to prove the Lebesgue Criterion for Riemann Integrability without using the concept of oscillation. The Lebesgue Criterion for Riemann Integrability states that if $ f: [a,b] \to ...
3
votes
0answers
233 views

Transcendence of $e$ (proof)

I'm trying to get through the proof of transcendence of $e$ (the base of the natural logarithm) already for a couple of days, but now I got seriously stuck. Proof is in most sources roughly the same. ...
3
votes
0answers
84 views

Solving inequalities by creating a function.

I have noticed a few answers involving inequalities proven by creating a function comprised of the terms in the inequality. I hadn't seen this before and was wanting to know more about how to use it. ...
3
votes
0answers
490 views

Is it possible to use inversion to solve this USAMO problem in 2007?

I've no previous experience to solve any problems by inversive geometry but I am willing to see how it works. But I think I know some of the basic definition about inversion in geometry. Also I expect ...
3
votes
0answers
146 views

Do mathmatician ever prove that a theorem could not generalize into a much general theorem? Is there a historic mile stone example?

Do mathmatician ever prove that a theorem could not generalize into a much general theorem? Is there a historic mile-stone example refer to the above question?
2
votes
0answers
68 views

A more detailed, rigorous proof that a suspension space is not necessarily contractible

Is my answer/proof correct? Please help me make my proof more rigorous and detailed. I need everything to be absolutely clear. Question: Let $X$ be a topological space. The suspension of $X$, ...
2
votes
0answers
42 views

Assuming a Solution Exists

Students who are beginning to learn proofs (and some seasoned pros) occasionally commit the error of assuming what they're trying to prove. My question involves assuming at the onset that a solution ...
2
votes
0answers
15 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 ...
2
votes
0answers
31 views

Prove the big theta

I need to find a $n_0$ and $k$ for Big Oh and an $n_0$ and $k$ for Big Omega, to find a big theta bound for: $5n^2 - 9n = \theta(n^2)$ Can anyone help me and show me how to find these for this ...
2
votes
0answers
43 views

Difficulty understanding proof approach for a simple theorem.

I am new to rigorous math and so I have difficulties proving a rather simple looking theorem. The thing is I am not sure whether my work qualifies for a valid proof. Below you can see what I've done ...
2
votes
0answers
51 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
0answers
61 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
38 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 ...
2
votes
0answers
21 views

Set with relative complement forms partition

Prove that if $S$ is a set and $ \emptyset \subsetneq A \subsetneq S $ then $\Pi = \{A , S-A \}$ is a partition of $S$. Proposed Solution: Since $ A \subsetneq S$ , we have $S - A \neq ...
2
votes
0answers
76 views

Simple Proofs in ZFC Set Theory

So I'll keep this real short and simple. In this document on page 23 there is a list of axioms. On page 24 there is a list of theorems that come from said axioms. I can prove them all except 3 and 5. ...
2
votes
0answers
49 views

Velleman's How to prove it. Partial order proof.

Theorem: Suppose that $R$ is a partial order on $A$, $B_1 ⊆ A$, $B_2 ⊆ A$, $x_1$ is the least upper bound of $B_1$, and $x_2$ is the least upper bound of $B_2$. Prove that if $B_1 ⊆ B_2$ then ...
2
votes
0answers
72 views

Proof regarding derivatives and Mean Value Theorem.

Original question: $f$ is continuous on $[a,b]$ and differentiable on $(a,b)$. Show that for any $c \in (a,b)$ that is not a point of maximum or minimum for $f'$, there exist $x_1, x_2 \in (a,b)$ ...
2
votes
0answers
118 views

Can you share your experience in hand waving and other informal communication regarding mathematical proofs?

I intend to write a paper that will address among other issues the informal communication between mathematicians. My point of origin is the view that every proof can be represented by a sequence of ...
2
votes
0answers
96 views

Proof of uniform continuity on compact sets

Show that a function $f:\mathbb{R} \rightarrow \mathbb{R}$ that is continuous on a compact set $K$ is uniformly continuous on $K$. Is the proof below correct? Proof: Let $\epsilon > 0$ and let ...