For questions about approaches and techniques for discovering a proof, as opposed to writing it down clearly (which involves (proof-writing)). Should not be used unless the focus is on the technique of the proof instead of the solution.

learn more… | top users | synonyms

68
votes
9answers
6k views

Why do mathematicians sometimes assume famous conjectures in their research?

I will use a specific example, but I mean in general. I went to a number theory conference and I saw one thing that surprised me: Nearly half the talks began with "Assuming the generalized Riemann ...
65
votes
1answer
4k views

How to determine with certainty that a function has no elementary antiderivative?

Given an expression such as $f(x) = x^x$, is it possible to provide a thorough and rigorous proof that there is no function $F(x)$ (expressible in terms of known algebraic and transcendental ...
60
votes
9answers
2k views

Problems that become easier in a more general form.

When solving a problem, we often look at some special cases first, then try to work our way up to the general case. It would be interesting to see some counterexamples to this mental process, i.e. ...
56
votes
15answers
8k views

Prove if $n^2$ is even, then $n$ is even.

I am just learning maths, and would like someone to verify my proof. Suppose $n$ is an integer, and that $n^2$ is even. If we add $n$ to $n^2$, we have $n^2 + n = n(n+1)$, and it follows that ...
54
votes
7answers
9k views

Lesser-known integration tricks

I am currently studying for the GRE math subject test, which heavily tests calculus. I've reviewed most of the basic calculus techniques (integration by parts, trig substitutions, etc.) I am now ...
51
votes
16answers
3k views

Rigour in mathematics

Mathematics is very rigorous and everything must be proven properly even things that may seem true and obvious. Can you give me examples of conjectures/theories that seemed true but through rigorous ...
51
votes
5answers
6k views

Getting better at proofs

So, I don't like proofs. To me building a proof feels like constructing a steel trap out of arguments to make true what you're trying to assert. Oftentimes the proof in the book is something that I ...
49
votes
3answers
10k views

Proof by contradiction vs Prove the contrapositive

What is the difference between a "proof by contradiction" and "proving the contrapositive"? Intuitive, it feels like doing the exact same thing. And when I compare an exercise, one person proves by ...
47
votes
1answer
2k views

Is Lagrange's theorem the most basic result in finite group theory?

Motivated by this question, can one prove that the order of an element in a finite group divides the order of the group without using Lagrange's theorem? (Or, equivalently, that the order of the group ...
46
votes
7answers
6k views

Prove every odd integer is the difference of two squares

I know that I should use the definition of an odd integer ($2k+1$), but that's about it. Thanks in advance!
46
votes
13answers
3k views

Pseudo Proofs that are intuitively reasonable

What are nice "proofs" of true facts that are not really rigorous but give the right answer and still make sense on some level? Personally, I consider them to be guilty pleasures. Here are examples ...
42
votes
7answers
2k views

Could I be using proof by contradiction too much?

Lately, I've developed a habit of proving almost everything by contradiction. Even for theorems for which direct proofs are the clear choice, I'd just start by writing "Assume not" then prove it ...
42
votes
2answers
1k views

Is it possible to prove a mathematical statement by proving that a proof exists?

I'm sure there are easy ways of proving things using, well... any other method besides this! But still, I'm curious to know whether it would be acceptable/if it has been done before?
40
votes
13answers
3k views

Is there such a thing as proof by example (not counter example)

Is there such a logical thing as proof by example? I know many times when I am working with algebraic manipulations, I do quick tests to see if I remembered the formula right. This works and is ...
39
votes
7answers
2k views

When working proof exercises from a textbook with no solutions manual, how do you know when your proof is sound/acceptable?

When working proof exercises from a textbook with no solutions manual, how do you know when your proof is sound/acceptable? Often times I "feel" as if I can write a proof to an exercise but most ...
37
votes
20answers
8k views

Proof that $\sum\limits_{k=1}^nk^2 = \frac{n(n+1)(2n+1)}{6}$?

I am just starting into calculus and I have a question about the following statement I encountered while learning about definite integrals: $$\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}$$ I really ...
36
votes
2answers
7k views

What is the proper way to study (more advanced) math?

Here's what happens. I get stuck on some proof or some mathematical construction and I end up staring at the problem for hours, sometimes not making any progress. I do this because sometimes I think ...
35
votes
6answers
3k views

How to learn from proofs?

Recently I finished my 4-year undergraduate studies in mathematics. During the four years, I've met all kinds of proofs. Some of them are friendly: they either show you a basic skill in one field or ...
33
votes
1answer
2k views

