arxiv: v1 [math.nt] 14 Sep 2014

Transcription

1 ROTATION REMAINDERS P. JAMESON GRABER, WASHINGTON AND LEE UNIVERSITY 08 arxiv: v1 [ath.nt] 14 Sep 014 Abstract. We study properties of an array of nubers, called the triangle, in which each row is fored by rotating all the nubers in the previous row to the left by positions in cyclical fashion, then appending a nuber to the end of the row. We show that a nuber s position in the triangle is uniquely deterined by the infinite sequence of colun positions called rotation reainders which we track as the nuber repeatedly rotates back to the first coluns. The rotation reainders can be viewed as the digits in a base /( + 1) expansion in an -adic topological ring of a nuber encoding a given position in the triangle. Properties of these expansions are used to prove interesting clais about the triangle, such as the aperiodicity of any sequence of rotation reainders. This article was the author s senior thesis toward the copletion of a atheatics ajor at Washington and Lee University. 1. Introduction An object in atheatics that first appears for the sake of auseent can deonstrate deep connections with well-known questions about nubers. Consider an array of nubers fored by a rotating queue: starting with just the nuber 1, to obtain the next row we ove everything in the last row steps to the left, with nubers at the front of the row cycling around and appearing at the back. We then append 1 plus the head of the last row to the new row. Here is an exaple showing the first few rows when = Note that each individual nuber can be tracked as it goes through the rotations; the at the head of row 5 is different fro the at the head of row 6. We can iagine this situation physically as people standing in line (or, better yet, a circle) with one ore person being added to the line at each turn. Before a person is added to the line, everyone in the line rotates according to the schee described above everyone oves up by spaces, with those at the front being oved to the back. For soe of the central questions in this paper, it ay be ore helpful just to view the situation in this way, and forget about the nuber each person is carrying. Each nuber will repeatedly rotate back to one of the first coluns. Suppose we label the coluns 0, 1,,... and we want to track the following behaviors: (1) the colun positions in which a nuber appears as it repeatedly oves back to the first coluns, () the frequency with which 1 is at the head of a row, 1

2 () the frequency with which a new nuber appears in the array, and (4) the frequency with which a certain nuber appears in a row. This paper will explore these questions, with the largest aount of work being spent on the first question. In this introduction, we will introduce soe notation to get us started. Then we will give our ain results, which will be proved in the ain body of the paper. The introduction will conclude with an outline of the ain body of the paper. Here we introduce the ain character of this paper. Definition. The sybol T will refer to the array described above. Occasionally we refer to T as the triangle. Definition. Let x be a positive integer. Then let r be any integer, and let r 0 be r reduced odulo x. The sybol T (x, r) will refer to the nuber that appears in row x and colun r 0 of the triangle T. Note the iportant distinction between the triangle T and the nuber T (x, r). Definition. The positive integer will be referred to as the rotation nuber. We can write out the contents of T exactly, using the following recursive relations. T (1, 0) = 1, T (x, r) = T (x 1, r + ), and T (x, x 1) = 1 + T (x 1, 0), the last two conditions holding for all x > 1 and 0 r x. Note that when we say T (x, r) = T (x 1, r +), we are secretly doing a rotation, but the wrap-around is built into the definition of T (x, r) since r is reduced odulo x to get the actual colun position of T (x, r). Here is an exaple to show what we are doing. We know fro the opening table that the following two rows appear in T : The 4 in colun of row 9 oves to colun 0 of row 10, the in colun 4 of row 9 oves to colun 1 or row 10, and so on; i.e. T (10, 0) = T (9, ), T (10, 1) = T (9, 4), etc. But when we say T (10, 7) = T (9, 10), we are not saying the in colun 7 of row 10 cae fro colun 10 of row 9, since there is nothing in colun 10 of row 9. By definition, however, T (9, 10) = T (9, 1), since 10 reduced odulo 9 is 1. Thus we are saying the in colun 7 of row 10 cae fro colun 1 of row 9, which is exactly what happens in the rotation. This way of defining T (x, r) for r x allows us to think of each row as a cycle, which is what we will need in order to correctly think about the questions posed in this paper. Motivated by the first question stated above, let us introduce one last notation. Definition. Let x be a positive integer and let r be a least nonnegative residue od. Suppose T (x, r) = N. We define the sequences {x n (x, r)} n=0 and {r n(x, r)} n=0 as follows. Let x 0(x, r) = x and r 0 (x, r) = r. Then for each positive integer n, let x n (x, r) and r n (x, r) be the sallest possible integers satisfying the following: (1) x 0 (x, r) x 1 (x, r) x n (x, r); () 0 r n (x, r) 1; () if x n (x, r) = x n 1 (x, r), then r n (x, r) > r n 1 (x, r); and (4) T (x n (x, r), r n (x, r)) = N. The sequences {x n (x, r)} n=0 and {r n(x, r)} n=0 are said to track the nuber N down the first coluns of T. In ters of people standing in a line, {x n } and {r n } would be defined as follows. Suppose a person standing in the line wrote down his position every tie he ended up in the first spots in

3 line. He would write down how any people are in the row (this would be x n ) and how far he is fro the front of the line (this would be r n ). To give an exaple, we go back to the T and track the 1, while filling in soe epty spots: The faded 1 s have been added to the triangle legitiately, because T (1, ) = T (1, 1) = T (1, 0) and T (, ) = T (, 0) by definition of T (x, r). By reading off the position of the 1 in the first coluns, we can see that (1.1) {x n (1, 0)} = {1, 1, 1,,,, 4, 5, 7, 9,...}, and {r n (1, 0)} = {0, 1,, 0,, 1, 1,, 1,,...}. There is an interesting way to encode the sequences {x n (x, r)} and {r n (x, r)}. Let y 0 (x, r) = ( + 1)x 0 (x, r) + r 0 (x, r) = ( + 1)x + r. For each n N, let y n (x, r) = (+1)yn 1 (x,r). The following result shows why this is such a cleverly designed sequence Proposition. For each non-negative integer n, = x n (x, r) and y n (x, r) r n (x, r) od yn(x,r) +1 ( + 1). Stated ore colloquially, x n (x, r) is the quotient and r n (x, r) is the reainder when y n (x, r) is divided by + 1. Now that we have introduced all the necessary notation concerning the eleents of T, we are ready to give our ain results. The first theore requires a definition. Definition. Let D be the set of all rational nubers that can be written in the for a/b, where a and b are integers that are relatively prie and b is relatively prie to. In the next section, we will prove that D is a topological ring. We will then ake our way to a proof of the following theore. 1.. Theore. There exists a topological ring Q with the following properties: (1) Q is a coplete etric space. () Q contains a sub-ring isoorphic to D. () In Q, for any starting row x and colun r, ( ) k (1.) y 0 (x, r) = r k (x, r). + 1 k=1 Reark. As a consequence of part () in Theore 1., the sequence {r n (x, r)} n=1 deterines y 0 (x, r) and hence deterines x and r. We ight even be tepted to think of the sequence {r n (x, r)} as the base +1 expansion of y 0(x, r). We will show later how such expansions can be treated as eleents in a ring independent of their corresponding eleents in D.

