Eine nicht so kleine Mathmusik: from Lattice Labyrinths to Integer-sided Trithagorean Triangles

Revision: In the previous post we investigated “squaring” a lattice labyrinth tessellation, multiplying the  tessellation by itself and by its mirror image. This is equivalent to multiplying number pairs (a,b) x (a,b) and  (a,b) x (b,a) where (a,b) are the separation parameters of the tessellation. For values a ≠ b ≠ 0  we find we that the three non-zero parameters of the resulting product tessellations constitute a Pythagorean triple, the sides of  a right-angled triangle such as 3,4,5.

The multiplications were carried out by converting each number pair into a complex number, namely a + ib  and b + ia where i = √-1 .These complex numbers can then be multiplied using the normal rules we learned at school. This procedure reproduces Euclid’s formula for Pythagorean triples, namely if you substitute for a and b in the expressions     2ab,  a² + b², a² – b²  you find the three sides of a right-angled triangle. (You can check this for a = 2, b = 1)

More generally, it is also the case that if,we multiply one tessellation by a different one, (a,b) by (c,d) we obtain a product tessellation with separation parameters (m,n), say , where  m² + n² =  (a² + b²) x (c² + d²) so that the supertile area of (m,n) is the product of the supertile areas of (a,b) and (c,d). This is what makes constructing a “tessellation of tessellations” possible.

The purpose of this post is to do multiplications for lattice labyrinths on the TRIANGULAR lattice analogous to those summarised above for  the square lattice. On the triangular lattice  a lattice labyrinth tessellation is specified by separation parameters (e,f) measured along axes at 60° to each other. Below I illustrate the “squaring” of Trefoil Lattice Labyrinth (2,1), multiplying it by itself and by its mirror image, equivalent to multiplying the number pairs (2,1) x (2,1) and (2,1) x (1,2).

I’ve shown all the symmetry axes in the results – lozenges for dyads, triangles for triads and hexagons for hexads ( if baffled see earlier post on rotational symmetry simply explained).

SquaringTrefoil(2,1)first

SquaringTrefoil(2,1)secondLooking at the non-zero separation parameters of these two product tessellations we find that we’ve generated another triple of numbers: 3,5,7  which is certainly not a Pythagorean triple. To understand the significance of these numbers we need to look at the areas of a supertile,  expressed as the total number of little triangles of the lattice it contains.  We can calculate this algebraically, but let’s demonstrate the result  geometrically instead.

TriangleAreaExplanationIn the upper half of the figure you can see how each supertile of the tessellation of tessellations (3,5) corresponds to an equilateral triangle of the superlattice points, set out by counting 3 links and then 5 links along axes at 60º to each other. In the lower half of the figure I’ve constructed around this equilateral triangle a trigonally symmetrical hexagon and have then dissected it into two (shaded) triangles and two parallelograms.  The green triangle has area 3², the red triangle area 5² and each of the two parallelograms area 2 x (3 x 5). The area of the hexagon exceeds that of the triangle by three half-parallelograms, each of area 3 x 5 . To write this out arithmetically:

Equilateral triangle/ supertile area = 3² + 5² + 2 x 2 x (3 x 5) –  3 x (3 x 5) = 3² + 5² + 3×5.

We can do a similar construction and calculation for any pair of separation parameters, not only for such a tessellation-of-tessellations but also for any triangle set out at separation parameters (e,f).

Area of supertile of (e,f) = e² + f² + ef or, as I prefer to order the terms  e² + ef + f². Compare this with the area of a square specified by (a,b) on the square lattice, which is equal simply to a² + b². Number of the form e² + ef + f² are known as Loeschian  (or Löschischen?) numbers. You can demonstrate either algebraically or geometrically that Loeschian numbers are always of the form 3x or 3x+1, never 3x-1.

Now we can see the significance of the number triple 3,5,7. For the squaring of (2,1)  to work the (equal) supertile areas of (3,5) and of (0,7) must equal the product of the supertile areas of  (2,1)x (2,1) and of (2,1) x(1,2) – and indeed they do:

