CTK Insights

28 Jun

Most elementray aha! moments

The identity \sqrt[3]{2 \pm \sqrt{5}} = \frac{1 \pm \sqrt{5}}{2}, although simple, is rather surprising. It could be verified by raising the right-hand side to the power of 3:

(\frac{1 \pm \sqrt{5}}{2})^{3} = \frac{1}{8} (1 \pm 3\sqrt{5} + 15 \pm 5\sqrt{5}) = 2 \pm \sqrt{5}.

One way of accidently running into this identity is by means of Cardano's cubic formula applied to the third degree equation x^{3}-2x-4=0 The formula will produce terms that include cubic roots. On the other hand, the equation has an integer root x = 2 and, therefore, the remaining two roots satisfy a quadratic equation x^{2}+2x+2=0 with integer coefficients. Professor Tom Osler from Rowan University has observed

It is known that \sqrt[3]{5} is not constructible. Yet \sqrt[3]{2 + \sqrt{5}}, which looks more complicated than \sqrt[3]{5}, is constructible because it can be expressed by the golden section. This is an unexpected result. It is surprises of this type that make it a joy to be a mathematician.

A most engaging remark, indeed.

More recently, I had a similar experience on a smaller scale. Say, consider a problem: Prove that the equation x^{2}+y^{2}=6xy has no solutions in positive integers. A more or less common way of approaching a problem like that would be to apply Fermat's infinite descent. (The case where at least one of x or y is assumed to be even is easy. Assuming both of them odd leads to no obvious contradiction.) But here's a simpler approach. By adding to and subtracting 2xy from both sides gives (x+y)^{2}=8xy and (x-y)^{2}=4xy. Divide one by another and take the square root: \frac{x+y}{|x-y|}=\sqrt{2}. This is of course impossible as the left-hand side is rational, while the right-hand side is not.

Martin Gardner had two collections of surprises in this spirit - aha! Insight and aha! Gotcha - that are also available in a single volume.

Not every child is born with a mindset fit to see and appreciate those instances of - real, albeit "small" - mathematics. Most kids do not naturaly come across such small surprises. However, there are plenty of elegant mathematics even on a most elementary level.

Years ago the Australian mathematician M. L. Urquhart discovered a theorem while working on "some fundamental concepts of the theory of special relativity." He dubbed it the most elementary theorem of Euclidean geometry since it only involves the concepts of straight line and distance. Now known as Urquhart's theorem it reads, If ABB' and AC'C are straight lines with BC and B'C' intersecting in D and if AB + BD = AC' + C'D, then AB' + B'D = AC + CD. This is not what I mean by an "elementary level."

There are problems whose solution requires little or no up-front knowledge. Socrates' doubling (or halving) a square is one example. I'll list a few more.

A pin has two ends: a pointed one and a blunt one. If three pins form a triangle then either all vertices look the same (pointed/blunt) or all look different (pointed/pointed, blunt/blunt, blunt/pointed.)

4-letter word ladders, one of Lewis Carroll's inventions. The task is to convert one 4-letter word into another by changing a letter at a time so as to have meaningful 4-letter words at every step of the process. Claim: some of the words in the chain is bound to have two vowels.

Take two very different 3D bodies, say, a ball and a cube or a potato and a kettle, etc. On each body in the pair draw curves with a marker. Is it always (or never) possible to draw identical curves on any two bodies? (Fro an answer, imagine the two bodies made of some amorphous material so that they can physically intersect, i.e. penetrate each other. Their intersection will be a curve on the surfaces of both.)

Assume you mastered the Toads and Frogs puzzle. Then it must be easy for you to solve its 2D analog. Is it?


I think that what is missing from school curricula and from course offerings intended for potential teachers is this kind of simple, almost unversally accessible mathematical morsels. I actually would like to solicit additional examples of simple mathematics. Not mathematical facts, but statements that require and admit a proof, a proof no longer than a step or two, based more on logic and every day experience than on knowledge of some axioms.

To start with, it is always possible to comment on this post. If the thing picks up, I promise to find a more suitable arrangement. Actually, why not to declare a competition for the Most elementray aha! moments. A winner will be determined monthly and announced at the end of every month. A monthly prize of $1 will be paid to the winner's paypal account.

No related posts.

9 Responses to “Most elementray aha! moments”

  1. 1
    Math teachers at play carnival | CTK Insights Says:

    [...] like to solicit such examples of “minimal mathematics”. I have put together a post Most elementary aha! moments to which comments can be [...]

  2. 2
    James Says:

    Really liked the idea behind this.
    My favourite was the old $latex 0.\dot{9}=1$
    If $latex \frac{1}{3}=0.\dot{3}$
    multiply by three and you are forced to conclude that $latex 0.\dot{9}=1$
    Alternatively $latex x=0.\dot{9}$
    $latex 10x=9.\dot{9}$
    then, subtracting $latex 9x=9$
    and therefore $latex x=0.\dot{9}=1$

  3. 3
    James Says:

    That didn't come out quite right, but it was meant to be about 0.9(recurring)=1

  4. 4
    admin Says:

    James, in this blog LaTex goes between two dollar signs on both sides like this: \frac{1}{3} = 0.333... Multiplying by 3 gives 1 = 0.999... I am going to see how it looks like and then later on shall add a comment.

  5. 5
    admin Says:

    The problem of .999... being 1 is quite involved. I have two discussions on this: http://www.cut-the-knot.org/arithmetic/999999.shtml and http://www.cut-the-knot.org/WhatIs/Infinity/9999.shtml. The first one looks in the traditional framework, the second in the framework of the non-standard analysis. There are two questions that I may ask right away

    1. What is 0.333... and why it is equal to 1/3.
    2. Do we actually know how to calculate with the decimals that we so easily assume the validity of 3×0.333... operation.

  6. 6
    James Says:

    Thank you for directing me to a couple of very interesting articles. I hadn't appreciated the problem from a non-standard analysis point of view. When thinking of the questions you asked it does seem an altogether more complicated issue. If we can't properly define these decimals then non of it really makes sense.
    Incidentally, my other argument for 1=0.999... was
    let x=0.999...
    then 10x=9.999...
    subtracting gives 9x=9
    therefore x=1=0.999...
    always felt it was a very nice little proof, though I'm not as confident it's satisfactory now.

  7. 7
    admin Says:

    Here is in fact the same problem. Unless there is a reasonable definition of .999... there is no reason to assume that 10×.999... = 9.999...

    Assume x = 1 + Δ. Then

    10x = 10 + 10Δ

    Subtracting gives

    9x = 9 + 9Δ, or

    x = 1 + Δ,

    which is nothing new.

  8. 8
    Radical Simplification | CTK Insights Says:

    [...] a related post I have shown that Without resorting to this proof, I am going to show [...]

  9. 9
    A beautiful mathematical equality « Chaitanya's Random Pages Says:

    [...] A beautiful mathematical equality July 22, 2010 — ckrao Here is an equality worth sharing, found at the CTK Insights blog here. [...]

Leave a Reply

*

© 2012 CTK Insights | Entries (RSS) and Comments (RSS)

Powered by Wordpress, design by Web4 Sudoku, based on Pinkline by GPS Gazette