A proof of the Isoperimetric Inequality - how does it work?

Here is a nice proof of the isoperimetric inequality (equality part ommited): Isoperimetric Inequality If $\gamma$ is any simple closed piecewise $C^1$ curve of length $l$, with it's interior having ...
32
votes
5answers
2k views

Examples of “Non-Logical Theorems” Proven by Logic

I am still an undergraduate student, and so perhaps I just haven't seen enough of the mathematical world. Question: What are some examples of mathematical logic solving open problem outside of ...
31
votes
5answers
3k views

Is it okay to reverse engineer proofs in homework questions?

In a linear algebra text book, one homework question I received was: Prove that $\mathbf{a \cdot b} = \frac{1}{4}(\|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2)$. Where $\mathbf{a}$ and ...
30
votes
4answers
6k views

Prove that $i^i$ is a real number

According to WolframAlpha, $i^i=e^{-\pi/2}$ but I don't know how I can prove it.
30
votes
3answers
473 views

Constructing $\mathbb N$ from the set of factorials

Let S be the set $\{0!, 1!, 2!, \ldots\}$. Is it possible to construct any positive integer using only addition, subtraction and multiplication, and using any element in S at most once? For example: ...
30
votes
6answers
1k views

What is an efficient nesting of mathematical theorems?

Various mathematical areas of research evolved from a wide and diverse range of questions. Many are physical in nature or come from informatics/computer science, some are procedural or optimization ...
29
votes
10answers
4k views

Rational + irrational = always irrational?

I had a little back and forth with my logic professor earlier today about proving a number is irrational. I proposed that 1 + an irrational number is always irrational, thus if I could prove that 1 + ...
29
votes
7answers
1k views

Must we use induction to prove a statement for all integers

This question is prompted by a remark from Bill Dubuque in his answer to this question on proving a particular sum without using mathematical induction. From Bill's answer: A proof that a ...
29
votes
6answers
2k views

Bag of tricks in Advanced Calculus/ Real Analysis/Complex Analysis

I am studying for an exam and I have been studying my butt off during the winter break for it. During the course of my study I have written down quite a number of tricks, which in my opinion were ...
29
votes
4answers
1k views

Run away from lions in a cage

I came across an interesting problem: There is a round cage and you are in it. Also two lions are in this cage too. The start position is that the distance between you and both lions is the ...
26
votes
12answers
4k views

Prove that a counterexample exists without knowing one

I strive to find a statement $S(n)$ with $n \in N$ that can be proven to be not generally true despite the fact that noone knows a counterexample, i.e. it holds true for all $n$ ever tested so far. ...
26
votes
1answer
1k views

A prime number pattern

The algorithm Given a natural number $n$ define a procedure as follows: Generate a list of primes upto and possibly including, $n$ Assign $Z = n$ If $Z > 0$, subtract the largest prime from list ...
23
votes
12answers
6k views

Prove that $\lim \limits_{n \to \infty} \frac{x^n}{n!} = 0$, $x \in \Bbb R$.

Why is $$\lim_{n \to \infty} \frac{2^n}{n!}=0\text{ ?}$$ Can we generalize it to any exponent $x \in \Bbb R$? This is to say, is $$\lim_{n \to \infty} \frac{x^n}{n!}=0\text{ ?}$$ This is ...
22
votes
5answers
4k views

Is a brute force method considered a proof?

Say we have some finite set, and some theory about a set, say "All elements of the finite set $X$ satisfy condition $Y$". If we let a computer check every single member of $X$ and conclude that the ...
20
votes
1answer
261 views

Show that $x^{35}+\dfrac{20205}{2+x^{17}+\cos^2x}=100$ has no root $x\in \mathbb{R}$

Show that $x^{35}+\dfrac{20205}{2+x^{17}+\cos^2x}=100$ has no root $x\in \mathbb{R}$. By plotting graph I have seen that there are no roots for $x$. Can somebody prove it theoretically?
20
votes
2answers
875 views

Does an elementary solution exist to $x^2+1=y^3$?

Prove that there are no positive integer solutions to $$x^2+1=y^3$$ This problem is easy if you apply Catalans conjecture and still doable talking about Gaussian integers and UFD's. However, can this ...
19
votes
10answers
2k views

How to prove that either $2^{500} + 15$ or $2^{500} + 16$ isn't a perfect square?

How would I prove that either $2^{500} + 15$ or $2^{500} + 16$ isn't a perfect square?
19
votes
10answers
3k views

