Tiling a plane with equilateral convex semi-regular polygons differs from tiling a plane with regular ones, and it belongs to a special group of tiling. Based on the characteristics of the semi-regular equilateral polygons, the following types of tiling a plane with semi-regular polygons can be differentiated:

A) Tiling a plane with semi-regular polygons when the equal number of semi-regular polygons of the same type meet at each node;

B) Tiling a plane with semi-regular polygons when semi-regular equilateral polygons of different types and equal sides meet at one node;

C) Tiling a plane with semi-regular polygons when semi-regular equilateral polygons of different types and different sides meet at one node.

In this paper we shall consider the cases of tiling a plane as stated under section (A).

Let us consider tiling a plane if tiling is performed with semi-regular equilateral polygons.

If it is possible to perform tiling with one type of semi-regular polygons, than due to the existence of the two types of the interior angles: the angles along the vertices of the inscribed regular polygon, equal to angle

α = ( n − 2 ) π n + 2 ( m − 1 ) δ ,

and angles along the vertices of the edge polygons, equal to angle β = π − 2 δ , the following types of nodes can be differentiated [9]:

1) Nodes at which the vertices meet, to which the interior angles equal to the angle α correspond;

2) Nodes at which the vertices meet, to which the interior angles equal to angle β correspond;

3) Nodes at which the vertices meet, to which the interior angles equal to angles α and β correspond.

Let us assume that it is possible to perform tiling with semi-regular equilateral convex polygons of the same type, constructed in the manner as described above, with the characteristic elements n , m , δ and interior angles α , β .

Then in that case there is any non-negative integers t, s which are not simultaneously equal to zero, such that at one node, there are t vertices meeting, to which the interior angles equal to angle α correspond, and/or s vertices, to which the interior angles equal to angle β correspond.

Based on the value of interior angles α and β, and the fact that in that case, the sum of angles at each node is equal to 2π, the stated conditions may be written down in the form of the following equation

t ⋅ α + s ⋅ β = 2 π ⇔ t ⋅ [ ( n − 2 ) π n + 2 ( m − 1 ) δ ] + s ⋅ ( π − 2 δ ) = 2 π (4)

In this way, the problem of tiling a plane with one type of semi-regular convex equilateral polygons can be described as the solution of Equations (3.1). A semi-regular equilateral polygon is convex for δ ∈ 〈 0 ; π N − n 〉 , δ ≠ π N when the polygon is regular.

Based on this, for different values of n , m ≥ 2 ∈ ℕ and δ we also have different Diophantine equations. Here we analyze the case when characteristic angle δ = π l ⋅ ( N − n ) and l is any natural number greater than one, l > 1 ∈ ℕ . (A case when l = 2 m was dealt with in paper [9] ). For this value of angle δ, the Equation (4) has the following form:

t ⋅ [ ( n − 2 ) π n + 2 ( m − 1 ) π l ⋅ ( N − n ) ] + s ⋅ ( π − 2 π l ⋅ ( N − n ) ) = 2 π

⇔ t ⋅ [ n − 2 n + 2 l ⋅ n ] + s ⋅ ( 1 − 2 l ⋅ n ( m − 1 ) ) = 2

⇔ t ⋅ ( l ⋅ ( n − 2 ) + 2 l ⋅ n ) + s ⋅ ( l ⋅ n ( m − 1 ) − 2 l ⋅ n ⋅ ( m − 1 ) ) = 2.

After rearranging and solving, the last equation can be written in the following form:

( m − 1 ) ( l ⋅ n − 2 l + 2 ) ⋅ t + ( l ⋅ n ( m − 1 ) − 2 ) ⋅ s = 2 l ⋅ n ( m − 1 ) (5)

representing the Diophantine equation in which the unknown parameters are t , s .

Should we denote the coefficients respectively with:

A = ( m − 1 ) ( l ⋅ n − 2 l + 2 ) ,   B = l ⋅ n ( m − 1 ) − 2 ,   C = 2 l ⋅ n ⋅ ( m − 1 ) (6)

the equation can be written in a simpler form A t + B s = C .

For different values of n , m , l Equation (5) has different forms. Let us analyze the possibilities of tiling a plane with semi-regular polygons with N = 2 ⋅ m , m ≥ 2 , i.e. with those with which the inscribed regular polygon has n = 2 sides closed segment.

