An Untrustworthy T-Shirt

Among the many Australian mathematics organisations that are making matters worse rather than better, the Australian Mathematics Trust must not be included. AMT is great, a rare beacon of hope. A beacon somewhat dimmed, it is true, by the fact that the AMT guys have an average age of about 95. Still, any beacon in a storm, or whatever.

Apart from their wonderful work on the Australian Mathematics Competition and their associated endeavours, AMT sells excellent books on problem-solving, as well as some very cool (and some very uncool) mathematical t-shirts. One shirt, however, is particularly eye-catching:

This shirt celebrates Norwegian mathematician Niels Henrik Abel and his 1824 proof of the non-existence of a solution in radicals of the general quintic equation. That is, in contrast to the quadratic formula, and to the cubic and the quartic analogues, there does not exist a quintic formula. It’s a pretty shirt.

It’s also a pretty weird shirt. AMT’s blurb reads

This T Shirt features Abel’s proof that polynomials of order five or higher cannot be solved algebraically.

Stylewise, it is probably a good thing that Abel’s “proof” doesn’t actually appear on the shirt. What is not so good is the sloppy statement of what Abel supposedly proved.

Abel didn’t prove that “[polynomial equations] of order five or higher cannot be solved algebraically”. What he proved was that such equations could not generally be solved, that there’s no general quintic formula. In particular, Abel’s theorem does not automatically rule out any particular equation from being solved in terms of radicals. As a very simple example, the quintic equation

    \[\boldsymbol{x^5-2x=0}\]

is easily shown to have the solutions \boldsymbol{0,\pm\sqrt[4]2,\pm\sqrt[4]2i}.

Which brings us back to AMT’s t-shirt. Why on Earth would one choose to illustrate the general unsolvability of the quintic with a specific equation that is solvable, and very obviously so?

Even good guys can screw up, of course. It’s preferable, however, not to emblazon one’s screw-up on a t-shirt.

Inverted Logic

The 2018 Northern Hemisphere Mathematical Methods exams (1 and 2) are out. We didn’t spot any Magritte-esque lunacy, which was a pleasant surprise. In general, the exam questions were merely trivial, clumsy, contrived, calculator-infested and loathsomely ugly. So, all in all not bad by VCAA standards.

There, was, however, one notable question. The final multiple choice question on Exam 2 reads as follows:

Let f be a one-to-one differentiable function such that f (3) = 7, f (7) = 8, f′(3) = 2 and f′(7) = 3. The function g is differentiable and g(x) = f –1(x) for all x. g′(7) is equal to …

The wording is hilarious, at least it is if you’re not a frazzled Methods student in the midst of an exam, trying to make sense of such nonsense. Indeed, as we’ll see below, the question turned out to be too convoluted even for the examiners.

Of course –1 is a perfectly fine and familiar name for the inverse of f. It takes a special cluelessness to imagine that renaming –1 as g is somehow required or remotely helpful. The obfuscating wording, however, is the least of our concerns.

The exam question is intended to be a straight-forward application of the inverse function theorem. So, in Leibniz form dx/dy = 1/(dy/dx), though the exam question effectively requires the more explicit but less intuitive function form, 

    \[\boldsymbol {\left(f^{-1}\right)'(b) = \frac1{f'\left(f^{-1}(b)\right)}}.}\]

IVT is typically stated, and in particular the differentiability of –1 can be concluded, with suitable hypotheses. In this regard, the exam question needlessly hypothesising that the function g is differentiable is somewhat artificial. However it is not so simple in the school context to discuss natural hypotheses for IVT. So, underlying the ridiculous phrasing is a reasonable enough question.

What, then, is the problem? The problem is that IVT is not explicitly in the VCE curriculum. Really? Really.

Even ignoring the obvious issue this raises for the above exam question, the subliminal treatment of IVT in VCE is absurd. One requires plenty of inverse derivatives, even in a first calculus course. Yet, there is never any explicit mention of IVT in either Specialist or Methods, not even a hint that there is a common question with a universal answer.

All that appears to be explicit in VCE, and more in Specialist than Methods, is application of the chain rule, case by isolated case. So, one assumes the differentiability of –1 and and then differentiates –1(f(x)) in Leibniz form. For example, in the most respected Methods text the derivative of y = log(x) is somewhat dodgily obtained using the chain rule from the (very dodgily obtained) derivative of x = ey.

It is all very implicit, very case-by-case, and very Leibniz. Which makes the above exam question effectively impossible.

