Diagrams in Mathematical "Proofs"

 

While trying to help answer a question on Math Help Forum (MHF) (1), I suggested that the questioner draw a diagram of the data provided in the problem statement. The question was about a circle with some information given about where it touched the y-axis, and one of the points where it cut the x-axis. (My diagram is shown in ref (1), but it could be improved by some additional constructed lines...)

The thing is, that the poster did not think of this as the first step looks to me like a result of a teaching practice discouraging the use of diagrams. If so this could be a result of the enduring influence of some of the ideas of the Bourbaki group (2). To quote the Wikipedia article: "Most of the final drafts of Bourbaki's Éléments carefully avoided using illustrations, favouring a formal presentation based only in text and formulas".

This leads to the absurdity of teaching elementary geometry "proofs" with the "two column proof" style (even though even here the first step is usually sketch the givens in a diagram):
----------------------------------------------------------------------------------------
Example (borrowed from (3))
Proof for: If two angles are supplementary to the same angle, then they are congruent to each other.
Statements Reasons
1. ∠𝐴 and ∠𝐵 are supplementary to ∠𝐶 Given
2. 𝑚∠𝐴 + 𝑚∠𝐶 = 180 degrees Definition of Supplementary Angles
3. 𝑚∠𝐵 + 𝑚∠𝐶 = 180 degrees Definition of Supplem entary Angles
4. 𝑚∠𝐴 = 180 degrees – 𝑚∠𝐶 Algebraic Manipulation
5. 𝑚∠𝐵 = 180 degrees – 𝑚∠𝐶 Algebraic Manipulation
6. 𝑚∠𝐴 = 𝑚 ∠𝐵 Transitive Property of Equality

--------------------------------------------------------------------------------------

The use of diagrams was a point of disagreement I had with the Prof, when I was a research student. Back then his word was law, but I still disagreed in private and thought that Bourbaki sought to deprive mathematics of meaning. The point of a proof is to gain understanding of why a mathematical statement is true (or not). Maybe later a rigorous full proof may be necessary, but surely we can leave that to the machines.

I'm not sure Bourbaki carries the weight it did 50 years ago any longer, but I still find I have to tell/ask students posting questions on MHF to draw a picture.

(1) https://mathhelpforum.com/t/tangency-point-please-help.310125/

(2) https://en.wikipedia.org/wiki/Nicolas_Bourbaki

(3) https://www.effortlessmath.com/math-topics/mastering-two-column-proofs/