# Questions tagged [proofs]

For questions about mathematical proofs in an educational context.

123 questions
Filter by
Sorted by
Tagged with
3k views

As a sidetrack in this question it came up that it is important to have students read texts (in particular proofs) critically. As examples it is nice to have correct proofs at hand (presumably in the ...
2k views

### What are some good low-prerequisite examples for the heuristic advice “If you cannot prove it, prove something stronger.”?

One useful trick in mathematics is to prove something stronger instead of the question asked. This works well in induction proofs (because strengthening the claim also strengthens the induction basis)...
464 views

### Good exercises in proof by induction, very early in freshman calculus?

At some point very early on in a freshman calc course, we use proof by induction to show that the derivative of $x^n$ is $nx^{n-1}$ if $n$ is a natural number. For the small minority of our students ...
606 views

### Is there any evidence about the effectiveness of “table proofs” in pre-college mathematics education?

I remember when I took geometry in high school, like most students it's where I was formally introduced to proofs. However, the way we went about them was strange, it really felt like symbol ...
4k views

### Is Euclid dead? or Should Euclidean geometry be taught to high school students?

Apparently Euclid died about 2,300 years ago (actually 2,288 to be more precise), but the title of the question refers to the rallying cry of Dieudonné, "A bas Euclide! Mort aux triangles!" (...
712 views

### Teaching fractions: the generalization problem

I've been thinking about how you would go about teaching fractions, and there seems to be a problem in that every basic fact needs to be proven/explained twice, using two different layers of ...
6k views

### Examples and applications of the pigeonhole principle

The Pigeonhole Principle (or Dirichlet's box principle) is a method introduced usually quite early in the mathematical curriculum. The examples where it is usually introduced are (in my humble ...
867 views

### Rigorous proofs vs. illustrative examples

No one would argue against the idea/ observation that proofs are very important in mathematics. Some people are trying to make their notations on a blackboard during a lecture as consistent as ...
740 views

### Definitions/proofs that allow “useless” cases?

I often see students confused/mystified by definitions (and proofs) that allow/consider "useless" cases. A case in point is the definition of a DFA (deterministic finite automaton), which allows ...
330 views

### What topic can I use in an Introduction to Proofs course that would introduce students to a wide variety of proof methods?

What topics are appropriate for an Introduction to Proofs course which is: Aimed at Freshman who have taken integral calculus and nothing else Is designed to introduce them to formal reasoning and ...
2k views

### Ockham's Razor & Mathematical Proofs

Occam's Razor (also written as Ockham's razor from William of Ockham (c. 1287 – 1347), and in Latin lex parsimoniae) is a principle of parsimony, economy, or succinctness used in problem-solving. It ...
685 views

### Descriptive Thinking vs. Formal Writing

Sometimes I come across some exam answers which describe a proof sketch or a counterexample very well but are not written formally. Such proofs show that particular student understand the general ...
2k views

### Impressive examples where a “proof by picture” goes wrong

There are many proofs where the whole idea can be expressed by a picture and often naturally translated into a correct formal proof. Often one has to argue with students that a picture is not a proof ...
657 views

### What do mathematicians call a proof?

In mathematics education, "proof" is widely used for many kinds of argumentation. For instance, one example could be called a proof, if it is paradigmatic in the following sense: The argument can ...
6k views

### Good examples of proof by contradiction?

In later courses on automata theory, many students just seem incapable of getting a proof that a language isn't regular right, be it using the pumping lemma (see also the many questions on the matter ...
355 views

### What different ways do people use to show students that $\mathbb{R}$ is uncountable?

In particular, if you use Cantor's diagonalization argument, do you ignore the repeating decimal annoyance? Or prove that it's not a problem? Is there another clean way that gives students intuition ...
2k views

### Teaching logic with a proof assistant

I am thinking about teaching a university-level "introduction to proofs" class (mainly for math and CS majors) making use of a computer proof assistant like Coq. I feel like there is a lot of ...
6k views

### Good, simple examples of induction?

Many examples of induction are silly, in that there are more natural methods available. Could you please post examples of induction, where it is required, and which are simple enough as examples in a ...
54 views

### What are ideas and strategies on improving at discovering counterexamples? [closed]

What are ideas and strategies on improving at discovering counterexamples? I originally posed this as an Example Question.
255 views

### Any suggestions on how to approach recursion and induction?

Much mathematics is intimately tied to recursion, be it in definitions (like factorials and integer powers) and proofs by induction. This is also very relevant in computer science and programming. ...
309 views

### Multiple Solutions Methods vs. Encouraging a Particular Approach

It happens frequently in math that problems have multiple possible solutions. This might become troublesome, e.g. when students use some other approach, hence, not learning the current topic. One ...
When I want to point out to my students that getting the right result is not enough, I like to show them the example: \frac{16}{64} = \frac{1\hskip-.1cm- \hskip-.4cm{6}}{-\hskip-.2cm{6}\,4} = \...