The Diophantine equation for tiling a plane with semi-regular equilateral polygons with 2 ⋅ m sides reads

( m − 1 ) ⋅ t + ( l ⋅ ( m − 1 ) − 1 ) ⋅ s = 2 l ⋅ ( m − 1 ) (7)

where l > 1 , m ≥ 2 ; m , l ∈ ℕ and unknowns t , s are the non-negative integers, i.e. t , s ∈ ℕ 0 The following theorem applies:

Theorem 4. Let P N be an equilateral semi-regular polygon with N = 2 m , m ≥ 2 ∈ ℕ sides and let δ = π 2 ⋅ l ⋅ ( m − 1 ) , l > 1 , l ∈ ℕ be its characteristic angle. Tiling a plane with semi-regular equilateral polygon P 2 m can be performed only if m = 2 or m = 3 , that is, the Diophantine Equation (7) has a non-negative integer solutions only for m = 2 or m = 3 .

Proof: To show the theorem’s claim, let us note that the problem of tiling a plane with a semi-regular equilateral polygon with 2m sides is equivalent to determining the set of all the solutions of the corresponding Diophantine Equation (7). Any pair ( t , s ) of the non-negative integers that are not simultaneously equal to zero and that meet the given equation represent its solution.

Let us show that the Diophantine Equation (7) has solutions only when m = 2 or m = 3 . Further, note that for a given value of angle δ = π 2 ⋅ l ⋅ ( m − 1 ) , l > 1 , m ≥ 2 ; m , l ∈ ℕ for the interior angles of a semi-regular equilateral polygon equal to angle α the following relation applies: α = 2 ( m − 1 ) ⋅ π 2 ⋅ l ⋅ ( m − 1 ) = π l , and for angles equal to angle β the following applies: β = π − 2 δ = ( 1 − 1 l ⋅ ( m − 1 ) ) .

Note that the solution of Equation (7) represents a pair of non-negative integers (t, s) that depend on the value of natural number m ≥ 2 ∈ ℕ and that the following cases can be distinguished:

Case 1: If t ≠ 0 , s = 0 , Equation (7) has the following form:

( m − 1 ) ⋅ t = 2 l ⋅ ( m − 1 ) (8)

From here we find that one solution, for m ≠ 1 of Equation (7) is a pair ( t , s ) = ( 2 l , 0 ) , which does not depend on the choice of natural numbers m ≥ 2 , l > 1 ∈ ℕ .

Case 2: If t = 0 , s ≠ 0 the Equation (7) reads: ( l ⋅ ( m − 1 ) − 1 ) ⋅ s = 2 l ⋅ ( m − 1 )

From here we find that

s = 2 l ⋅ ( m − 1 ) l ⋅ ( m − 1 ) − 1 = 2 + 2 l ⋅ ( m − 1 ) − 1 .

And from here, we find that s is a natural number, if and only if 2 l ⋅ ( m − 1 ) − 1 is a natural number, or if [ l ⋅ ( m − 1 ) − 1 ] | 2 .

If it were that: [ l ⋅ ( m − 1 ) − 1 ] | 2 , then one of these cases could arise:

1) l ⋅ ( m − 1 ) − 1 = ± 1 .

2) l ⋅ ( m − 1 ) − 1 = 2 because s ≠ 0 .

Let us consider both cases.

1) If it were that: l ⋅ ( m − 1 ) − 1 = − 1 , then it would be that l ⋅ ( m − 1 ) = 0 , which is impossible, because by assumption m ≥ 2 and l > 1 .

If it where that: l ⋅ ( m − 1 ) − 1 = 1 then it would be that l ⋅ ( m − 1 ) = 2 were from it would follow that l = 2 m − 1 . Since l ∈ ℕ then it means that m − 1 = 1 or m − 1 = 2 , whence we get that l ∈ ℕ if m = 2 or m = 3 .

- If m = 2 , then l = 2 , and then it is that s = 4 , t = 0 . A pair of (0, 4) is another solution of Diophantine Equation (7).

- if m = 3 , then l = 1 , which is contrary to the assumption that l > 1 , and, in this case, the Equation (7) has no solution.

2) If the case is that l ⋅ ( m − 1 ) − 1 = 2 , then l = 3 m − 1 . Hence, it follows that l is a natural number greater than 1, if m − 1 = 1 or m − 1 = 3 , that is, if m = 2 or m = 4 .