4 Reark. Although 1/ is not an eleent of Q, it is still reasonable to write y 0 (x, r) = 1 ( ) k r k (x, r), + 1 k=1 because all the ters in the su on the right have at least one factor of in their nuerators. Theore 1. tells us that in the triangle T, the colun positions of a nuber as it appears within the first coluns can be used to deterine the position in which the nuber started. This is soewhat surprising although it sees natural to deterine the colun positions fro the starting position, it is difficult to iagine doing the opposite. Nevertheless, this special sequence {r n (x, r)} can be used to deterine x and r using this bizarre su. In ters of people standing in a line, it eans that no two people can appear to have parallel paths. In other words, if you are standing in the line, writing down how far you are fro the front each tie you ake it to the first spaces in the line, the sequence you get is unique to you. In fact, every tail of this sequence is unique to you, as the following corollary iplies. 1.. Corollary. Suppose we have x and r such that {r n ( x, r)} n=0 is a tail of {r n(x, r)} n=0. That is, suppose there exists soe positive integer j such that r n ( x, r) = r n+j (x, r) for every n. Then x = x j (x, r) and r = r j (x, r). Another consequence is that the tail of a sequence of {r n (x, r)} n=0 deterines the beginning of the sequence, no atter where we choose to start the tail Corollary. Suppose x, r, x and r are integers such that {r n (x, r)} n=j = {r n( x, r)} n=j for soe positive integer j. Then {r n (x, r)} n=0 = {r n( x, r)} n=0. An intriguing fact about {r n (x, r)} is that it turns out not to have any repeating patterns in it. Suppose again you are standing in the line, writing down how far you are fro the front each tie you ake it to the first spaces in the line. Then you notice that you have written the sae few nubers several ties over in the sae order. You ight wonder whether this will go on forever. The following theore assures you that it will not Theore. For any starting row x and colun r, the sequence of colun positions {r n (x, r)} is aperiodic. The final result in our introduction focuses on a particular triangle, T. The general question, whether or not every person in the line will eventually coe to the front of the line, is a very difficult question for >. However, the answer is fairly easy for =, and we will spend an entire section later on finding out as uch as we can about what happens in this case Theore. A given nuber in T will appear at the head of infinitely any rows. Reark. Theore 1.6 does not tell us which rows a particular nuber will lead. We will discuss this in a later section. These theores constitute our ain results. To conclude this introduction, we give an outline of the ain body of the paper. We will spend the largest aount of effort on question (1) stated above, that is, on the sequences of row and colun positions of an eleent in T. This effort will require three sections of technical background, in which we discuss the rings D and Q and introduce the concept of a rotation reainder expansion of a nuber. Then we will have three sections of proofs for Theores 1., 1.5, and 1.4. Next, we will explore the reaining questions posed in this introduction by liiting our view to the cases = 1 and =. Finally, we will deonstrate the connection between our triangle T and the proble of Josephus, a faous proble in nuber theory. Acknowledgeent. Special thanks to Jacob Siehler for directing this senior thesis project, and for propting the author to publish the results. 4

5 . The Ring D In the introduction, we defined D as {a/b Q : gcd(, b) = 1}. We proised to show that D is a topological ring. This will be the priary purpose of this section. Additionally, we will deonstrate that D is not coplete, thereby showing the need to introduce Q in the next section. We now establish that D is a ring. In particular, it is a subring of the rational nubers. All the properties of addition and ultiplication in D are inherited fro the rationals. Thus it suffices to show that D is closed under these operations. Let a/b and c/d be in D so that b and d are each relatively prie to. Since bd is also c d = ac relatively prie to, it follows that a b + c d = ad+bc bd and a b bd are each in D. Hence D is closed under ring addition and ultiplication. Closure under additive inverses is trivial to show. Therefore D is a subring of the rationals. Next, we define a nor and a etric on D. Definition. Let a/b D be given. We define a b to be k, where k is the greatest integer such that k divides a. (For a = 0 we say that k = and that 0 = 0.) We call the -adic nor on D. Before we define a etric based on this nor, two rearks are in order. First, the -adic nor on D is very siilar to the notion of a p-adic nor on the rationals, where p is a prie []. A p-adic nor defined on rationals a/b is based on how any ties p divides a and how any ties p divides b. Because need not be prie, we do not attept to include any eleents in D that have denoinators not relatively prie to. Thus, for any a/b D, a b 1. The second reark is an obvious but useful observation: for any a/b D, a/b = a. We will use this fact often without reference. Now that we have established a nor on D, we proceed to define a etric. Definition. Let the function d : D D [0, 1] be defined in the following way: for any eleent a/b D, let d ( a b, c ) d = a b c d..1. Proposition. The function d is a etric on D. Proof. Because the divisors of a and a are exactly the sae, a b = a b, and thus d is syetric. Because 0 = 0, d ( a b, a ) b = 0. Now we ust check the triangle inequality. Let x = a b, y = c d, and z = e f. Observe that x y = ad bc, y z = bd cf de, and x z = df af be. bf Let a = ka, c = kc and e = ke. The greatest power of dividing ad bc is in{ ka, kc }, the greatest power of dividing cf de is in{ kc, ke }, and the greatest power of dividing af be is in{ ka, ke }. It follows that d(x, y) = ax{ ka, kc }, d(y, z) = ax{ kc, ke }, and d(x, z) = ax{ ka, ke }. Fro this we get the decisive inequality d(x, y) + d(y, z) ax{ ka, kc, ke } ax{ ka, ke } = d(x, z). Thus the triangle inequality holds, and d is a etric. Now we will show that D is a topological ring. We ust show that addition and ultiplication are continuous functions fro D D to D. The proof for addition requires only the triangle inequality. The proof for ultiplication requires the following lea... Lea. Suppose x and y are in D. Then xy x y y. 5