How many students actually obtained the correct answer? We don’t know since the Examiners’ Report doesn’t actually report anything. Being a multiple choice question, though, students had a 1 in 5 chance of obtaining the correct answer by dumb luck. Or, sticking to the more plausible answers, maybe even a 1 in 3 or 1 in 2 chance. That seems to be how the examiners stumbled upon the correct answer.

The Report’s solution to the exam question reads as follows (as of September 20, 2018):

f(3) = 7, f'(3) = 8, g(x) = f –1(x) , g‘(x) = 1/2 since

f'(x) x f'(y) = 1, g(x) = f'(x) = 1/f'(y).

The awfulness displayed above is a wonder to behold. Even if it were correct, the suggested solution would still bear no resemblance to the Methods curriculum, and it would still be unreadable. And the answer is not close to correct.

To be fair, The Report warns that its sample answers are “not intended to be exemplary or complete”. So perhaps they just forgot the further warning, that their answers are also not intended to be correct or comprehensible.

It is abundantly clear that the VCAA is incapable of putting together a coherent curriculum, let alone one that is even minimally engaging. Apparently it is even too much to expect the examiners to be familiar with their own crappy curriculum, and to be able to examine it, and to report on it, fairly and accurately.

WitCH 4

Well, WitCH 2, WitCH 3 and Tweel’s Mathematical Puzzle are still there to ponder. A reminder, it’s up to you, Dear Readers, to identify the crap. There’s so much crap, however, and so little time. So, it’s onwards and downwards we go.

Our new WitCH, courtesy of New Century Mathematics, Year 10 (2014), is inspired by the Evil Mathologer‘s latest video. The video and the accompanying articles took the Evil Mathologer (and his evil sidekickhundreds of hours to complete. By comparison, one can ponder how many minutes were spent on the following diagram:

OK, Dear Readers, time to get to work. Grab yourself a coffee and see if you can itemise all that is wrong with the above.

Update

Well done, craphunters. Here’s a summary, with a couple craps not raised in the comments below:

  • In the ratio a/b, the nature of a and b is left unspecified.
  • The disconnected bubbles within the diagram misleadingly suggest the existence of other, unspecified real numbers.
  • The rational bubbles overlap, since any integer can also be represented as a terminating decimal and as a recurring decimal. For example, 1 = 1.0 = 0.999… (See here and here and here for semi-standard definitions.) Similarly, any terminating decimal can also be represented as a recurring decimal.
  • A percentage need not be terminating, or even rational. For example, π% is a perfectly fine percentage.
  • Whatever “surd” means, the listed examples suggest way too restrictive a definition. Even if surd is intended to refer to “all rooty things”, this will not include all algebraic numbers, which is what is required here.
  • The expression “have no pattern and are non-recurring” is largely meaningless. To the extent it is meaningful it should be attached to all irrational numbers, not just transcendentals.
  • The decimal examples of transcendentals are meaningless.

VTACKY

It’s been a long, long time. Alas, we’ve been kept way too busy by the Evil Mathologer, as well as some edu-idiots, who shall remain nameless but not unknown. Anyway, with luck normal transmission has now resumed. There’s a big, big backlog of mathematical crap to get through.

To begin, there’s a shocking news story that has just appeared, about schools posting “wrong Year 12 test scores” and being ordered to remove them by the Victorian Tertiary Admissions Centre. Naughty, naughty schools!

Perhaps.

The report tells of how two Victorian private schools had conflated Victoria’s VCE subject scores and International Baccalaureate subject scores. The schools had equated the locally lesser known IB scores of 6 or 7 to the more familiar VCE ATAR of 40+, to then arrive at a combined percentage of such scores. Reportedly, this raised the percentage of “40+” student scores at the one school from around 10% for VCE alone to around 25% for combined VCE-IB, with a comparable raise for the other school. More generally, it was reported that about a third of IB students score a 6 or 7, whereas only about one in eleven VCE scores are 40+.

On the face of it, it seems likely that the local IB organisation that had suggested Victorian schools use the 6+ = 40+ equation got it wrong. That organisation is supposedly reviewing the comparison and the two schools have removed the combined percentages from their websites.

There are, however, a few pertinent observations to be made:

None of the sense or substance of the above is hinted at in the schools-bad/VTAC-good news report.

Of course the underlying issue is tricky. Though the IBO tries very hard to compare IB scores, it is obviously very difficult to compare IB apples to VCE oranges. We have no idea whether or how one could create a fair and useful comparison. We do know, however, that accepting VTAC’s cocky sanctimony as the last word on this subject, or any subject, would be foolish.