Why don't textbooks foreground marginally generalized theorems?

Question

1. 'Marginally generalized theorems' refers to theorems that were generalized so marginally that they can still be taught, and understood by the students, in the same course.

Examples of theorems NOT marginally generalized:

2. A skilled high-schooler can understand Puiseux series, Dirichlet's theorem on arithmetic progressions, and Lagrange's four-square theorem. But their generalizations are too cavernous.

Examples of theorems that can be marginally generalized:

3. Spivak proves $\sqrt{2}$'s irrationality fully, but banishes $a^{\frac 1b}$'s to the exercises. Isn't proving (only) the latter more efficient?

4. Why don't multivariate calculus textbooks introduce Stokes's Theorem (with a double integral, not differential forms) first, and then state Green's as a corollary? Calculus: Early Transcendentals (6 edn 2007) introduces the latter as §16.4, and former as §16.8.

5. Why not prove first Gauss's generalization of Wilson's Theorem:

$\forall \; p \; \text{odd prime}, \alpha \in \mathbb{N} : \quad \prod_{k = 1 \atop \gcd(k,m)=1}^{m} \!\!k \ \equiv \begin{cases} -1 \pmod{m} & \text{if } m=4,\;p^\alpha,\;2p^\alpha \\ \;\;\,1 \pmod{m} & \text{otherwise} \end{cases}?$

I'm not referring to the further generalization of Wilson's Theorem requiring group theory.

Answer 1

Spivak proves $\sqrt{2}$'s irrationality fully, but banishes $a^{1/b}$'s to the exercises. Isn't proving (only) the latter more efficient?

Yes, it's certainly more efficient. So what? Efficiency is not a primary goal of a textbook.

Generality often makes concepts harder to understand. That's true for professional mathematicians, and it's even more true for students, who have less experience doing the task of concretizing ideas on their own.

The proof that $\sqrt{2}$ is irrational adequately conveys the idea of the proof - someone who has truly understood it will be able to generalize it to $a^{1/b}$ without much difficulty. But many students will find the idea easier to understand the first time they see it by looking at a specific number like $2$ rather than an abstract number $a$.

As a side benefit, it gives students the opportunity to see whether they understand the argument by doing the generalization themselves.

Most multivariate calculus textbooks devote 1 chapter to Green's Theorem. Why not introduce Stokes's first, and then state Green's as a corollary?

Because Stokes' Theorem is too abstract for many students at that level to understand in a single go. Green's Theorem is a warm-up, getting students more used to the idea, before they encounter the more general theorem.

Abstraction imposes cognitive work on the learner, to think through the scope of the abstraction and to produce concrete examples themselves. A good textbook has to balance that work against other important cognitive work by the learner, like thinking about the intuition and proof of a theorem.

Answer 2

I'll answer the question with respect to the Green's/Stokes' theorem special case. The summary is that, from a pedagogical point of view, little is gained by passing directly to the general case, and much is potentially lost (students for example).

If by Stokes' theorem is meant the version relating surface integrals and line integrals, this theorem is substantially harder to teach than its planar special case usually known as Green's theorem. Green's theorem relates an ordinary double integral over a region with a line integrals over the region's boundary. The version for surfaces requires defining surface integrals, and this introduces substantial new difficulties. In particular students have a lot of trouble with parameterizing surfaces, calculating normal vectors, and understanding orientations of surfaces. With Green's theorem only the orientation issue is present as such, and it is more easily visualized in the planar context, where it already is difficult for many students. In any case, objects in three dimensions are almost always harder to understand than their counterparts in two dimensions, if only because it is easier to draw pictures of planar objects.

If by Stokes' theorem one means the full blown theorem in terms of differential forms, then the difficulty, both technically and conceptually, is substantially greater. Moreover, the theorem is usually formulated in terms of differential forms (why stop there? one could go on to currents and just teach out of Federer ...). Understanding differential forms requires understanding duality of vector spaces, a topic often omitted from introductory linear algebra courses, often omitted completely from instruction given to physicists and engineers, and itself requiring some effort to assimilate properly. Many professional engineers never learn that the curl of a vector field is the vector dual to the exterior differential of the one-form dual to the vector field; physicists mostly can interpret such a phrase, but even applied physicists (as opposed to high energy theoreticians or general relativists) don't usually think that way, and don't write Maxwell's equations using forms (obviously theoreticians do).

While in fact the general theorem is not much more difficult to prove rigorously than are its various special cases (although to do so in full generality one has to deal with triangulations, or partitions of unity, or something along those lines) doing so obscures the essential ideas, which are just as well understood in proving special cases such as Green's or Gauss's (the divergence) theorem. In fact, once one understands the proof of Green's theorem, one basically understands what is needed to prove the general theorem; all the essential issues are present already.

Very few students learn top down (only rarely does one have a future Grothendieck as a first-year student). Most learn best proceeding from the special to the general. One pares away as many inessential aspects as one can, to focus the student's attention on the core issues.

Answer 3

I would like to add that progressing from the special to the general is a good way to teach how research actually works. Frequently you discover some relation by accident and only after working with that relation for some time you realize that there could be some generalization for it. By using intuition and experience you are probably able to extract what is common to all the special cases you have explored so far and finally derive the general theorem.

The textbooks already make things more 'efficient' in that they reveal to the reader that the general theorem indeed exists which is usually already a great leap/shortcut for the learner.

But I understand very well the desire to express things more compactly than the textbooks do. I have always done this for myself, just to discover in the end, that my 'summaries' can only be understood by myself and because I had read the original textbook before.

Although reading a textbook takes a lot more time, I find it also a lot more enjoyable than reading a formulary for example, just because a (good) textbook gives me the feeling as if I were taking part in the original discovery of the facts it presents. And joy is certainly the number one success factor for learning.