Proving $\sqrt 3$ is irrational.

There is a very simple proof by means of divisibility that $\sqrt 2$ is irrational. I have to prove that $\sqrt 3$ is irrational too, as a homework. I have done it as follows, ad absurdum: Suppose ...
19
votes
3answers
1k views

When do I use “arbitrary” and/or “fixed” in a proof?

In many proofs I see that some variable is "fixed" and/or "arbitrary". Sometimes I see only one of them and I miss a clear guideline for it. Could somebody point me to a reliable source (best a ...
19
votes
3answers
359 views

How to prove $ \lim_{n \to \infty} e^n \cdot \left( \sum_{k=0}^{n-1} ({k-n \over e})^k/k! \right)- 2 \cdot n = \frac 23$?

I observed for the function $$ f(n)= e^n \sum_{k=0}^{n-1}\left(\dfrac{k - n}{e}\right)^k \cdot \dfrac{1}{k!} \tag 1$$ with small $n$ that ...
19
votes
1answer
352 views

Infinitely many primes of the form $\lfloor \sqrt {3} \cdot n \rfloor $?

How to prove or disprove following statement : There are infinitely many primes of the form : $\lfloor \sqrt {3} \cdot n \rfloor $ Note: This is a problem I made myself. There is a theorem ...
18
votes
6answers
2k views

What are some common proof strategies in mathematics?

I want to start out by saying that I am new at proof based mathematics. I am used to seeing patterns and using them to solve similar problems. However, I have found this is not a very good way to ...
18
votes
5answers
1k views

“Too simple to be true”

As indicates the title, this question is about "proofs" of true statements which are short and/or look elegant but are wrong. I mean example like Cayley-Hamilton's theorem, which states that for a ...
18
votes
2answers
963 views

Integral $\int_1^\infty\dfrac{dx}{1+2^x+3^x}$

Can the integral $$\int_1^\infty\dfrac{dx}{1+2^x+3^x}$$ be given in closed form? This question arises naturally when I considered doing integrals. What makes an integral hard? Well, the integrand, of ...
17
votes
7answers
4k views

how to be good at proving?

I'm starting my Discrete Math class, and I was taught proving techniques such as proof by contradiction, contrapositive proof, proof by construction, direct proof, equivalence proof etc. I know how ...
17
votes
4answers
3k views

How can I prove that $\gcd(a,b)=1\implies \gcd(a^2,b^2)=1$ without using prime decomposition?

How can I prove that if $\gcd(a,b)=1$, then $\gcd(a^2,b^2)=1$, without using prime decomposition? I should only use definition of gcd, division algorithm, Euclidean algorithm and corollaries to those. ...
17
votes
2answers
364 views

How can I prove my conjecture for the coefficients in $t(x)=\log(1+\exp(x)) $?

I'm considering the transfer-function $$ t(x) = \log(1 + \exp(x)) $$ and find the beginning of the power series (simply using Pari/GP) as $$ t(x) = \log(2) + 1/2 x + 1/8 x^2 – 1/192 x^4 + 1/2880 x^6 - ...
17
votes
5answers
549 views

Proving a certain map on the closed unit disc must be the identity

Bounty expired. Will gladly re-create one if a satisfactory answer is posted in the future. Prove: Let $f$ be a continuous function on the closed unit disc with two properties: 1. $f$ is the ...
16
votes
5answers
1k views

Prove that every number ending in a $3$ has a multiple which consists only of ones.

Prove that every number ending in a $3$ has a multiple which consists only of ones. Eg. $3$ has $111$, $13$ has $111111$. Also, is their any direct way (without repetitive multiplication and ...
16
votes
5answers
423 views

Prove that: $ \cot7\frac12 ^\circ = \sqrt2 + \sqrt3 + \sqrt4 + \sqrt6$

How to prove the following trignometric identity? $$ \cot7\frac12 ^\circ = \sqrt2 + \sqrt3 + \sqrt4 + \sqrt6$$ Using half angle formulas, I am getting a number for $\cot7\frac12 ^\circ $, but I don't ...
16
votes
2answers
409 views

Proving that $(b_n) \to b$ implies $\left(\frac{1}{b_n}\right) \to \frac{1}{b}$

In my textbook (S. Abbott. Understanding Analysis 1 ed. pp 47 Theorem 2.3.3.iv), the author proves $b_n \to b$ implies $\frac{1}{b_n} \to \frac{1}{b}$ the following way: ...
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 ...