(2² + 2×1 + 1²) x (2² + 2×1 + 1²) = (3² + 3×5 + 5²) = (0² + 7×0 + 7²) = 49

In general, if (e,f) x (g,h) = (m,n) then (m² +mn + n²) = (e² +ef + f²) x (g² +gh+ h²) and so we can have tessellations of tessellations on the triangular as well as on the square lattice.

BUTBUTBUTBUT! How DO we multiply the separation parameters of tessellations on the triangular lattice?  WHY does (3,5) = (2,1)x(2,1)? WHY does (o,7) = (2,1)x(1,2)?  How, in general, do we arrive at (m,n) as the product of (e,f) and (g,h) on the triangular lattice?

We must follow the same procedure with number pairs set out on the triangular lattice  as we did in the previous post with number pairs on the square lattice, we need to convert number pairs on the triangular lattice to a single complex number.

This is slightly more complicated as complex numbers are defined relative to the real and imaginary axes at RIGHT ANGLES to each other, not axes at 60° to each other. See below.

TriangleLatticeComplexedYou can see that length AC = 3 + 5/2   and that BC = 5√3/2, so the number pair (3,5) can be represented by the point on the complex plane ( 3 + 5/2) + (5√3/2)i .

In general (e,f) can be represented by the single complex number (e + f/2) + (f√3/2)i  and likewise (g,h) can be represented by complex number = (g+ h/2) + (h√3/2)i

It is somewhat tedious but straightforward to multiply these two complex numbers together and then convert the resulting complex number back to a point (m,n) on the triangular lattice. If we do the algebra we obtain the formula for multiplying number pairs (e,f) and (g,h) on the triangular lattice:

(m,n) = ((eg-fh), (eh + fg + fh))

which you can see “contains” the multiplication rule on the square lattice but with one extra term fh added.

This is such a simple result; surely there must be a shorter and more elegant derivation.

Let’s test this formula for (2,1) x (2,1):   (m,n) = ((4-1), (2 + 2 + 1)) = (3,5) and for (2,1) x (1,2):    (m,n) = ((2-2), (4 + 1 + 2)) = (0,7)

It works! On the lattice we can see that the green and red triangles specified by separation parameters (3,5) and (0,7) do indeed have the same side length and area (49 triangles).

EqualityTriangleAreasWith our  number pair multiplication formula we can now generate lots of triples on the triangular lattice in the same way as we can generated lots of Pythagorean triples on the square lattice, by “squaring” number pairs (e,f) where e ≠ f ≠ 0.  (It’s worth checking what happens if e = f or f = 0).

We can also see how the triple 3,5,7  is the geometrical analogy in the equilateral world of the theorem of Pythagoras in the square world.

Pythagoras Trithagoras Each triple specifies a triangle with two sides at 120º to each other and of whole-number lengths and a “hypotenuse” side which also has a whole number length. The areas of the two smaller equilateral triangles PLUS the area of the grey 120º triangle itself add up to the area of the largest “hypotenuse” equilateral triangle,a  curious advance on Pythagoras’ theorem for the squares on the sides of a right-angled triangle.

If we expand the formulae for multiplying (e,f) x (e,f) and (e,f) x (f,e) we  get expressions for integral sides of  of a 120° triangle analogous to the Pythagoras formula for  integral sides of a right-angled triangle.:

(e,f) x (e,f) =(( e² – f²), (f² +2ef)) and  (e,f) x (f,e) = (0, (e² + ef + f²))

So our innominate triples are :   ( e² – f²), (f² +2ef), (e² + ef + f²)  I don’t know what these triples are called. Someone please enlighten me. Maybe they don’t have a name, these expressions can be found in an extensive Wikipedia article on triangles with integer sides, but no name is associated with them. To achieve copmpatibility with the way Pyathagorean triples are expressed, here are the innominate triples on the triangular lattice in terms of the conventional a and b:     ( a² – b²), (b² +2ab), (a² + ab+ b²) 

The last member of each triple is a Loeschian number where a ≠ b ≠ 0.

Here are the lowest order innominate triples with the number pairs that generate them.