6 Proof. Let x = a b and let y = c d. Let x = k and y = l. Then a = e k and c = f l for soe integers e and f. Thus ac = ef k+l ; hence k+l ac. It follows that ac (k+l) = x y ; hence xy x y. This proves the left-hand inequality. The right-hand inequality follows, since x 1. This proves the lea... Proposition. The ring D is a topological ring. Proof. First we show that the addition operation is continuous. Suppose (x, y) is a point in D D and that {(x n, y n )} n=1 is a sequence converging to (x, y). Let ɛ > 0 be given. Then there exists a positive integer K such that whenever n K, then x n x < ɛ/ and y n y < ɛ/. Since the triangle inequality holds, whenever n K we have (x n + y n ) (x + y) (x n + y n ) (x + y n ) + (x + y n ) (x + y) = x n x + y n y < ɛ/ + ɛ/ < ɛ. Therefore, x n + y n x + y. It follows that addition is continuous. Now using Lea., whenever n K we also have x n y n xy x n y n xy n + xy n xy x n x + y n y < ɛ/ + ɛ/ = ɛ. Therefore, x n y n xy. It follows that ultiplication is continuous. Since addition and ultiplication are both continuous fro D D to D, it follows that D is a topological ring. The next fact we will show is that D is not coplete. That is, there ust be Cauchy sequences in D such that fail to converge. First, observe that any sequence of the for { n k=1 k s k } n=1 in D is a Cauchy sequence. Now the following lea and its corollary will establish that D is not coplete..4. Lea. Let {s k } be a sequence of least nonnegative residues odulo. Then the series k s k converges to 0 in D if and only if s 0 = s 1 = s = = 0. Proof. Suppose k s k = 0. Suppose, in order to obtain a contradiction, that there are nonzero eleents in {s k }. Let p be the sallest integer such that s p 0. Since k s k = 0, there exists soe N 1 such that whenever n N 1, n k s k < p. Let N = in{p, N 1 }. Now N k N s k = k s k < p, k=p which iplies that p+1 ust divide N k=p k s k. Since p+1 divides N k=p+1 k s k, it ust also divide p s p. This iplies that divides s p, which is a contradiction, for 0 < s p <. Therefore, there is no non-zero eleent in {s k }. This proves that s 0 = s 1 = s = = 0. The other direction of the proof is trivial..5. Corollary. Let {s k } and {t k} be sequences of least nonnegative residues od. Suppose k s k and k t k each converge to the sae liit. Then s k = t k for every k. Proof. The hypotheses together iply that k (s k t k ) = 0, so by Lea.4, s k t k = 0 for every k..6. Proposition. The ring D is not coplete. Proof. Suppose, in order to obtain a contradiction, that every Cauchy sequence in D converges. Let S be the set of all series in D of the for k s k, where {s k } is a sequence of least nonnegative residues od. Note that every series in S is Cauchy, there are uncountably any distinct series in S, and Lea.5 iplies that each one converges to a different liit. Thus 6

7 there are uncountably any points in D. But D is a subset of the rational nubers, so D is countable. This is a contradiction. Hence D is not coplete. Exaple. It is a little ore satisfying to see a concrete exaple of a Cauchy sequence in D that fails to converge. We now produce such a sequence. Suppose =. Let σ 1 = and for each positive integer n, let σ n+1 = 7 σn + σ n. The resulting sequence {σ n } n=1 is Cauchy, but it fails to converge. Here are the first few ters:, 5, 1, 175, 079, , ,... Under our etric in D, it is not iediately obvious why this does not converge. In fact, we will show that the sequence of the squares of these ters, { σn}, which is even ore divergent n=1 in the real nuber sense, does converge: 4, 5, 169, 065, , , ,... The ters in this sequence diverge very quickly in the noral sense, but in D they actually converge to 7. One can see this by subtracting 7 fro each ter and factoring out s. We can use the convergence of this sequence to show that {σ n } n=1 does not converge. First, suppose it did converge; call the liit σ. Then since ultiplication is continuous in D, we have σ = 7. But since σ is an eleent of D, it is expressible as a rational nuber. Thus σ is a rational nuber with σ = 7. This is a contradiction. It follows that {σ n } n=1 does not converge in D. We have not yet proved that {σ n } n=1 is Cauchy and that { σn} actually converges. We will n=1 prove a ore general proposition instead. We will use the following two leas frequently, but we oit proofs because they are trivial:.7. Lea. Suppose k n. If x y od n, then x y od k..8. Lea. If x y od n, and z 0 od k, then xz yz od n+k. We will also use the following lea in order to define a sort of square root sequence in D..9. Lea. Suppose that c is relatively prie to and that σ 1 c od. Then σ 1 is relatively prie to ; hence σ 1 has an inverse odulo. Proof. Since c is relatively prie to, there exist integers s and t such that sc + t = 1. Since σ1 c od, there exists soe integer k such that σ 1 c = k. Multiply both sides of this equation by s to get sσ1 sc = sk, and substitute to get sσ 1 (1 t) = sk. Now rearrange to get sσ1 + (t sk) = 1. Thus σ 1 and are relatively prie. Let us now define fairly general sequence in D that is Cauchy but ay not necessarily converge. Definition. Suppose that is odd and that c is a nuber relatively prie to such that x c od has a solution σ 1. For each positive integer n, let σ n+1 = (c σ n)(σ 1 ) 1 + σ n, where (σ 1 ) 1 eans the inverse of σ 1 odulo. We will prove two propositions about this sequence. First, we will show that it is a sort of square root sequence in D. Then, we will prove that the sequence is Cauchy..10. Proposition. For every positive integer n, σ n c od n. Therefore, { σ n} n=1 converges to c. Proof. To build a proof by strong induction, first note that σ1 c od 1 is given; now suppose c σk 0 od k for 1 k n. It follows that σ k+1 σ k od k for 1 k < n. Thus 7

