Wythoff array: Difference between revisions

Revision as of 00:11, 12 March 2018

Latest revision as of 03:58, 17 July 2025

(13 intermediate revisions by 10 users not shown)

Line 1:

{{short description|Infinite matrix of integers derived from the Fibonacci sequence}}

In mathematics, the '''Wythoff array''' is an infinite [[Matrix (mathematics)|matrix]] of [[positive integer]]s derived from the [[Fibonacci sequence]] and named after Dutch mathematician [[Willem Abraham Wythoff]]. It was first defined by {{harvtxt|Morrison|1980}} using Wythoff pairs, the coordinates of winning positions in [[Wythoff's game]]; it can also be defined using [[Fibonacci number]]s and [[Zeckendorf's theorem]], or directly from the [[golden ratio]] and the [[recurrence relation]] defining the Fibonacci numbers. Every positive integer occurs exactly once in the array, and every integer sequence defined by the Fibonacci recurrence can be derived by shifting a row of the array.

The Wythoff array was first defined by {{harvtxt|Morrison|1980}} using Wythoff pairs, the coordinates of winning positions in [[Wythoff's game]]. It can also be defined using [[Fibonacci number]]s and [[Zeckendorf's theorem]], or directly from the [[golden ratio]] and the [[recurrence relation]] defining the Fibonacci numbers.

==Values==

Line 15 ⟶ 18:

==Equivalent definitions==

Inspired by a similar [[Stolarsky array]] previously defined by {{harvtxt|Stolarsky|1977}}, {{harvtxt|Morrison|1980}} defined the Wythoff array as follows. Let <math>\varphi=\frac{tfrac12\bigl(1+\sqrt{5}}{2}~\!\bigr)</math> denote the [[golden ratio]]; then the <math>i</math>th winning position in [[Wythoff's game]] is given by the pair of positive integers <math>(\lfloor i\varphi\rfloor, \lfloor i\varphi^2\rfloor)</math>, where the numbers on the left and right sides of the pair define two complementary [[Beatty sequence]]s that together include each positive integer exactly once. Morrison defines the first two numbers in row <math>m</math> of the array to be the Wythoff pair given by the equation <math>i=\lfloor m\varphi\rfloor</math>, and where the remaining numbers in each row are determined by the Fibonacci recurrence relation. That is, if <math>A_{m,n}</math> denotes the entry in row <math>m</math> and column <math>n</math> of the array, then

:<math>A_{m,1} = \left\lfloor \lfloor m\varphi \rfloor \varphi \right\rfloor</math>,

:<math>A_{m,2} = \left\lfloor \lfloor m\varphi \rfloor \varphi^2 \right\rfloor</math>, and

Line 25 ⟶ 28:

Each Wythoff pair occurs exactly once in the Wythoff array, as a consecutive pair of numbers in the same row, with an odd index for the first number and an even index for the second. Because each positive integer occurs in exactly one Wythoff pair, each positive integer occurs exactly once in the array {{harv|Morrison|1980}}.

Every sequence of positive integers satisfying the Fibonacci recurrence occurs, shifted by at most finitely many positions, is in the Wythoff array. In particular, the Fibonacci sequence itself is the first row, and the sequence of [[Lucas number]]s appears in shifted form in the second row {{harv|Morrison|1980}}.

==References==

Line 36 ⟶ 39:

| url = http://www.fq.math.ca/Scanned/33-1/kimberling.pdf

| volume = 33

| year = 1995| doi = 10.1080/00150517.1995.12429166 }}.

*{{citation

| last = Morrison | first = D. R. | author-link = David R. Morrison (mathematician)

| contribution = A Stolarsky array of Wythoff pairs

| ___location = Santa Clara, Calif

Line 44 ⟶ 47:

| publisher = The Fibonacci Association

| title = A Collection of Manuscripts Related to the Fibonacci Sequence

| url = http://wwwweb.math.ucsb.edu/~drm/papers/stolarsky.pdf

| year = 1980}}.

*{{citation

Line 54 ⟶ 57:

| url = http://www.fq.math.ca/Scanned/15-3/stolarsky.pdf

| volume = 15

| year = 1977}}| doi = 10.1080/00150517.1977.12430440

}}.

==External links==

*{{mathworld|urlname=WythoffArray|title=Wythoff Array}}

*[https://oeis.org/A035513/ The Wythoff Array (Online Encyclopedia of Integer Sequences)]

[[Category:Triangles of numbers]]