Questions tagged [proofs]

For questions about mathematical proofs in an educational context.

168 questions
Filter by
Sorted by
Tagged with
23k views

Why are induction proofs so challenging for students?

This forum already has many good, simple examples of induction proofs, a great resource. As I am soon to teach induction for the $n^\textrm{th}$ time—this time to some perhaps under-prepared ...
• 28.1k
18k views

How to explain Monty Hall problem when they just don't get it

Talking to some friends, I was asked to explain the answer to the Monty Hall problem (see also here;) .... they were having some trouble because whoever explained it to them didn't do a very good job. ...
• 931
10k 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 ...
• 12.1k
4k views

What am I supposed to be learning with long proofs of the main theorems in class?

It seems like this is exclusively how (most) people teach graduate/upper div math classes. They go through the proof of some big theorem, sometimes it might take two lectures. It's obviously important....
5k views

Uninsulting way to say "this will eventually be easy"

When presenting a proof, there are usually a lot of parts which look like "obvious", "routine" manipulation to me, and between zero and two genuinely insightful steps. I want to point out the ...
• 4,332
1k views

I am interested in finding examples of poorly written proofs that exemplify the types of mistakes made by undergraduate students in their first year or two of writing proofs. I am interested both in ...
• 451
6k 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!" (...
4k views

Is there a good age/level to start learning mathematical proofs?

I know from my experience I learnt proofs myself way before I learnt them in school and I felt it gave me a far better understanding of math. What is a good point to start learning proofs? what are ...
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 ...
• 6,248
1k views

Inability to work with an arbitrary mathematical object

This question is motivated by student responses to homework and quiz problems I have recently posed in an undergraduate real analysis course. I will share some examples and observations first, to ...
• 10.4k
4k 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 ...
• 9,096
2k views

Why do students like proof by contradiction?

Every-so-often I come across proofs of the form Assume $X$ is false. Prove $X$ is true (without using that it is false). This contradicts that $X$ is false. Hence $X$ is true. I've seen students ...
• 5,568
3k views

Why do we care about multiple proofs of the same theorem?

I am teaching a math appreciation course to high school students who are approximately 17 years old, in their last year of high school, and who do not believe they will choose a STEM major in ...
• 533
685 views

Is there a Piagetian age at which proofs can be comprehended?

I am wondering if there is literature on the developmental age (pre-adolescent?, adolescent?) at which the notion of a "proof" can be understood? I am less interested in mathematical proofs and more ...
• 28.1k
5k views

How can I explain why we need proofs to someone who has no experience in mathematical thinking?

I know someone I really like, but sadly, that person has absolutely no experience in math or mathematical thinking above third grade mathematics (+, - are fine, but division already makes problems). ...
• 331
3k views

"A computer program IS a proof": Introducing rigor via programming

This provocative essay Igor Rivin. "Some Thoughts on the Teaching of Mathematics—Ten Years Later." Notices of the AMS, Jun/Jul 2014. (PDF download link). suggests that a discussion of Igor'...
• 28.1k
562 views

• 303
386 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 ...
• 8,769
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 ...
• 12.1k
773 views

Constructive refutation of student misconception

Although @Gareth Shepherd recently posted Addressing fundamental math errors close to the issue, I experienced my problem of misunderstanding in class, where two good K10 students were asked to ...
2k views

Should my 8th graders see a proof of the Pythagorean Theorem?

I've been teaching the Pythagorean Theorem in my 8th grade class, and I noticed something odd. In the book I'm using, the sequence goes something like this: Motivate the idea of distances on a grid ...
• 1,041
4k views

Why do some linear algebra courses focus on matrices rather than linear maps?

I hope the essence of the question is clear from the title. There are obvious advantages to making the linear map the central notion of a linear algebra course: the notion can be illustrated with ...
• 689
440 views

Critiquing Proof Style During Class

I would like to spend a day with my students analyzing mathematical writing. One way I might accomplish this is to offer multiple proofs (some good, some poor) of the same simple statement and ask ...
• 570
5k views

Explaining why volume of cone is a third of cylinder