8 σ n σ 1 od, and so σ 1 and σ n ust have the sae inverse od, i.e. (σ 1 ) 1 = (σ n ) 1. Therefore, σ n+1 = ((c σ n)(σ 1 ) 1 + σ n ) = ((c σ n)(σ n ) 1 + σ n ) = ((c σ n)(σ 1 ) 1 ) + (c σ n)(σ n ) 1 σ n + σ n (c σ n)(σ n ) 1 (σ n ) + σ n od n+1. The squared ter drops out because, as c σn 0 od n, it follows that (c σn) 0 od n ; hence (c σn) 0 od n+1. Now (σ n ) 1 (σ n ) 1 od, and since c σn 0 od n, it follows that (c σn)(σ n ) 1 (σ n ) (c σn) od n+1. Therefore, we get σn+1 (c σ n) + σn = c od n+1. By strong induction, σn c od n for every positive integer n..11. Proposition. The sequence {σ n } n=1 in D is Cauchy. Proof. Notice that Proposition.10 iplies σ n+1 σ n 0 od n for every positive integer n. Therefore, if n k, then (.1) σ n σ k = (σ n σ n 1 ) + (σ n 1 σ n ) + + (σ k+1 σ k ) is divisible by k ; hence σ n σ k k. It follows that {σ n } n=1 is Cauchy. Now if c does not have a real square root, then Proposition.10 and Proposition.11 iply that {σ n } n=1 does not converge D, because if σ n σ, then σ = c, which is ipossible. (In the case =, c = 7, we used σ 1 = to get (σ 1 ) 1 = 1.) This gives infinitely any exaples of Cauchy sequences in D (for odd values of ) that fail to converge. As a concluding reark to this section, we now have all we need in order for the su k=1 in Theore 1. to ake sense. However, in D we do not have the cofort of being able to say ( +1) k rk that every su of that for actually converges. In the next section, we explore the Cauchy copletion of D so that we can operate in a world where ( k k=1 +1) rk converges even when the coefficients {r k } are chosen arbitrarily, independent of their eaning in the triangle T. This gives us a deeper background against which we ay view the unique behavior of actual colun tracking sequences {r k (x, r)}.. The Ring Q Definition. Let Q be the Cauchy copletion of D. In this section, we want to show two ways to represent an eleent in Q. First, we establish that everything in Q can be represented in a failiar -adic way, i.e. in the for k s k. Then, we show that everything in Q can be represented in an alost base +1 way, i.e. in the for ( k +1) sk. This latter for is key because it appears in Theore 1.. Let us proceed with the first task. First we show that every eleent of D can be written in the for k s k, and then we use this fact to show that every eleent of Q can be written in this for..1. Lea. Let a 0 = a be an integer, and let b be an integer relatively prie to. Let {a n } n=0 be a sequence of integers and let {s n } n=0 be a sequence of least nonnegative residues od, satisfying the following: (1) s n b a n od for every n, and () a n = a n 1 s n 1 b for every n 1. Then a n k s k b od n+1 for every positive integer n. 8

9 Proof. We clai that for any nonnegative integer j, if n j, then n (.1) a n j k n+j s k b od j+1. k=n j To prove this clai by induction, note that the case j = 0 is true by part (1) above: a n s n b od. Now suppose the clai holds for an arbitrary nonnegative integer j. Since a n j = a n j 1 s n j 1 b, we have a n j 1 = a n j + s n j 1 b. By the inductive hypothesis, we derive (.) a n j and so (.) a n j 1 n k=n j n k=n j 1 k n+j+1 s k b od j+, k n+j+1 s k b od j+. The clai is thus proved by induction. Now take n = j to get a 0 n k s k b od n+1 for every positive integer n... Proposition. Every eleent of D can be represented in the for k s k for a unique sequence {s k } of least nonnegative residues od. Proof. Let a/b be an eleent of D. Then b ust be relatively prie to. Let {a n } n=0 and {s n } n=0 be defined as in Lea.1. Then a n k s k b od n+1 for every positive integer n. Thus a/b n k s k < n for every positive integer n. It follows that a/b = k s k. The uniqueness of {s k } is established by Corollary.5... Proposition. Every eleent of Q can be represented in the for k s k for a unique sequence {s k } of least nonnegative residues od. Proof. Let x be a point in Q and let {d n } n=0 be a sequence in D converging to x. Let {c n } n=0 be a subsequence of {d n } n=0 such that c n x n for every positive integer n. By the triangle inequality, c n c n 1 c n x + c n 1 x n + n 1 n. Using Proposition., for each positive integer n we represent c n as a series k s k (n) for a unique sequence {s k (n)} of least nonnegative residues od. So for each positive integer n, k (s k (n) s k (n 1)) n, which iplies that s k (n) s k (n 1) = 0 for 1 k n 1. We will now show that the liit of the series k s k (k), which is Cauchy and therefore converges in Q, is equal to x. Observe that for any n, if k n, then the fact that s k (n 1) = s k (n) whenever 1 k n 1 can be used repeatedly to show that It follows that s k (k) = s k (k + 1) = s k (k + ) = = s k (n 1). k (s k (n) s k (k)) n, or c n k s k (k) n 9

10 for each n. We have k s k (k) x c n k s k (k) + c n x n + n n+1 by the triangle inequality. Since this inequality holds for any n, it follows that k s k = x. The uniqueness of {s k } is once again established by Corollary.5. Now we ove onto the next task: show that every eleent in Q can be represented as a su of this for: ( ) k s k. + 1 This kind of su appears in Theore 1.. To show that every eleent of Q can be written in this for, we use an arguent analogous to our previous arguent showing every eleent of Q can be written in the ordinary -adic way. Because we will also want to show uniqueness of such representations, we need the following lea, analogous to Lea.4, in order to show the uniqueness of these representations..4. Lea. Let {s k } be a sequence of least nonnegative residues od. Then the series ( k +1) sk converges to 0 in D if and only if s 0 = s 1 = s = = 0. Proof. Suppose ( k +1) sk = 0. Suppose, in order to obtain a contradiction, that there are non-zero eleents in {s k }. Let p be the sallest integer such that s p 0. Since ( k +1) sk = ( k 0, there exists soe N 1 such that whenever n N 1, +1) sk < p. Let N = in{p, N 1 }. Now p N > ( = + 1 = ( ) k s k + 1 which eans that p+1 ust divide Since p+1 divides n ) p ( ) p+1 ( ) N s p + s p s N p ( + 1) N p s p + p+1 ( + 1) N (p+1) s p N s N ( + 1) N p ( + 1) N p s p + p+1 ( + 1) N (p+1) s p N s N. p+1 ( + 1) N (p+1) s p N s N, it ust also divide p ( + 1) N p s p. This iplies that divides s p, which is a contradiction, for 0 < s p <. Therefore, there is no non-zero eleent in {s k }. This proves that s 0 = s 1 = s = = 0. The other direction of the proof is trivial..5. Corollary. Let {s k } and {t k} be sequences of least nonnegative residues od. Suppose ( ) k +1 sk and ( k +1) tk each converge to the sae liit. Then s k = t k for every k. 10,

