Tuesday, November 29, 2016

polynomial grid division examples

There are not enough examples of polynomial division using the grid method out there. So, to remedy that, I have posted about 100 billion examples for your viewing pleasure. Please check ‘em out: https://dmackinnon1.github.io/polygrid/

Jokes aside, I was looking for a small JavaScript project, and this one looked like it would be fun. It was, and I learned a few things by building it. The page will generate a small number of examples, but you can get a fresh batch by reloading. Each example is calculated on the fly, and rendered using MathJax. Currently, the displayed calculations look like this:


About half the time the examples have remainders, and the calculations vary in length and complexity in no particular order, so if you get a crop of examples that look too intimidating, or too easy, just keep trying and you should get ones more to your liking. If you see one you like, you should copy it down: you may never see it again.

I have plans to make the examples configurable and to show each part of the calculation step by step, but I may not get around to doing that for a while.

Please let me know if you get some use out of this page, particularly if you run into any trouble with it. 

Overviews of how to carry out the grid method, also called the generic rectangle method or the reverse tabular method, can be found here and here. The page does not currently provide any ‘backwards reverse tabular’ calculations, as described here.

Friday, November 18, 2016

Desmos polygonal number diagrams


Polygonal numbers are a favorite topic in recreational math and there are quite a few posts about them on this blog (such as this one, here). The image above hints at some of their interest: polygonal numbers, like the pentagonals shown above have numerical properties that translate nicely into visual properties in their associated diagrams.

The very first post of this blog had some instructions for how to generate polygonal number diagrams using Fathom or Tinkerplots (two dynamic data environments; their successor CODAP seems to have the same capabilities), so attempting to do the same in Demos seemed like a good idea.

The first few triangular number diagrams

You can play with the graph here. With it you can choose an n and k value which will plot (x, y) values that will form an n-dot k-polygonal number diagram, with or without the connecting lines.

Some examples from the polygonal
number graph

If the dots form a complete diagram, that means that n is a k-polygonal number. So this graph will draw partial diagrams. For example, you can draw a square with 9 dots, so it's a square number, but you can't draw a square with 10 dots, so it is not a square number. You can draw a hexagon with 15 dots, so it's hexagonal, but you cannot do the same with 26.

15 is hexagonal, 26 is not

To understand the formulas, or come up with your own, you need to be aware of the rules for how to form polygonal diagrams, which are based on the idea of adding a layer of points (called a gnomon) to the previous k-polygonal number to get the current k-polygonal number. Using the graph, you can likely figure out the rule how many dots will be in each gnomon for a given layer and k value.

pentagonal 12, gnomons
shown on right


81 is the sixth heptagonal number: 
there are 5 gnomons (of 5 sides each) layered on 
top of 1 to make 81


The way I chose to draw these was that for a given number n, you determine which gnomon layer it lies in, how far along the gnomon layer it is, and what side of the gnomon it is on. The gnomon layer for n tells us where to start: we just need to count up to the layer along angle that is determined by k. If we know how far along in the layer it is, we know how many dots to move along before plotting our point. And finally, if we know which side it is on, we know how many turns to make along the way.

So for example, the formula for the y coordinate is this:


Applying the explanation above, you may get a sense of how it works:

Built into this there is a little more complexity: one method of finding out the gnomon layer we are in is to use a formula for computing polygonal numbers along with the quadratic formula (found in the polygonal number formula calculations section of the graph).

When I've written little programs to draw polygonal numbers before (like in the Fathom/Tinkerplots version), I relied heavily on conditional statements (if/else) and on iteration/recursion (use of the prev() function). It was a challenge for me to take something that relied on those sort of programming constructs and translate it into an extreme function-oriented environment like Desmos. It was revealing to see how conditionals became products of 'truth functions' (returning 0 or 1), and how iterations were replaced by sums.

Friday, October 28, 2016

doodling with Froebel

Maybe it is time to unplug, put that graphing calculator aside, lay out some graph paper, and pick up a pencil. But what to do? The tyranny of the blank page plagues not only writers, but doodlers as well.

A great source of inspiration for how to fill that graph paper are nineteenth century Froebelian kindergarten text books. Froebel proposed a curriculum based on manipulating and creating using basic forms, realized in the form of "gifts" that were provided to students at various stages of their learning. The gifts were blocks, sticks, squares of paper, drawing tablets and other objects that were used to build, weave, cut, fold, and draw combinations of basic forms. Some old textbooks include nice illustrations of how the gifts were used. For example, the seventh gift was "parquetry tablets," very much like the pattern blocks that are found in many classrooms. The illustrations for these provide some nice inspiration for what you can do when presented with a blank sheet of graph paper.

These illustrations, showing the richness of what can be done with the 45-90 triangle, are from The Kindergarten Guide: An Illustrated Hand-book, Designed for the Self-instruction of Kindergartners, Mothers, and Nurses (1877), by Maria Kraus-Boelte (on google books, here).




The similar set below are taken from The Paradise of Childhood: A Manual for Self-instruction in Friedrich Froebel's Educational Principles, and a Practical Guide to Kinder-gartners (1869), by Edward Wiebe (on google books here).




For example, starting with motif 72/232, I found one way to fill the page.

a pattern based on motif 72/232

Of course, it wasn't long before I felt compelled to re-create it using some dynamic geometry software (GSP):

As you get into the flow, a host of associations and observations may come to mind. One thing I noticed about this pattern was that the gaps look like something you would make from an origami windmill base (almost a pajarita or cocotte, a popular "European" origami model). Not all things that pop into your head at this point are legitimate observations, of course, and upon investigation I found that the gaps are not quite a proper pajarita:


the pajarita

But seeing origami birds flying around in that pattern seems appropriate: the eighteenth Froebelian gift was folding papers, which were used to explore patterns that could be obtained from the windmill base:

Some Froebelian forms from origami
windmill base (from 
Origami Spirit)

Back to doodling, I tried another variation using the same basic motif:

another pattern based 
on motif 72/232


Is it just a coincidence that the gaps in both patterns have the same area? Maybe, but there must be a minimal gap for any pattern based on this motif, perhaps three squares is what it is (more doodling required).

gaps in patterns based on 72/232 have the
same total area, maybe

I have to put this aside now, but you should get started. Here are a few more panels from The Paradise of Childhood that might inspire some grid paper doodles:





Tuesday, October 25, 2016

notes for a spirolateral bestiary

The simple rules for creating generalized spirolaterals produce a surprisingly diverse menagerie of paths which trace out some familiar and less-familiar shapes, including regular polygons, star polygons, tangles, wreaths and infinitely long springs.

some spirolaterals (graph here)

In the formula below, a represents the angle that you turn by at each step, and m represents the maximum length of the sides that you count up to before repeating. If m = 1, all sides are length 1, if m = 2, then the sides alternate between length 1 and length 2, for m = 3, the lengths of the sides form the repeating squence 1, 2, 3, 1, 2, 3... etc.
If the angle that you turn by is a rational multiple of 2pi, then the first spirolateral (m = 1) will trace out either a regular polygon or a regular star polygon - it is always adding a length of 1, and since the angle is a multiple of 2pi you will close the loop and end up back where you started.
Different story if the angle not a rational multiple of 2pi: you will never get back to the starting point, and the first spirolateral is going to look like an annulus after enough iterations (below is a = 2, zoomed in on the left, zoomed out on the right):

spirolateral that does not (soon) meet up - graph here

For higher values of m, although the shapes traced out vary widely they are always equiangular (we are always turning by the same angle, after all). So for m = 2 we end up with isogonal figures: every vertex is the same - it always has the same angle and always has sides of lengths 1 and 2 on either side of it. Here are some isogonal polygons - the first, the rectangle, is pretty familiar; the second, @solvemymaths tells us, may be a ditrigon.

And here are a few star-isogonals:

What about the beasties that spiral off to infinity? One set of these springs occur when a = pi/k for some positive integer k  and m = 2k.


And then there are the tangled stars... not sure where to begin with these.

Trying classify even a few of these strange creatures reminds me of Borges' Book of Imaginary Beings.

Thursday, October 20, 2016

more familiar spirals in Desmos: spirolaterals

After the last post about how to draw some types of spirals using Desmos, I was pointed to a treasure trove of spiral and Desmos goodness in the twitter microblogging of @Veganmathbeagle and @GHSMaths. I haven't yet had the chance to dig too deeply yet, but looking forward to it.

Also, @Desmos kindly improved upon one set of spirals: the "polygonal numbers on quadratic spiral" family, showing how to connect the dots and link up the points of the spiral (the improved graph is here). The technique: use the functions for x and y to create a family of parametrically defined line segments. To create a line segment between two points A and B, you can introduce a parameter t which moves you from A to B as t varies from 0 to 1, applying this idea to pairs of points on the graph allows you to connect up the discrete points.
parametric formula for line segment AB

Armed with this, I'm adding one more group of spirals to the list: spirolaterals.

Spirolaterals

Spirolaterals are easily drawn by hand by following this simple rule: draw line segments starting at 1 unit long and going up to n units long, turning 90 degrees between each segment, and then repeating the process from 1 again.

The first spirolateral traces out a square: move 1 space, turn 90 degrees, move 1 space, turn 90 degrees, move 1 space, turn 90 degrees,... you get the idea. The second spirolatoral yields a rectangle: move 1 space, turn 90 degrees, move 2 spaces, turn 90 degrees, move 1 space, turn 90 degrees, move 2 spaces, turn 90 degrees.... Maybe not so fascinating, but the third spiral gives an interesting shape of 4 rotated rectangles, and the fifth spirals off the page like an uncoiling spring.

I learned about spirolaterals from The Puzzle Universe (review here). The definition did not, to me at least, look like something easily expressed using equations. At the time I wrote a little Processing program to draw them:

some spirolaterals for small m values

If you are of a certain age, these might remind you of something you might draw in LOGO (Turtle graphics). But can you do it in Desmos? Yes you can. Here is one way to express the nth step of the mth spirolateral:


spirolateral 19 in Desmos graph here

Is this an efficient way of drawing spirolaterals? Maybe not: at each step you are effectively re-tracing the whole length of the spiral (the sum does this). But what I think is cool is that it can be done at all. In this case, something that you might think requires programming constructs (a loop, some temporary variables), can be compressed into simple equations. Here the key device is the modulo function (actually modulo plus 1), which ensures that you keep repeating the sequence 1 to m as you step around the spiral.

Other angles

I know what you want to do: you want to change the rules. Ok, one thing to try is to not to turn at a 90 degree angle, but some other angle: each choice of an angle gives a new family of spirolaterals.


spirolaterals based on 60 degree turns (graph here)


spirolaterals based on a 144 degree angle (graph here)

A general graph that has sliders to allow you to play with the angles is here.

Spirolaterals are a lot like the Euler spirals mentioned in the previous post. In a way, they are almost dual to those - Euler spirals keep the same magnitude for each step but keep increasing the angle that they turn by at each step, while spirolaterals keep the same angle but keep increasing the magnitude of each step (up to a limit, after which they repeat). Here is an improved version of the Euler spiral graph, this time with connecting lines.

Euler spiral (graph here)