# What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)

I'm a children's book writer and illustrator, and I want to to create a book for young readers that exposes the beauty of Mathematics. I recently read Paul Lockhart's essay "The Mathematician's Lament," and found that I, too, lament the uninspiring quality of my elementary math education.

I want to make a book that discredits the notion that math is merely a series of calculations, and inspires a sense of awe and genuine curiosity in young readers.

However, I myself am mathematically unsophisticated.

What was the first bit of mathematics that made you realize that math is beautiful?

For the purposes of this children's book, accessible answers would be appreciated.

-
Nice question, but should probably be community wiki? –  mrf Mar 7 '13 at 7:02
For me Euclid's proof of the infinitude of primes was the first thing that made me realize the beauty of mathematics. –  Manjil P. Saikia Mar 7 '13 at 7:02
Wow. Just last night I had a fierce argument with one of the bartenders of my usual watering hole who is a mechanical engineering student. He insisted that he has a better idea than me of what is mathematics. I am so going to print him a copy of Lockhart's text. Thank you for that link! –  Asaf Karagila Mar 7 '13 at 7:59
I can’t remember a time when I didn’t think that mathematics was beautiful and fascinating. –  Brian M. Scott Mar 7 '13 at 15:06
Although I don't know if it's what you are looking for, try looking up "vihart" on youtube--Even if it's not helpful, I guarantee you will appreciate it. –  Bill K Mar 8 '13 at 2:57

I started math reasonably late, so I'm not sure this is a perfect example for a children book. I was totally amazed that the number $\pi$ is encountered in completely unrelated situation. Of course, I knew it's a ratio of circumference of the circle to the diameter, but then I learnt of the Normal probability density function.

So if you stretch a bell-shaped curve (Gaussian function) from $-\infty$ to $\infty$ the area under it $converges$ to $\sqrt{\pi}$?? How is it possible that this area has something to do with the square root of the ratio of circumference of the circle to the diameter? To be honest, even now, after learning the related proofs and derivations I still find it quite baffling.

-

For me, it was the beauty of the number 1, how it can be multiplied with anything , and it won't change the number it is being multiplied with, also how it can be represented as any number divided by itself such as 4/4=1 I would also love to share this beautiful poem by Dave Feinberg that is titled "the square root of 3" and was also featured in a Harold and Kumar Movie, it renewed my love for math and is and always has been one of my favorite poems! :

I’m sure that I will always be A lonely number like root three

The three is all that’s good and right, Why must my three keep out of sight Beneath the vicious square root sign, I wish instead I were a nine

For nine could thwart this evil trick, with just some quick arithmetic

I know I’ll never see the sun, as 1.7321 Such is my reality, a sad irrationality

When hark! What is this I see, Another square root of a three

As quietly co-waltzing by, Together now we multiply To form a number we prefer, Rejoicing as an integer

We break free from our mortal bonds With the wave of magic wands

Our square root signs become unglued Your love for me has been renewed

-

I have to admit that although I'd frequently been told that mathematics was "beautiful", I didn't really get that while I was in school - even high school. I enjoyed mathematics, and saw plenty of things that were fun, and even cute, but I never really understood any ideas with sufficient depth to think of them as beautiful.

When I did encounter ideas that I found beautiful, it was in my first year at college. In fact, there were two closely related ideas in quick succession. We were just being introduced to vector spaces. This was the first time I'd seen an abstract space, but it didn't really seem to mean much except as a fancy way to talk about high dimensional Euclidean spaces.

But then I saw my first example of a vector space that didn't just look like the vectors I'd seen in high school. It was the space of infinitely differentiable functions: $C^{\infty}$. We were shown the linear operators associated with two common differential equations (exponential growth and simple harmonic motion): \begin{eqnarray} &\frac{\textrm{d}\phantom{y}}{\textrm{d}t} - kI \\ &\frac{\textrm{d}^{2}\phantom{y}}{\textrm{dt}^2} + kI. \end{eqnarray} We saw the fairly routine proofs that these were linear operators on $C^{\infty}$, but then came the magical part: The solution sets to these differential equations were subspaces of $C^{\infty}$, the canonical solutions I was familiar with were basis sets for these solution spaces, and the solution spaces were actually the nullspaces of these operators!

Later (maybe even in that same lecture) we saw how linear regression - the hitherto tedious process of finding the "line of best fit" - could be understood as a linear projection $P$ operator onto a two dimensional subspace of the data space. Given a data vector $\mathbf{x}$, the projected vector $P\mathbf{x}$ represented the line that was closest to the data - the line of best fit - and the difference term $\mathbf{x}-P\mathbf{x}$ represented the error term. I was astonished at how much more elegant this was than the clunky formulas I'd had to memorize in high school.