- If it were that m = 2 , then it would be that l = 3 . Based on that, it would be that s = 3 , so pair ( t , s ) = ( 0 , 3 ) is another solution of the corresponding Diophantine Equation (7)

- and the case when m = 4 is not possible, because then it would be that l = 1 , which is contrary to the assumption that l > 1 .

Case 3: Let t , s ≠ 0 , t , s ∈ ℕ . Let us transform Equation (7) as follows:

( m − 1 ) ⋅ t + ( l ⋅ ( m − 1 ) − 1 ) ⋅ s = 2 l ⋅ ( m − 1 )

s = 2 l ⋅ ( m − 1 ) − ( m − 1 ) ⋅ t l ⋅ ( m − 1 ) − 1 = 2 + 2 − ( m − 1 ) ⋅ t l ⋅ ( m − 1 ) − 1 (9)

From the last equation s = 2 + 2 − ( m − 1 ) ⋅ t l ⋅ ( m − 1 ) − 1 it follows that s is a natural number, if one of the cases occur:

1) 2 − ( m − 1 ) ⋅ t = 0 or

2) l ⋅ ( m − 1 ) − 1 | 2 − ( m − 1 ) ⋅ t .

Let us consider each of the cases.

1) If 2 − ( m − 1 ) ⋅ t = 0 , then s = 2 and t = 2 m − 1 is a natural number only for m = 2 and m = 3 .

In case when m = 2 , then t = 2 , so the pair of ( t , s ) = ( 2 , 2 ) is also the solution of Equation (7).

When m = 3 then t = 1 , and s = 2 , thus another pair of non-negative integers ( t , s ) = ( 1 , 2 ) has been determined ( t , s ) = ( 1 , 2 ) which is the solution of Equation (7).

2) Let us also consider case 2). Suppose that s ∈ ℕ 0 is defined by Equation (8) and that 2 − ( m − 1 ) ⋅ t l ⋅ ( m − 1 ) − 1 = p . Then from the assumption that s ∈ ℕ 0 , it follows that s = p + 2 ≥ 0 i.e. then the integer is p ≥ − 2 ∈ ℤ .

In relation to the constraint of the value of integer p, let us observe the following cases:

1) p = 0 , then 2 − ( m − 1 ) ⋅ t = 0 , We have already considered this case;

2) p = − 1 then from equation 2 − ( m − 1 ) ⋅ t l ⋅ ( m − 1 ) − 1 = − 1 it follows that

2 − ( m − 1 ) ⋅ t = 1 − l ⋅ ( m − 1 ) , and from this we get that t = 1 m − 1 + l . Since from the assumption that l ∈ ℕ , it follows that it must be that m = 2 .

For this value of number, it is t = l + 1 and s = 1 . So the pair of ( t , s ) = ( l + 1 , 1 ) is the solution of Diophantine Equation (7) for every natural number l > 1 .

1) If p ∈ ℕ , then from equation 2 − ( m − 1 ) ⋅ t l ⋅ ( m − 1 ) − 1 = p we get that t = 2 m − 1 − p ⋅ [ l ⋅ ( m − 1 ) − 1 ] m − 1 , or t = 2 m − 1 + p m − 1 − p ⋅ l . It follows from this equation that t is a natural number, if and only if 2 m − 1 and p m − 1 are natural numbers, that is, if m − 1 | 2 and ( m − 1 ) | p .

From the requirement m − 1 | 2 , it follows that it must be that m = 2 or m = 3 .

For m = 2 it applies that ( m − 1 ) | p and then it is t = 2 + p − p ⋅ l = 2 + p ( 1 − l ) and s = 2 + p . Furthermore, from the requirement that p = 2 − t l − 1 > 0 , it follows that it must be that: 2 − t > 0 , because l − 1 > 0 by assumption. It follows then that t = 1 ∈ ℕ . Now, for t = 1 from p = 2 − t l − 1 , it follows that p ∈ ℕ if l = 2 and p = 1 , then s = 3 .

Based on that, for m = 2 we have determined another solution of Diophantine Equation (7), and that is ( t , s ) = ( 1 , 3 ) .