I came across this video explaining to kids why the volume of a cone is a third of the cylinder of same cross-sectional radius and height. Essentially the explainer presents pre-created cylindrical ...
• 273
10k 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 ...
• 12.1k
1k views

"Proof" meaning in maths and society

When we ask students to prove a particular result in a math class, students often reply with examples. For example, if I state: if a number is even its square will be even, and ask the students to ...
190 views

Research on the use of outlined / structured proofs in instruction

Has there been any research into comparing the effectiveness of using "structured proofs" or "outlined proofs" in higher level mathematics education, compared to traditional "prose" proofs? For the ...
• 2,671
964 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 ...
• 261
2k views

How to teach Mathematical Induction mathematically?

I am exhausted of teaching Mathematical induction to my little brother. I have given him many examples, Domino effect, aligned shops of hot dogs etc and every time he says that he got it but when I ...
• 345
785 views

How to use false theorems or proofs?

I would like students to be critical and not believe that every proof they see is correct. Lecturers make mistakes and students should not think: "That must be a valid argument/proof/syntax because it ...
• 3,663
599 views

How to explain what is wrong in this "proof" that $\sqrt N$ must be irrational?

Here is the problem that I asked undergraduate students of an introductory number theory course to prove: Prove that if $N$ is a nonsquare natural number, then $\sqrt N$ is irrational. Many ...
• 4,314
940 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 ...
• 986
2k views

Is it natural for self-learners to forget most proofs of the theorems they learn?

When I read a theorem and read its proof and fully understand it, am I supposed to know the proof even after a long time or is it natural to forget the it? I ask this question as I'm a self learner ...
• 261
299 views

Teaching the use of pictures in proofs

Today I realized that many of my students in an upper-division undergraduate (projective) geometry class don't really understand how to use pictures in proofs. Some draw no pictures at all, making ...
• 6,248
345 views

How to assign grades to proofs: what do(es) the literature/experts suggest?

I am teaching an introductory course on proofs in mathematics in a mid-size American public university, and trying to develop some kind of consistent grading meta-scheme for grading proofs. I am ...
• 3,627
505 views

Should theorems be proved to students who are not majoring in mathematics?

My impression to students majoring in mathematics is, whenever we teach them a theorem, a proof should be given in the class, or at least as a reading assignment. However, how about students not ...
• 4,025
279 views

How to teach students the value of concrete counterexamples?

I teach exercise sessions for a Linear Algebra course for 1st semester students in Europe. Students have to prepare some exercises at home. In class, I call on students to present their solutions. ...
• 151
2k views

Proving theorems on one's own: how long should one persist?

I've recently started learning linear algebra on my own. I always try to prove the theorems I encounter by myself, without looking at the book (only to check if my proof is correct), because I found ...
• 253
409 views

Teaching strong induction instead of induction

After teaching induction and then strong induction (i.e. the version where you assume $\forall k<n, P(k)$ and prove $P(n)$), one of my students asked why we ever use ordinary induction, since ...
• 6,248
297 views

Order of Topics in Introductory Proofs Class

Beginning next semester I am teaching a course in proofs and mathematical problem solving at my local university. For some background, the university is primarily a commuter university and the ...
• 153
6k views

Why do inequalities flip signs? [closed]

Is there a mathematical reason (like a proof) of why this happens? You can do it with examples and it is 'intuitive.' But the proof of why this happens is never shown in pedagogy, we just warn ...
• 797
5k views

When do college students learn rigorous proofs?

I teach in a regional university. In my department, students take their "proof course" (a course that sole focus on writing proofs) in the third or even fourth year. All the courses before ...
3k views

I want a "true" proof by contradiction of an implication P => Q

When teaching proofs by contradiction of an implication P => Q, one starts by assuming both P and (not Q), and then reaches a contradiction. The problem is, most elementary proofs of this type are &...
• 157
868 views

Proofs that make theorems less clear

Teaching Theory of Computation for the first time, I encountered a phenomenon which perhaps is familiar to others in different contexts. I realize most MESE participants are not conversant with Th....
• 28.1k