11 Proof. The hypotheses together iply that ( k +1) (sk t k ) = 0, so by Lea.4, s k t k = 0 for every k..6. Lea. Let a 0 = a be an integer, and let b be an integer relatively prie to. Let {a n } n=0 be a sequence of integers and let {s n } n=0 be a sequence of least nonnegative residues od, satisfying the following: (1) s n b a n od for every n, and () a n = ( + 1) a n 1 s n 1 b for every n 1. Then ( + 1) n a n k ( + 1) n k s k b od n+1 for every positive integer n. Proof. We clai that for any nonnegative integer j, if n j, then n (.4) ( + 1) j a n j k n+j ( + 1) n k s k b od j+1. k=n j To prove this clai by induction, note that the case j = 0 is true by part (1) above: a n s n b od. Now suppose the clai holds for an arbitrary nonnegative integer j. Since a n j = ( + 1) a n j 1 s n j 1 b, we have ( + 1) j+1 a n j 1 = ( + 1) j a n j + ( + 1) j s n j 1 b. By the inductive hypothesis, we derive n (.5) ( + 1) j a n j k n+j+1 ( + 1) n k s k b od j+, and so (.6) ( + 1) j+1 a n j 1 k=n j n k=n j 1 k n+j+1 ( + 1) n k s k b od j+. The clai is thus proved by induction. Now take n = j to get (+1) n a 0 n k (+1) n k s k b od n+1 for every positive integer n..7. Lea. Every eleent of D can be represented in the for ( ) k s k + 1 for a unique sequence {s k } of least nonnegative residues od. Proof. Let a/b be an eleent of D. Then b ust be relatively prie to. Let {a n } n=0 and {s n } n=0 be defined as in Lea.6. Then n (.7) ( + 1) n a k ( + 1) n k s k b od n+1 for every positive integer n. Thus a/b n follows that a/b = ( +1) k sk < n for every positive integer n. It ( k +1) sk. The uniqueness of {s k } is established by Corollary Proposition. Every eleent of Q can be represented in the for ( k +1) sk for a unique sequence {s k } of least nonnegative residues od. Proof. This proof follows the proof of Proposition. exactly to produce a series that will converge to a given point in Q. To show uniqueness, we use Lea.4. 11