If m = 3 , then from the condition that ( m − 1 ) | p and equation t = 2 + p − p ⋅ l , it follows that t = 2 + p 2 − p ⋅ l is a natural number only if p is an even number, i.e. p = 2 q , q ∈ ℕ . Furthermore, since t ∈ ℕ , by assumption, it follows that t = 2 + q − 2 q ⋅ l > 0 . From this inequation we then get that q < 2 2 l − 1 . Since q ∈ ℕ is only for l = 1 , which is contrary to the assumption that l > 1 . Thus, there is no q ∈ ℕ for which t ∈ ℕ , and the consequence of this is that for m = 3 , in this case, there is no solution for Diophantine Equation (7).

We have, thus, shown that the Diophantine Equation (7) has a solution only if m = 2 or m = 3 and that the set of solutions of Equation (7) is:

R = { ( t , s ) | t , s ∈ ℕ 0 } = { ( 2 l , 0 ) , ( l + 1 , 1 ) , ( 0 , 4 ) , ( 0 , 3 ) , ( 2 , 2 ) , ( 1 , 2 ) , ( 1 , 3 ) } ,

∀ l > 1 ∈ ℕ .

If in Equation (7) we put that m = 2 , we get the following equation:

t + ( l − 1 ) ⋅ s = 2 l ; l − 1 > 0 (10)

Equation (10) represents the corresponding Diophantine equation for the problem of tiling a plane with equilateral semi-regular quadrilaterals with a characteristic angle δ = π 2 ⋅ l and interior angles which are equal to angle α = π l or angle β = ( 1 − 1 l ) π .

Note that for l = 2 the interior angles of the quadrilateral are equal, and they are α = β = π 2 , so it is regular, and it is not subject to our investigation here.

Therefore, we shall further consider the case when l > 2 , l ∈ ℕ , i.e. when the interior angles of an equilateral quadrilateral are different. The theorem on nodes in tiling a plane with semi-regular equilateral quadrilateral holds.

Theorem 5. In relation to the selected value l > 2 , l ∈ ℕ , when tiling a plane with a semi-regular equilateral quadrilateral, only the following nodes can appear: R = { ( 2 l , 0 ) , ( 0 , 3 ) , ( l + 1 , 1 ) , ( 2 , 2 ) } , and in this case node (0, 3) appears only in the case of tiling a plane with a semi-regular quadrilateral whose characteristic angle is δ = π 6 , and interior angles are α = π 3 and β = 2 π 3 .

Proof. The problem of determining nodes is equivalent to the problem of finding all non-negative solutions of the corresponding Diophantine Equation (10). The following cases are possible:

1) If s = 0 , then t = 2 l , so, obviously, pair ( t , s ) = ( 2 l , 0 ) is the one solution of Equation (10) for all l > 2 , l ∈ ℕ . That is, when tiling a plane with a semi-regular equilateral quadrilateral, a node ( 2 l , 0 ) appears. That is, 2l vertices of semi-regular quadrilaterals which have the internal angles equal to angle

α = π l are joined at one node.

2) If t = 0 , then Equation (10) has the following form ( l − 1 ) ⋅ s = 2 l . The solution of equation s = 2 l l − 1 can be written in the form of s = 2 l l − 1 = 2 + 2 l − 1 , from which it follows that s ∈ ℕ 0 is a non-negative integer if, and only if l − 1 = ± 1 or l − 1 = ± 2 . If it were that l − 1 = ± 1 , value l = 2 (when the quadrilateral is regular) and value l = 0 do not meet the assumption that l > 2 , l ∈ ℕ . Only value l − 1 = 2 meets the assumption, and then l = 3 , and it follows that s = 3 . It follows that node ( t , s ) = ( 0 , 3 ) appears only when tiling a plane with a semi-regular equilateral quadrilateral with a characteristic angle δ = π 6 , and interior angles α = π 3 and β = 2 π 3 .

3) Let t , s ≠ 0 still be natural numbers. If we write Equation (10) in the form of s = 2 l − t l − 1 = 2 + 2 − t l − 1 , it follows that s is a natural number, if 2 − t l − 1 ∈ ℤ . Since 2 − t l − 1 ∈ ℤ , if:

a) 2 − t = 0 , that is, if t = 2 , then it still is that s = 2 . Thus, pair ( t , s ) = ( 2 , 2 ) is the solution of Equation (10). Hence, it follows that when tiling a plane with a semi-regular equilateral quadrilateral, a node (2, 2) appears at

which two vertices join, with an interior angle equal to angle α = π l and two vertices whith corresponding interior angles equal to angle β for each choice of natural number l > 2 , l ∈ ℕ .