(2,1)  3, 5,7;   (3,1)  7,8,13;   (3,2 ) 5,16,19;   (4,1) 9,15,21;   (4,2) 12,20,28;

(5,1) 11,24,31;  (4,3)  7,33,37;  (5,2) 21,24,39;   (6,1) 13,35,43;  (5,3) 16,39,49;

(6,2) 28,32,52;   (7,1)  15,48,57:   (5,4)  9,56,61;   (6,3)  27,45,63.

Some of the above triples are not primitive, for instance 12,20,28 is just 4 x 3,5,7. The above list misses out two further non-primitive triples: 6,10,14 and 14,16,26. These triples require multiplying DIFFERENT factors of 14² and 26² as 14 and 26 are not Loeschian numbers (being of form 3n+2) and cannot correspond to a number pair (e,f) on the triangular lattice.  To generate 6,10,14 we need to multiply (5,3) and (7,0) by (2,0); to generate 14,16,26 we need to multiply (8,7) and (13,0) by (2,0).

Phew!  Maybe I’ll do a purely pretty  post next time.

Here are some links to the inexpensive how-to-do-it  Lattice Labyrinths workbook which is available from the publisher or you-know-who , or from a good independent bookshop or via Google.

Advertisements

About davescarthin

After a brief academic and local government career, long an independent bookseller/publisher at Scarthin Books, Cromford, Derbyshire, UK. An antiquarian bookseller in two senses, now also has time to be an annuated independent post-doc, developing the long dormant topic of lattice labyrinth tessellations - both a mathematical recreation and a source of compelling practical tiling/paving and textile designs. Presenting a paper and experiencing so many others at Bridges Seoul 2014 Mathart conference was a great treat, as was the MathsJam Annual Conference in November 2016. I'm building up to a more academic journal paper and trying hard to find practical outlets in graphic design and landscape architecture. An 8 ft square tiling design was part of the Wirksworth Festival Art and Architecture Trail 2016. I love giving illustrated talks, tailored to the audience. Get in touch to commission or to collaborate.
This entry was posted in Mathematics, Trefoil Labyrinths and tagged , , , , , , , , , . Bookmark the permalink.

6 Responses to Eine nicht so kleine Mathmusik: from Lattice Labyrinths to Integer-sided Trithagorean Triangles

  1. abyssbrain says:

    That’s very nice. I have no ideas about this subject before (despite the numerous recreational math books that I have read). So, thanks for sharing it with us.

    Like

  2. abyssbrain says:

    I have also never seen the triplet ( e² – f²), (f² +2ef), (e² + ef + f²). The only thing comes close to my mind is the Euclid’s formula

    (x² + y²) = (2xy) + (x² – y²), where x and y can be any positive integers.

    Like

    • davescarthin says:

      I’ve corrected one point this morning, The triangular equivalent of Pythagoras is that the sum of the areas of the triangles on the smaller sides of the 120 degree triangle PLUS THEAREA OF THE TRIANGLE ITSELF equals the area of the triangle on the longest side. A beautiful phenomenon. Well done God ( or Logic)! (PS you have to SQUARE the terms in your “any positive integer” comment – as you know – one of those slips, like the one I corrected in the post)

      Liked by 1 person

  3. ivasallay says:

    This is latticelabyrinths at the PhD level, right? I understand some of it, but much of it is over my head. I’m sure the more I read about it, the more I’ll eventually understand.

    Like

    • davescarthin says:

      Kind of you to call it Ph.D. level. It seems to be new work so far as the tessellations are concerned but the mathematics is only university-entrance level pure mathematics and undergraduate level applied mathematics (I studied science and engineering not mathematics at university and my “doc” was in transport studies). You are in good company if you find it hard to follow; the fault must be in the clarity of my explanation. You can’t beat interactive face-to-face teaching and learning but I’ve also found it hard to get the ideas over that way, even to highly-trained “brainy” people. Come to think of it, the blog isn’t a “course” – for that you have to buy the book!! (and people get stuck on that too)

      Liked by 1 person

  4. Pingback: Tessellating the Hardy-Ramanujan Taxicab Number, 1729, Bedrock of Integer Sequence A198775. | LatticeLabyrinths

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s