12 4. Rotation reainder expansions We proved that every eleent of Q can be represented in the for k +1) sk for a unique sequence {s k } of least nonnegative residues od. This kind of su appeared in Theore 1.. So, what do these sequences {s k } look like, and how can we see that they represent the nuber we say they represent? Furtherore, we know that the su for ( k +1) sk appears in Theore 1., but how exactly do these representations apply to the probles posed in this paper? In this section we will use concrete exaples to answer these questions. We will restrict ourselves to the case = because this is a case with sufficient coplexity to reveal all the basic patterns and difficulties of the general proble. But first, let us establish a consistent notation to atch eleents in Q with their expansions as sus. Definition. We define a function R apping Q into sequences of least nonnegative residues od as follows. Let q Q be given. Suppose {s k } is a sequence of least nonnegative residues od such that q = ( k +1) sk. Then we say R(q) = {s k }. This is called the rotation reainder expansion of q. Reark. First, we note that R is a bijection, with R 1 apping any sequence {s k } of least nonnegative residues od to the point q = ( k +1) sk in Q. Second, we ay refer to the ters s k in the sequence R(q) = {s k } as digits of the rotational reainder expansion of q. Since we start with s 0, we will likely refer to s k 1 as the kth digit in the expansion. Relating expansions to T. A concrete exaple of a rotation reainder expansion will help relate this concept to the original proble posed in the introduction. Consider R(16) = {1,, 0,, 1, 1,, 1,,,, 0,...}, which the reader will recognize as {r n (1, 0)} n=1. (See Equation (1.1)) Thus the sequence R(16) identifies the colun positions in which the 1 appears if we restrict our view to the first three coluns. This exaple is just an illustration of the fact that we can rewrite Theore 1. in the following way: 4.1. Theore. In Q, for any starting row x and colun r, R((+1)y 0 (x, r)) = {r k+1 (x, r)}. Producing expansions. Now we want to understand how to copute rotation reainder expansions. Consider again R(16), as depicted above. By definition, this sequence represents the integer 16 in the sense that (4.1) 16 = 1 + ( ) ( ) ( ) 7 +, 64 where these coefficients in this power series coe fro R(16). Let us consider what this eans in Q. ( (1) 16 1 = 15, which is divisible by ; () 16 (1 + ( ) 4 ) = 54 4, whose nuerator is divisible by ; () 16 (1 + ( ) ( ) 16 ) = 16 16, whose nuerator is divisible by ; (4) 16 (1 + ( ) ( ) ( ) 64 ) = , whose nuerator is divisible by 4 ; and so on. Given the nor used in Q, this progression shows that the series converges to 16 because each successive partial su differs fro 16 by a greater power of. This is a rather exotic expansion to represent the integer 16. However, we have proved that this is the only possible sequence that could represent 16 using least nonnegative residues od. How 1

13 would one copute this expansion without looking at the triangle T? We would choose successive digits one at a tie to get the pattern shown above: (1) We desire 16 s 0. Should we choose s 0 = 0, 1, or? Clearly s 0 = 1. () Now we desire 4(16 s 0 ) s 1. Should we choose s 1 = 0, 1, or? We ust choose s 1 = to get 4(16 s 0 ) s 1 = 54, the nuerator of the second partial su in our series. () Now we desire 4(4(16 s 0 ) s 1 ) s. Should we choose s = 0, 1, or? We ust choose s = 0 to get 4(4(16 s 0 ) s 1 ) s = 16, the nuerator of the second partial su in our series. Continue in this fashion. At each step, the next digit is uniquely deterined by a linear equation odulo k, where k increases by 1 every step. We can use this technique to get R(q) for any rational nuber q. The process of deriving R(q) for an irrational nuber q Q involves applying this process to each ter in a sequence of rationals that converges to q in Q. See the exaple fro The Ring D on sequences converging to square roots. For now, let us focus on integers q Q. There are soe very siple expansions to look at before looking at all the exotic ones. Here are a few exaples: R(0) = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,...} R(1) = {1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,...} R() = {, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,...} R() = {0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,...} R(4) = {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,...} R(5) = {, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,...} R(6) = {0,,,,,,,,,,,,,,,,,,,,,...} R(7) = {1,,,,,,,,,,,,,,,,,,,,,...} R(8) = {,,,,,,,,,,,,,,,,,,,,,...} R(9) = {0, 0, 1,, 0,, 1, 1,, 1,,,, 0, 1, 0, 0, 1, 1, 0, 0,...}... There are three casual observations worth aking here. First observation: all these sequences are eventually constant except for R(9), which is aperiodic (unfortunately the ellipsis fails to capture this). A constant sequence R(q) eans q can be written as a geoetric series in Q. For instance, we have (4.) 4 = This equation should not be surprising, since it holds true in R as well as in Q. The reason why it holds in Q is a little different than in R. The partial sus of this series can be written in the condensed for 1 ( 4) k ( = 4 ) k ) 1 ( 1 4 for k = 1,,,.... As k gets large, ( k 4) converges to 0 in 4 Q because the nuerator in this expression contains an increasingly large power of. Thus the partial sus of converge to 4(1 0) = 4. In this way we see that whenever R(q) is eventually periodic or constant, it follows that q is rational, and in the real nuber sense, 0 q 8. The shocking result is that whenever a real nuber q Q is greater than 8 as copared in the real nubers, then R(q) ust be aperiodic. Though lacking soe details, this is one possible way to prove Theore 1.5. Second observation: the tail of R(9) starting with the third ter is exactly the sae as R(16). It is not hard to see why this is so: if we ultiply q = 1 ( +1) k sk by /4, we get a su of the

14 sae for with indices shifted up by one and a zero taking the 0 index. Indeed, R(1) looks like {0, 1,, 0,, 1, 1,, 1,,,, 0, 1, 0,...}, the result of ultiplying the series representing 16 by /4 once, and to get R(9) we ultiply by /4 again. In general, R(q/4) is just the sequence R(q) with a 0 added onto the beginning. This illustrates a siilarity between rotation reainder expansions and decial expansions: ultiplying by the base of the nuber syste (in decials, the base is 10; in this case, the base is /4) adds a zero to the expansion and shifts the digits over by one place. Third observation: as we continually add 1, we see the first digit change in a predictable way. We start with 0, ove up to 1, then to, then jup back down to 0 again, and repeat. When we jup back down to 0 in the first digit, we expect that then the second digit will be affected by a sort of carry, just as in decials, =.10. We do find this carry in rotation reainder expansions, but we also find that all the digits beyond the first digit are affected by this carry. Thus R(0), R(), and R(6), though all equivalent od, have nothing in coon past the first digit. This illustrates a difference between rotational reainder expansions and decial expansions: in decial expansions, adding 1 continually generally leaves ost digits intact, whereas adding 1 continually in rotation reainder expansions will periodically change all of the digits beyond the first one. Arithetic on expansions. Since these sequences represent integers, one has to wonder how to anipulate these sequences like we anipulate integers adding, subtracting, ultiplying, and dividing. We will now explore addition and ultiplication. As a first hint at how to add these sequences, we return to the third observation ade above: as we add 1 repeatedly, there is at soe points a carry that affects not only the second digit, but all the digits beyond the first. For instance, upon adding R(1) and R() to get R(), all of the digits beyond the first becoe 1 s. It turns out that this cuulative carry happens in all cases. Here are a couple of exaples to illustrate. Carry: R(1) = { 1 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,... } + R(8) = {,,,,,,,,,,,,,... } = R(9) = { 0, 0, 1,, 0,, 1, 1,, 1,,,,... } In this first exaple, 1 and added in the first position to get, which we divided by to get a carry of 1 and a reainder of 0. Then in the second position, the carry of 1 was added to the digits 0 and to get, which we divided by to get a carry of 1 and a reainder of 0. This carry was added on to the carry already accuulated, so in the third position, we had a total carry of. This was added to 0 and to get 4, which left a carry of 1 and a reainder of 1. The process of adding continues in this way, alost exactly like decial addition except that the carry is cuulative. Here is another exaple. Carry: R(4) = { 1, 1, 1, 0,, 0, 1,, 0, 0, 0,, 0,... } + R(5) = { 1, 1, 0,,, 1,, 1,, 1,,,,... } = R(59) = {,, 1,, 1,, 1,,,, 1,, 0,... } The following proposition gives the foral procedure for adding two of these sequences. We no longer restrict ourselves to =, but rather we look at Q in general. 4.. Proposition. Let a and b be eleents in Q, and let c = a + b. Suppose R(a) = {s n (a)} n=0, R(b) = {s n (b)} n=0, and R(c) = {s n(c)} n=0. Define a carry sequence as follows: let κ 0 = 0 and for n 0 let sn (a) + s n (b) + κ n (4.) κ n+1 = κ n +. 14

15 Then s n (c) s n (a) + s n (b) + κ n od for every n. Proof. We will not prove this in general, but rather liit ourselves to the case where a and b are integers. The proof generalizes to all cases when sufficient details are added. We offer a proof by induction. First, let {a n } be defined as in Lea.6; that is, let a 0 = a and let a n = ( + 1) a n 1 s n 1 (a) for every n 1. Define {b n } and {c n } analogously. By that sae Lea, we know that a n s n (a) od for every n, and likewise for b n and c n. We will prove that c n = a n + b n + ( + 1)κ n by induction. For n = 0, we have the obvious equation c = a + b. Now assue the equation holds for an arbitrary n 0. Reducing the equation od, we see that s n (c) s n (a) + s n (b) + κ n od, and since s n (c) is a least residue od, it follows that sn (a) + s n (b) + κ n (4.4) = s n(a) + s n (b) + κ n s n (c). Now observe that a n+1 + b n+1 + ( + 1)κ n+1 = a n+1 + b n+1 + ( + 1)κ n + ( + 1) s n(a) + s n (b) + κ n s n (c) = ( + 1) a n s n (a) + ( + 1) b n s n (b) + ( + 1)κ n + ( + 1) s n(a) + s n (b) + κ n s n (c) = ( + 1) a n + b n + ( + 1)κ n s n (c) = ( + 1) c n s n (c) = c n+1, as desired. Therefore, the equation holds for all n. Now reduce the equation od to get s n (c) s n (a) + s n (b) + κ n od for all n, as desired. This algorith can be used on as any addends as desired. This akes a ultiplication algorith easy to deduce. Observe that ( ( ) ) ( k ( ) k s k (a) s k (b)) = s 0 (b) ( ( + 1 ) k s k (a)) + s 1 (b) ( k=1 ( + 1 ) k s k (a)) +. This suggests that if we siply learn our ties tables for a given sequence, learning to ultiply it by each of the integers 0, 1,..., 1, then we can ultiply it by any other sequence we want. With =, we only need to learn how to double a sequence, and then we can ultiply it by any other sequence. For exaple, to ultiply R(9) by R(11) to get R(99): R(9) = { 0, 0, 1,, 0,, 1, 1,, 1,,,,... } R(11) = {, 0, 1,, 0,, 1, 1,, 1,,,,... } = R(99) = { 0, 0,, 1,, 0, 1, 1, 1, 0,, 0, 1,... } we use the following ultiplication algorith. First, we need to double R(9) to get R(18) using just the addition algorith: 15

16 Carry: R(9) = { 0, 0, 1,, 0,, 1, 1,, 1,,,,... } + R(9) = { 0, 0, 1,, 0,, 1, 1,, 1,,,,... } = R(18) = { 0, 0,, 1, 1,, 1,,,, 0, 1, 0,... } Now we can ultiply R(9) by R(11) just like decials: ultiply R(9) by each digit in R(11), including a right shift just as you would in decial ultiplication (note the second observation under Producing expansions ). Carry: { 0, 0, 1,, 0,, 1, 1,, 1,,,,... } {}}{ 0, 0,, 1, 1,, 1,,,, 0, 1, 0, , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, , 0, 0, 0, 1,, 0,, 1, 1,, 1,,... 0, 0, 0, 0, 0,, 1, 1,, 1,,,, , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,... 0, 0, 0, 0, 0, 0, 0,, 1, 1,, 1,, , 0, 0, 0, 0, 0, 0, 0, 1,, 0,, 1, , 0, 0, 0, 0, 0, 0, 0, 0, 1,, 0,,... 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,, 1, 1, , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,,... 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,,... }{{}. = { 0, 0,, 1,, 0, 1, 1, 1, 0,, 0, 1,... } And we get the desired result. Note that it is very easy to ultiply by R(q) for integers q in the range 0 q 8 (in the real nuber sense). For instance, ultiplying R(4) by itself is easy, but soewhat enlightening: Carry: { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,... } {}}{ 1 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, , 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, , 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, , 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, , 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, , 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, , 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, , 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, , 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, , 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, , 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,... }{{}. = { 1,, 0,, 1, 1,, 1,,,, 0, 1,... } And the result is R(16), as expected. It has already been entioned that R(16) is aperiodic, even though it is the su of periodic sequences. Siply adding the sequences od would result 16

17 in the sequence {1,, 0, 1,, 0,...}, so in that sense the cuulative carry is ost responsible for the aperiodicity of ost rotation reainder expansions. In the next section, we start proving the theores stated in the introduction that show the connection between rotation reainder sequences and the triangle T. 5. Proof of Theore 1. To prove Theore 1., it reains to show that Equation (1.) holds. For this we have to establish recurrence relations for the sequences {x n (x, r)} and {r n (x, r)}. For siplicity, we will drop the arguents x and r and refer to these sequences as {x n } and {r n }. Recall that these sequences track the row and colun positions of a nuber when it is found lying within the first coluns. So to copute x n+1 and r n+1 fro x n and r n, we utilize the recursive relations on T (a, b) until we get a new colun position within the first colun positions, like so: T (x n, r n ) = T (x n, x n + r n ) Following this schee, we see that and = T (x n + 1, x n + r n ) = T (x n +, x n + r n ) = xn + r n = T (x n +, x n + r n xn + r n x n+1 = x n + xn + r n r n+1 = x n + r n. This recursive relation can be expressed in the following way: xn + r n ). (5.1) ( + 1)x n + r n = x n+1 + r n+1. The recursively inded person will quickly see this equation being used repeatedly to see that n ( + 1) j (( + 1)x n j + r n j ) = j (x n+1 + r n+1 ) + ( + 1) n k k 1+j n r k k=n+1 j for any nonnegative integer j n. This equation leads to the following sequence of equivalences, which establishes Theore Proposition. For any pair of integers n, j with n 1 and 0 j n, n ( + 1) j (( + 1)x n j + r n j ) ( + 1) n k k 1+j n r k od j. In particular, for every n N. ( + 1) n (( + 1)x + r) k=n j+1 n ( + 1) n k k 1 r k od n k=1 17

18 Proposition 5.1 can be rewritten to give the sequence of equivalences n ( + 1) n j (( + 1)x j + r j ) ( + 1) n k k 1 j r k od n j, which establishes the equation k=j+1 (( + 1)x j + r j ) = k=j+1 ( ) k j r k + 1 in Q, which is perhaps a ore general way of stating Theore 1.. On, the other hand, it also helps prove Corollary 1.. Suppose we have x and r such that {r n ( x, r)} n=0 is a tail of {r n(x, r)} n=0, i.e. there exists soe j such that r n ( x, r) = r n+j (x, r) for every n. Then by Theore 1. we have ( ) k (( + 1) x + r) = r k ( x, r) + 1 k=1 ( ) k = r k+j(x, r) + 1 k=1 ( ) k j = r k (x, r) + 1 k=j+1 = (( + 1)x j (x, r) + r j (x, r)). Therefore, ( + 1) x + r = ( + 1)x j (x, r) + r j (x, r). Rearrange to get ( + 1)( x x j (x, r)) = r j (x, r) r. Since < r j (x, r) r <, it follows that x x j (x, r) = 0, and so r j (x, r) r = 0 as well. This proves Corollary 1.. To prove Corollary 1.4, observe that if x, r, x and r are integers such that {r n (x, r)} n=j = {r n ( x, r)} n=j for soe positive integer j, then Corollary 1. iplies that x j(x, r) = x j ( x, r) and r j (x, r) = r j ( x, r). But x j and r j can be used via Equation (5.1) to deterine x and r, or x and r. Thus x = x and r = r, giving us {r n (x, r)} n=0 = {r n( x, r)} n=0, as desired. 6. Aperiodicity of {r n } The goal of this brief section is to show that for any positive integer x and least residue r odulo, the sequence {r n (x, r)} is aperiodic. There is ore than one possible approach. The route we will take utilizes the sequence {y n (x, r)}, which was introduced as an encoding of {x n (x, r)} and {r n (x, r)} in Proposition 1.1. We will show that this sequence is strictly increasing, and then use this to show that the sequence {r n (x, r)} cannot be periodic. Because the sequence y n is generated by repeated ultiplication by (+1)/ cobined with a flooring function, the result of this section has a siilar flavor to [1]. Proof of Proposition 1.1. First, let us prove Proposition 1.1. Recall how we defined {y n (x, r)}: Let y 0 (x, r) = ( + 1)x 0 (x, r) + r 0 (x, r) Let y n (x, r) = for each n N. (+1)yn 1 (x,r) We now seek to show that for each non-negative integer n, yn (x, r) = x n (x, r) and y n (x, r) r n (x, r) od ( + 1). + 1 Observe that this stateent clearly holds when n = 0. Now suppose it holds for an arbitrary n. We will show it holds for n

19 Suppose yn +1 = x n and y n r n od ( + 1). Then y n = ( + 1)x n + r n. By Equation (5.1), y n = x n+1 + r n+1. Thus y n r n+1 od. Therefore, ( + 1)yn y n+1 = = ( + 1)y n r n+1 = ( + 1)(x n+1 + r n+1 ) r n+1 = ( + 1)x n+1 + r n+1. This iplies that yn+1 +1 = x n+1 and y n+1 r n+1 od ( + 1), so the proposition holds for n + 1. The proposition is thus proved by induction. Proof of Theore 1.5. Now we will show that the sequence {y n (x, r)} is strictly increasing, and this will be enough to prove the aperiodicity of {r n (x, r)} Lea. If x is any positive integer and r is any least residue odulo, then for every nonnegative integer n, y n+1 (x, r) > y n (x, r). Proof. Let n be a nonnegative integer. Observe that x n x n 1 x 0 = x 1. Thus y n = ( + 1)x n + r n + 1, so y n+1 = = y n + y n yn + 1. Thus y n+1 > y n. (+1)yn Now we offer a proof of Theore 1.5. Let x be an integer, and let r be soe least residue odulo. that y 0 (x, r) = k=1 Fro Theore 1., we get ( k +1) rk (x, r) in Q. Suppose {r n (x, r)} is periodic, so that there exists a positive integer p such that r n+p (x, r) = r n (x, r) for every n. Corollary 1. iplies that y 0 (x p (x, r), r p (x, r)) = y 0 (x, r). Now, by Proposition 1.1, y p (x, r) = ( + 1)x p (x, r) + r p (x, r) = y 0 (x p (x, r), r p (x, r)) = y 0 (x, r), but by Lea 6.1, y p (x, r) > y p 1 (x, r) > y p (x, r) > > y 0 (x, r). This is a contradiction. Therefore, {r n (x, r)} is aperiodic. Note that the sae arguent can be used to show that {r n (x, r)} has no periodic tail. 7. Other sequences and arrays Up until now, we have only been proving propositions about the location of an individual in the triangle, i.e. the position of a person standing in a rotating line (to which ore people are continually appended). We still need to find ways to calculate other quantities of interest, naely, the frequency with which 1 is at the head of a row, the frequency with which a new nuber appears in the array, and the frequency with which a certain nuber appears in a row. To do this, we introduce the following notation: Definition. We define {h (x) : x N} to be the sequence of heads of rows in the triangle. We define {l (n) : n N} to be the sequence of rows in which the 1 leads. Finally, we define {a (n) : n N} to be the sequence of rows in which a new nuber is added to the triangle. More copactly, h (x) = T (x, 0), l (n) = in{x > l (n 1) : h (x) = 1} (with l (1) = 1), and a (n) = in{x N : n = T (x, x 1)}. For the case where = 1, these sequences are all easily recognizable, with the possible exception of {h 1 (x)}, which is known as the bit-counting sequence (Sloane s A00010). Here are the first few rows of T 1 (x, r): 19

20 Proposition. h 1 (x) is the nuber of 1 s in the binary representation of x. Proof. To prove this by strong induction, note that the base case x = 1 is trivial. Now suppose we have an even row nuber x = y. Observe that h 1 (y) = T 1 (y, 0) = T 1 (y + 1, y 1) = T 1 (y +, y ) = = T 1 (y 1, 1) = T 1 (y, 0) = h 1 (y). Assuing h 1 (y) is the nuber of 1 s in the binary representation of y, it will also be the nuber of 1 s in the binary representation of y, since the binary representation of y is the sae as that of y, but with a zero appended. Thus if the row nuber x is even, then h 1 (x) is the nuber of 1 s in the binary representation of x. Now suppose we have an odd row nuber x = y + 1. Observe that T 1 (y + 1, y) = T 1 (y +, y 1) = = T 1 (y, 1) = T 1 (y + 1, 0) = h 1 (y + 1). Thus h 1 (y + 1) = T 1 (y + 1, y) = 1 + h 1 (y). Note that h 1 (y) = h 1 (y) by our previous work. Assuing h 1 (y) is the nuber of 1 s in the binary representation of y, then h 1 (y+1) = 1+h 1 (y) is the nuber of 1 s in the binary representation of y + 1, since its binary representation is the sae as that of y with the last digit changed fro a 0 to a 1. Thus if the row nuber x is odd, then h 1 (x) is the nuber of 1 s in the binary representation of x. By the principle of atheatical induction, strong for, the proposition holds for all row nubers. 7.. Proposition. l 1 (n) = a 1 (n) = n 1. Proof. Clearly l 1 (1) = a 1 (1) = 1, so the proposition holds for n = 1. Now suppose the proposition holds for n = k. Then l 1 (k) = a 1 (k) = k 1. Therefore, T 1 ( k 1, 0) = 1 and T 1 ( k 1, k 1 1) = k. Observe that and 1 = T 1 ( k 1, 0) = T 1 ( k 1 + 1, k 1 1) = T 1 ( k 1 +, k 1 ) = = T 1 ( k, 0) k = T 1 ( k 1, k 1 1) = T 1 ( k 1 + 1, k 1 ) = T 1 ( k 1, 0), which also iplies that T 1 ( k, k 1) = k + 1. Also, it is clear that through these calculations we have found the nearest instances of 1 and k at the head of a row beyond row k 1. Thus l 1 (k + 1) = a 1 (k + 1) = k. By induction, the proposition holds for every positive integer n. To finish off what we know in the case = 1, we introduce two ore arrays. Definition. Let F (n, k) denote the nuber of k s in row n, where is the rotation nuber. Then the function F (n, k) gives a frequency triangle that displays the nuber of each kind of eleent as it appears. 0