b) If it were that 2 − t l − 1 = − 1 ∈ ℤ , and then it would be that 2 − t = 1 − l and then t = l + 1 , and s = 1 , so pair ( t , s ) = ( l + 1 , 1 ) is another solution of Diophantine Equation (10).

Thus, when tiling a plane with semi-regular equilateral quadrilateral, there is a node ( l + 1 , 1 ) at which the following vertices meet: vertex l + 1 with an interior angle equal to angle α = π l and another vertex with a corresponding interior angle which is equal to angle β .

c) If it were that 2 − t l − 1 = 1 ∈ ℤ , and then it would be that 2 − t = l − 1 , and then t = 3 − l . From the requirement that t = 3 − l > 0 , it follows that l < 3 . Since by assumption l > 2 , l ∈ ℕ , it follows that the case is not possible.

d) If 2 − t l − 1 = p ∈ ℤ , then it would be t = 2 − p ( l − 1 ) and s = 2 + p . Since by assumption t , s ≠ 0 are natural numbers, the following conjunction must hold:

p > − 2 and 2 − p ( l − 1 ) > 0 . Hence we find that the conjunction is valid only when − 2 < p < 1 , i.e. p ∈ { − 1 , 0 } if l = 3 . Thus, for p = − 1 it is t = 4 and s = 1 . This pair (4, 1) is obtained from the previous pair ( t , s ) = ( l + 1 , 1 ) if l = 3 . For p = 0 , we have that t = 2 and s = 2 . We got a pair, as in case a).

We have, thus, determined the set of all solutions of Equation (10), R = { ( 2 l , 0 ) , ( 0 , 3 ) , ( l + 1 , 1 ) , ( 2 , 2 ) } , i.e. all nodes that can appear when tiling a plane with semi-regular equilateral quadrilaterals, with a characteristic angle δ = π 2 ⋅ l and interior angles equal to angle α = π l and angle β = ( 1 − 1 l ) π .

A graphical presentation of the corresponding Diophantine equation with nodes when tiling a plane with semi-regular quadrilaterals is shown in Figure 3.

Table 1 also lists the basic values of semi-regular quadrilaterals with the corresponding Diophantine equation, as an example of tiling a plane with semi-regular equilateral quadrilaterals for various values l > 1 , l ∈ ℕ .

Let us now consider tiling a plane with some of the semi-regular equilateral quadrilaterals.

We noted that for l = 2 the characteristic angle is δ = π 4 , and that then the

1—quadrilateral is regular.

interior angles of the quadrilateral are equal; α = π 2 and β = π 2 so the observed quadrilateral is regular (square). Tiling a plane with these quadrilaterals has been previously considered [2].

For l = 3 , the corresponding Diophantine equation is t + 2 s = 6 . The set of solutions of this equation is:

R = { ( 6 , 0 ) , ( 0 , 3 ) , ( 4 , 1 ) , ( 2 , 2 ) } , and characteristic angle δ = π 6 , while the values of the interior angles are α = π 3 , β = 2 π 3 respectively.

Let us consider the example of tiling a plane when the following nodes appear: (6, 0) and (0, 3) (Figure 4) and nodes (0, 3), (4, 1) and (2, 2) (Figure 5).

For l = 4 when tiling a plane with a semi-regular quadrilateral with a characteristic angle δ = π 8 and one node, ( t , s ) = ( 2 , 2 ) , at which two quadrilaterals meet, with vertices to which two interior angles equal to angle α = π 4 correspond, and two quadrilaterals with vertices to which interior angles equal to angle β = 3 π 4 correspond (Figure 6).

A case of tiling a plane with a semi-regular quadrilateral in which there is a node (8.0) and a node (2.2) is shown in Figure 7, while tiling a plane with a semi-regular equilateral quadrilateral with nodes (5.1) and (2.2) is shown in Figure 8.

If, in Equation (7) which corresponds to the problem of tiling a plane with semi-regular equilateral polygons with 2m-sides,

( m − 1 ) ⋅ t + ( l ⋅ ( m − 1 ) − 1 ) ⋅ s = 2 l ⋅ ( m − 1 )

with l > 1 , m ≥ 2 ; m , l ∈ ℕ and unknowns t, s are non-negative integers, i.e. t , s ∈ ℕ 0 , we insert that m = 3 , we get the following equation:

2 t + ( 2 l − 1 ) ⋅ s = 4 l ;   l − 1 > 0. (11)