-

Not an experience of mine, but I'm currently reading The Greeks by H. D. F. Kitto and I think this page deserves to be here:

But let us not be too superior to those Greeks who "shut their eyes." They kept something else wide open, namely their minds, and although the eye-shutting retarded the growth of science, the mind-opening led to things perhaps equally important, metaphysics and mathematics.

Mathematics are perhaps the most characteristic of all the Greek discoveries, and the one that excited them most. We shall be more understanding of those who shut their eyes to facts if first of all we keep in mind the Greek conviction that the Universe is a logical whole, and therefore simple (despite appearances) and probably symmetrical, and then try to imagine the impact of their minds on elementary mathematics.

It happens that I myself—if I may be personal for a moment—was enabled to do this by an insomnia-beguiling piece of mathematical research that I once did myself. (Mathematical readers are permitted to smile.) It occurred to me to wonder what was the difference between the square of a number and the product of its next-door neighbors. $10 \times 10$ proved to be $100$, and $11 \times 9 = 99$—one less. It was interesting to find that the difference between $6 \times 6$ and $7 \times 5$ was just the same, and with growing excitement I discovered, and algebraically proved, the law that this product must always be one less than the square. The next step was to consider the behavior of next-door neighbors but one, and it was with great delight that I disclosed to myself a whole system of numerical behavior of which my mathematical teachers had left me (I am glad to say) in complete ignorance. With increasing wonder I worked out the series to $10 \times 10 = 100$; $9 \times 11 = 99$; $8 \times 12 = 96$; $7 \times 13 = 91$… and found that the differences were, successively, $1, 3, 5, 7, \ldots$, the odd-number series. Even more marvelous was the discovery that if each successive product is subtracted from the original $100$, there is produced the series $1, 4, 9, 16, \ldots$. They had never told me, and I had never suspected, that Numbers play these grave and beautiful games with each other, from everlasting to everlasting, independently (apparently) of time, space, and the human mind. It was an impressive peep into a new and perfect universe.

(original source image)

-

The realization that you can go on counting forever.

-

Tupper's self-referential formula is a self-referential formula defined by Jeff Tupper that, when graphed in two dimensions, can visually reproduce the formula itself. It is used in various math and computer science courses as an exercise in graphing formulae.

The formula was first published in his 2001 SIGGRAPH paper that discusses methods related to the GrafEq formula-graphing program he developed.

The formula is an inequality defined by: $${1\over 2} < \left\lfloor \mathrm{mod}\left(\left\lfloor {y \over 17} \right\rfloor 2^{-17 \lfloor x \rfloor - \mathrm{mod}(\lfloor y\rfloor, 17)},2\right)\right\rfloor$$ where $\lfloor \cdot \rfloor$ denotes the floor function and $\mathrm{mod}$ is the modulo operation.

Let k equal the following 543-digit integer:

960 939 379 918 958 884 971 672 962 127 852 754 715 004 339 660 129 306 651 505 519 271 702 802 395 266 424 689 642 842 174 350 718 121 267 153 782 770 623 355 993 237 280 874 144 307 891 325 963 941 337 723 487 857 735 749 823 926 629 715 517 173 716 995 165 232 890 538 221 612 403 238 855 866 184 013 235 585 136 048 828 693 337 902 491 454 229 288 667 081 096 184 496 091 705 183 454 067 827 731 551 705 405 381 627 380 967 602 565 625 016 981 482 083 418 783 163 849 115 590 225 610 003 652 351 370 343 874 461 848 378 737 238 198 224 849 863 465 033 159 410 054 974 700 593 138 339 226 497 249 461 751 545 728 366 702 369 745 461 014 655 997 933 798 537 483 143 786 841 806 593 422 227 898 388 722 980 000 748 404 719

If one graphs the set of points $(x, y)$ in $0 \le x < 106$ and $k \le y < k + 17$ satisfying the inequality given above, the resulting graph looks like this (note that the axes in this plot have been reversed, otherwise the picture comes out upside-down):

-

As others have mentioned, kids love $\pi$. Prime numbers are also good, if they have a good handle on division. I think the fundamental theorem of arithmetic is intuitively true once you understand it (at east it was to me).

It would be great to mention some unsolved problems, like the twin prime conjecture or the Collatz conjecture.

For me, one thing that I remember being fascinated about at an early age was the fact that multiplication is commutative. That $3+3+3+3+3=5+5+5$ (or if you want, five baskets with three apples each is the same as three baskets with five apples each) was not immediately obvious to me, and the fact that it worked for any two numbers amazed me. Once you understand the geometric "square of dots" proof it makes sense, but I think that before that it doesn't.