Equation (11) represents Diophantine equation for the problem of tiling a plane with equilateral semi-regular hexagons with characteristic angle δ = π 4 ⋅ l and interior angles that are equal to angle α = 2 π l or angle β = ( 1 − 1 2 l ) π . Each pair ( t , s ) of the non-negative integers that are not simultaneously equal to zero and that meet Equation (11) is the solution of the equation.

The theorem holds.

Theorem 6. In relation to the selected value l > 1 , l ∈ ℕ when tiling a plane with a semi-regular equilateral hexagon, only nodes ( 2 l , 0 ) , ( 1 , 2 ) can appear for all values of the characteristic angle δ = π 4 l and interior angles α = 2 π l and β = ( 1 − 1 2 l ) π .

Proof: The problem of determining nodes is equivalent to the problem of finding all non-negative solutions of Diophantine Equation (11). In doing so, let us consider the following cases:

Case 1: If t ≠ 0 , s = 0 , the equation has the following form 2 t = 4 l , whence we find that there is a pair ( t , s ) = ( 2 l , 0 ) , which represents the solution of Equation (11) for all l > 1 , l ∈ ℕ .

From this, it follows that when tiling a plane with a semi-regular equilateral hexagon, there appears node (2l) at which two vertices meet with an interior angle equal to angle α = 2 π l and for each choice of a natural number l > 1 , l ∈ ℕ .

Case 2: If t = 0 , s ≠ 0 , then Equation (11) reads ( 2 l − 1 ) ⋅ s = 4 l . Let us examine for which values of l > 1 , l ∈ ℕ it is that s = 4 l 2 l − 1 and it is a natural number. Note that s = 4 l 2 l − 1 = 2 + 2 2 l − 1 and that s ∈ ℕ is valid only when 2 l − 1 is divided by 2. This is possible only when 2 l − 1 = ± 1 or 2 l − 1 = ± 2 . If it were that 2 l − 1 = ± 1 than it would be that l = 0 or l = 1 and these values do not meet the requirement that l > 1 , l ∈ ℕ . If it were that 2 l − 1 = ± 2 then it could be that l = 3 2 or l = − 1 2 , and also none of these values meets the requirement that l > 1 , l ∈ ℕ . Thus, we conclude that there is no pair (t, s) in which t = 0 , s ≠ 0 , and which is the solution of Equation (11) and which meets the requirement l > 1 , l ∈ ℕ , and there is no node (0, s) as well, when tiling a plane with semi-regular equilateral hexagon.

Case 3: Let us assume that t ≠ 0 , s ≠ 0 . Then from equation 2 t + ( 2 l − 1 ) ⋅ s = 4 l we get that t = 2 l − l ⋅ s + s 2 . Note that t ∈ ℕ only if s is an even number.

Let s = 2 p , p ∈ ℕ . Let us determine the values for natural number p.

Since t = 2 l − 2 l ⋅ p + p for s = 2 p then from the assumption that t ≠ 0 and t ∈ ℕ it follows that it must be that t = 2 l − 2 l ⋅ p + p > 0 , which is possible if 2 l − 2 l ⋅ p ≥ 0 , which is equivalent to the requirement that l ( 1 − p ) ≥ 0 , or the requirement that p ≤ 1 . Hence, from the requirement that p ∈ ℕ it follows that t > 0 only when p = 1 . For this value p ∈ ℕ is t = 1 , and s = 2 , for all values of l > 1 , l ∈ ℕ .

We have, thus, determined another solution of Diophantine Equation (11).

That is, when tiling a plane with a semi-regular equilateral hexagon, a node (1, 2) appears at which one vertex of a semi-regular equilateral hexagon meets, with a corresponding interior angle equal to angle α, and two vertices of a semi-regular equilateral hexagon, with a corresponding interior angle equal to angle β for each selection of natural number l > 1 , l ∈ ℕ .

We have, thus, shown that the set of all solutions of Diophantine Equation (11) is R = { ( 2 l , 0 ) , ( 1 , 2 ) } , i.e. that only nodes ( 2 l , 0 ) , ( 1 , 2 ) can occur when tiling a plane with a semi-regular equilateral hexagon, for all values of l > 1 , l ∈ ℕ .

Examples of tiling a plane with semi-regular equilateral hexagons with corresponding Diophantine equations are shown in Table 2, and graphically in Figure 9 and Figure 10.