Knuth up arrow notation is worth mentioning. Kids love that multiplication is repeated addition and that powers are repeated multiplication, and would be interested to see that idea taken further.

-

The most wonderful thing I've recently seen is this (sorry it's in French) form of the sieve of Eratosthenes and of course your question too.

-

I was always good at maths as a child, and took to reading extension maths books for fun (other kids thought I was weird). When I was about 10 I was completely hooked when I saw Euclid's proof for an infinity of primes. I had been given it as a question in one of the books I was reading. I spent about an hour desperately trying to prove it . . . then I looked at the solution - I was stunned by its elegant simplicity. Another thing I really enjoyed was finding cool facts about numbers in kids maths cartoon books and proving them. I loved to show WHY things always worked, that is perhaps my favorite thing about maths.

-

For me it was Monty Hall problem:

Suppose you're on a game show, and you're given the choice of three doors: Behind one door is a car; behind the others, goats. You pick a door, say No. 1, and the host, who knows what's behind the doors, opens another door, say No. 3, which has a goat. He then says to you, "Do you want to pick door No. 2?" Is it to your advantage to switch your choice?

I saw this problem when I was 15 year old. I answered correctly (I probably used some kind of math intuition), but I thought that probability in the second case is $1/2$. Actually it is $2/3$. The proof is beautiful, as well as the answer. This fact amazed me. Even now, at 18, I suppose it is quite a beautiful problem.

-

Draw any triangle. On each side of the triangle, draw an equilateral triangle such that the new equilateral triangle shares a side with the original triangle. Connect the midpoints of your three new triangles - the result is another equilateral triangle!

-

My first think of infinity was going from one corner of square to opposite corner. Start with route (0,0) -- (0,1) -- (1,1), then take (0,0) -- (0,½) -- (½,½) -- (1,½) -- (1,1) and so on. Path will come visually closer to diagonal, but lenght will stay at 2.

-

A story which I heard when I was in Primary School motivated me to understand the Power of Exponentials. The story goes like this--..........A Brahmin Priest presented the King with the Chess Board and explained to him how to pay War Games on this board . The King was pleased and asked the priest , what he wanted as a reward ..........The priest asked the King , that as he was very poor ,he needed some grains to feed his family .He asked the King to put one grain of rice in the first square of the chess board. , then put two grains in the second square ,four grains in the third square----and continue this way doubling the number of grains in the next square --till he reaches the end--the 64th square ."I will take whatever grains are there on the Chess Board..that will be sufficient for my needs"..said the Brahmin...........The king tried to satisfy the needs of the Brahmin ,but soon found out that all the grains in the Kingdom will still fall short of his needs ....... . The King was pleased with the priest's intelligence and appointed him as the Royal Astronomer & Astrologer .

-

The $\sqrt{-1}$, complex analysis, and how real world problems could be solved "by these objects which don't exist."

-

Maybe the fact that the homotopy category of a model category is equivalent to the full subcategory of fibrant-cofibrant objects with homotopy classes of morphisms.

-
Congratulations for finding that out as a child. –  azimut Jun 21 at 13:26

This is a new interesting 4x4 Magic Sqaure, which I believe will be interesting to School Children. Here each element of the square is a square number. This was provided by Dr. Geoffrey Campbell

509020 is the sum of rows and columns

  29^2 |  191^2 |  673^2 |  137^2 || 509020
-------+--------+--------+--------++--------
71^2 |  647^2 |  139^2 |  257^2 || 509020
-------+--------+--------+--------++--------
277^2 |  211^2 |  163^2 |  601^2 || 509020
-------+--------+--------+--------++--------
653^2 |   97^2 |  101^2 |  251^2 || 509020
=======+========+========+========++--------
509020 | 509020 | 509020 | 509020 || 509020

-

I don't find it beautiful, but I still find the idea expressed by the following something of a psychological curiosity:

How can it be that when some algebraists say "AND" and "OR" they mean exactly the same thing?

OR means this that "false or false" is false, "false or true", "true or false" as well as "true or true" are true, or more compactly:

    F  T
F  F  T
T  T  T


AND means this:

    F  T
F  F  F
T  F  T


But, since NOT(x OR y)=(NOT x AND NOT y) and NOT(T)=F and NOT(F)=T, OR and AND, to an algebraist, mean exactly the same thing!

-
Your answer implies that $\neg ( \perp \lor \top) \iff ( \neg \perp \land \neg \top) \iff ( \top \land \perp ) \iff ( \perp \lor \top)$. Your truth table for $\land$ is wrong. –  Andrew Salmon Mar 23 '13 at 21:10

## protected by Zev ChonolesMar 7 '13 at 22:43

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.