A006842 -id:A006842 - cp's OEIS frontend

A359654 Number of vertices formed in a square with edge length 1 by straight line segments when connecting the internal edge points that divide the sides into segments with lengths equal to the Farey series of order n to the equivalent points on the opposite side of the square.

4, 9, 77, 593, 6749, 15569, 93281, 222933, 623409, 1087393, 3453289, 5011009, 13271517

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Jan 10 2023

The number of points internal to each edge is given by A005728(n) - 2.

Scott R. Shannon, Image for n = 2.
Scott R. Shannon, Image for n = 3.
Scott R. Shannon, Image for n = 4.
Scott R. Shannon, Image for n = 5.
Scott R. Shannon, Image for n = 6.

Cf. A359653 (regions), A359655 (edges), A359656 (k-gons), A005728, A358887, A358883, A355799, A358949, A006842, A006843.

a(n) = A359655(n) - A359653(n) + 1 by Euler's formula.

A359692 Number of regions in a regular drawing of a complete bipartite graph where the vertex positions on each part equal the Farey series of order n.

Original entry on oeis.org

2, 12, 94, 382, 2486, 4946, 24100, 53152, 138158, 233254, 700720, 999364, 2559344, 3785044, 6027148, 9210820

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Jan 11 2023

nonn

The number of vertices along each edge is A005728(n). No formula for a(n) is known.

Scott R. Shannon, Image for n = 1.
Scott R. Shannon, Image for n = 2.
Scott R. Shannon, Image for n = 3.
Scott R. Shannon, Image for n = 4.
Scott R. Shannon, Image for n = 5.
Scott R. Shannon, Image for n = 6.
Scott R. Shannon, Image for n = 7.
Eric Weisstein's World of Mathematics, Complete Bipartite Graph.
Wikipedia, Farey sequence.

Cf. A359690 (vertices), A359691 (crossings), A359693 (edges), A359694 (k-gons), A005728, A290131, A359653, A358886, A358882, A006842, A006843.

a(n) = A359693(n) - A359690(n) + 1 by Euler's formula.

A178031 Consider the Farey tree A049455/A049456; a(n) = row at which the denominator n first appears (assumes first row is labeled row 1).

Original entry on oeis.org

1, 2, 3, 4, 4, 6, 5, 5, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 8, 7, 8, 8, 8, 8, 8, 8, 9, 8, 8, 8, 9, 9, 8, 9, 9, 9, 10, 9, 9, 9, 10, 9, 9, 9, 9, 9, 10, 9, 9, 10, 10, 10, 11, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10

Offset: 1

N. J. A. Sloane, Dec 16 2010

nonn

Computed by Alan Wechsler, Dec 16 2010.
Richard C. Schroeppel also asked about the analogous sequence giving the last occurrence of denominator n.
The first occurrence of k in this sequence is apparently at n = A135510(k-1), except for k=5. The last occurrence of k is at n = Fibonacci(k). - Andrey Zabolotskiy, Dec 01 2024

			Start with a pair of fractions 0/1, 1/1 and repeatedly insert the "Farey sum" (p+r)/(q+s) in between every pair of adjacent fractions p/q, r/s. The first few iterations are:
1:   0/1                                     1/1
2:   0/1                 1/2                 1/1
3:   0/1       1/3       1/2       2/3       1/1
4:   0/1  1/4  1/3  2/5  1/2  3/5  2/3  3/4  1/1
We only look at the denominators in this table (which form the sequence A049456, or A002487 if the rightmost column is removed).
1 first appears in row 1, so a(1) = 1.
2 first appears in row 2, so a(2) = 2.
3 first appears in row 3, so a(3) = 3.
4 and 5 first appear in row 4, so a(4) = a(5) = 4.

Based on a posting by Richard C. Schroeppel to the Math Fun Mailing List, Dec 15 2010.

Bo Gyu Jeong, Table of n, a(n) for n = 1..10000
Richard J. Mathar, The Kepler binary tree of reduced fractions, 2017.

See A178047 for another version. Cf. A002487, A006842, A006843, A177903, A178042, A135510.

More terms from Bo Gyu Jeong, Oct 20 2012

A359116 Mark the points of the Farey series F_n on a strip of paper and wrap it around a circle of circumference 1 so the endpoints 0 and 1 coincide; draw a chord between every pair of the Farey points; a(n) is the number of vertices in the resulting graph.

Original entry on oeis.org

1, 2, 5, 19, 208, 480, 3011, 7185, 20169, 35438, 111232, 162062, 422841, 633226, 1024370, 1576122, 3315790, 4240974, 8204951, 10654475, 15310713

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Dec 16 2022

Let F_n denote the Farey series of order n: F_1 = [0, 1]; F_2 = [0, 1/2, 1]; F_3 = [0, 1/3, 1/2, 2/3, 1], F_4 = [0, 1/4, 1/3, 1/2, 2/3, 3/4, 1], etc. In general F_n consists of the points i/j with 1 <= j <= n, 0 <= i <= j, gcd(i,j) = 1, sorted and duplicates removed. Alternatively, F_n = [A006842(n,k)/A006843(n,k), k = 1..A005728(n)].
The number of terms in F_n is A005728(n). Since the endpoints coincide when we wrap the series around the circle, there are M = A005728(n) - 1 vertices on the circumference.
The planar graph we are studying, denoted by FR(n), is formed by drawing a chord between every pair of the M boundary points.  FR stands for Farey Ring, a term suggested by the fairy rings found in nature.
FR(n) is analogous to the planar graph formed by drawing chords between every pair of vertices of a regular n-gon, and studied in A006533 and A007678. The difference is that in FR(n) the vertices are not equally spaced around the circle.
Just as in the case of the regular n-gon, when we count the regions in this graph, we may or may not include the regions that lie between the convex hull of the points and the bounding circle.
The first non-simple vertices that do not lie on the y = 0 or x = 0 axes occur for n = 7. If we let A = (sin(3*Pi/14) + cos(Pi/7))/(cos(3*Pi/14) + sin(Pi/7)), and B = (cos(2*Pi/7)+1)/sin(2*Pi/7), then the x coordinate of these vertices is x = +-(A*cos(3*Pi/14) - sin(3*Pi/14) - 1)/(B + A), and their y coordinate is y = -B*x - 1. These values are approximately x = +-0.1930964297 and y = -0.5990311320.

Tom Duff, The Farey Ring graphs FR(2) to FR(10)
Tom Duff, The Farey Ring graph FR(16)
Scott R. Shannon, Image for n = 3.
Scott R. Shannon, Image for n = 4.
Scott R. Shannon, Image for n = 5.
Scott R. Shannon, Image for n = 6.
Scott R. Shannon, Image for n = 7. The two non-simple vertices mentioned in the comments are the two yellow dots in the lower half of the figure on either side of the y axis.
Scott R. Shannon, Image for n = 8.
Scott R. Shannon, Image for n = 9.
Scott R. Shannon, Image for n = 10.

Cf. A359117 (regions), A359118 (edges), A359119 (k-gons).

See also A358883, A005728, A006533, A006842, A006843, A007569, A007678.

a(n) = A359118 - A359117 + 1 by Euler's formula.

A359117 Number of regions in the planar Farey Ring graph FR(n) defined in A359116, including the regions between the convex hull and the bounding circle.

Original entry on oeis.org

1, 2, 8, 30, 250, 548, 3180, 7468, 20684, 36164, 112406, 163600, 425144, 636208, 1028934, 1581766, 3323182, 4249976, 8216442, 10668790, 15329216

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Dec 17 2022

Scott R. Shannon, Image for n = 3.
Scott R. Shannon, Image for n = 4.
Scott R. Shannon, Image for n = 5.
Scott R. Shannon, Image for n = 6.
Scott R. Shannon, Image for n = 7.
Scott R. Shannon, Image for n = 8.
Scott R. Shannon, Image for n = 9.
Scott R. Shannon, Image for n = 10.

Cf. A359116 (vertices), A359118 (edges), A359119 (k-gons), A358886, A006842, A006843, A005728, A007678.

a(n) = A359118 - A359116 + 1 by Euler's formula.

A359119 Irregular table read by rows: T(n,k) is the number of k-gons, k>=2, in the Farey Ring graph FR(n) defined in A359116.

Original entry on oeis.org

2, 4, 4, 6, 18, 6, 10, 124, 76, 32, 8, 12, 244, 196, 78, 14, 4, 18, 1184, 1296, 534, 118, 28, 2, 22, 2632, 3180, 1244, 330, 58, 2, 28, 7244, 8628, 3594, 962, 190, 38, 32, 12626, 14922, 6378, 1836, 330, 36, 4, 42, 39060, 45656, 20152, 6082, 1252, 132, 28, 2, 46, 56980, 66088, 29454, 8916, 1840, 244, 26, 6

Offset: 2

Scott R. Shannon and N. J. A. Sloane, Dec 17 2022

See A359116 and A359117 for further images of the graphs.

			The table begins:
2;
4, 4;
6, 18, 6;
10, 124, 76, 32, 8;
12, 244, 196, 78, 14, 4;
18, 1184, 1296, 534, 118, 28, 2;
22, 2632, 3180, 1244, 330, 58, 2;
28, 7244, 8628, 3594, 962, 190, 38;
32, 12626, 14922, 6378, 1836, 330, 36, 4;
42, 39060, 45656, 20152, 6082, 1252, 132, 28, 2;
46, 56980, 66088, 29454, 8916, 1840, 244, 26, 6;
58, 148058, 170352, 76834, 23936, 4990, 766, 136, 12, 0, 2;
64, 221744, 253808, 115806, 35922, 7428, 1286, 136, 14;
72, 359676, 408252, 188438, 57828, 12432, 1972, 246, 16, 2;
80, 553598, 624588, 291158, 89762, 19066, 3104, 374, 30, 6;
96, 1164192, 1305260, 615048, 189910, 41094, 6654, 844, 72, 12;
102, 1491314, 1664362, 788138, 243924, 52438, 8502, 1080, 112, 2, 2;
120, 2887184, 3203244, 1529870, 474822, 102482, 16490, 2002, 206, 22;
128, 3752194, 4153544, 1987610, 617634, 133288, 21374, 2698, 278, 42;
140, 5393824, 5962776, 2855524, 889822, 191612, 31128, 3926, 438, 26;
.
.

Scott R. Shannon, Image for n = 11.

Cf. A359116 (vertices), A359117 (regions), A359118 (edges), A358889, A006842, A006843, A005728, A331451.

Sum of row n = A359117(n).

A359655 Number of edges formed in a square with edge length 1 by straight line segments when connecting the internal edge points that divide the sides into segments with lengths equal to the Farey series of order n to the equivalent points on the opposite side of the square.

Original entry on oeis.org

4, 12, 172, 1320, 14588, 33312, 197416, 469040, 1305112, 2274592, 7172784, 10407700, 27421412

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Jan 10 2023

The number of points internal to each edge is given by A005728(n) - 2.

See A359653 and A359654 for images of the square.

Cf. A359653 (regions) A359654 (vertices), A359656 (k-gons), A005728, A358888, A358884, A355800, A358950, A006842, A006843.

a(n) = A359653(n) + A359654(n) - 1 by Euler's formula.

A359691 Number of crossings in a regular drawing of a complete bipartite graph where the vertex positions on each part equal the Farey series of order n.

Original entry on oeis.org

1, 7, 59, 275, 1949, 3971, 20333, 45705, 120899, 205233, 629761, 897707, 2334291, 3461329, 5516985, 8467899

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Jan 11 2023

The number of vertices along each edge is A005728(n). No formula for a(n) is known.

See A359690 for images of the graph.

Eric Weisstein's World of Mathematics, Complete Bipartite Graph.
Wikipedia, Farey sequence.

Cf. A359690 (vertices), A359692 (regions), A359693 (edges), A359694 (k-gons), A005728, A159065, A331755, A359654, A358887, A358883, A006842, A006843.

a(n) = A359690(n) - 2*A005728(n).

A303612 a(n) = min{denominator(r) with r in R} and R = {0 <= r rational <= 1 and [rk] = n}. Here k = 10^(floor(log_10(n))+1) and [x] = floor(x+1/2) + ceiling((2x-1)/4) - floor((2*x-1)/4) - 1.

Original entry on oeis.org

1, 7, 4, 3, 5, 2, 5, 3, 4, 7, 10, 9, 8, 15, 7, 13, 19, 6, 11, 16, 5, 14, 9, 13, 17, 4, 19, 11, 18, 7, 10, 13, 19, 3, 29, 17, 11, 19, 8, 18, 5, 17, 12, 7, 9, 11, 13, 15, 21, 35, 2, 35, 21, 15, 13, 11, 9, 7, 12, 17, 5, 18, 8, 19, 11, 17, 29, 3, 19, 13, 10

Offset: 0

Luca Petrone, Apr 27 2018

a(n) is the smallest denominator of a fraction that, when rounded to d digits after the decimal point, is equal to 0.n, where d is the number of digits of n, and the rounding convention applied is that a number whose fractional part is 1/2 is rounded to the nearest even integer.
a(k-n) = a(n), where k is the first power of 10 exceeding n.
The sequence [A297367(n)/a(n), n = 10^(k-1)..10^(k)-1] is a subsequence of the Farey sequence A006842/A006843 of order ceiling((2/3)*10^k). For example, the terms a(1)..a(9) are the denominators of {1/7, 1/4, 1/3, 2/5, 1/2, 3/5, 2/3, 3/4, 6/7}; this sequence of fractions is a subsequence of the Farey sequence of order ceiling((2/3)*10^1) = 7, i.e., F7 = {0/1, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 2/5, 3/7, 1/2, 4/7, 3/5, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 1/1}.
With the exception of n in {1, 2, 4, 13, 16}, r(n) = A297367(n)/a(n) is in the Farey series of order n (row n of A006842/A006843). - Peter Luschny, May 19 2018

			The table below shows the different rational numbers which satisfy the requirements of the definition. The denominators of the first rational number in each row constitute the sequence. Note that the round function is not implemented uniformly in popular software. For example, Mathematica matches our definition, while Maple's round function would return incorrect values.
.
  |                     |  decimal  |     round(10*r)
n | rational numbers r  |   value   | Mathematica | Maple
--+---------------------+-----------+-------------+------
0 | 0/1                 | 0.0000000 |      0      |   0
1 | 1/7, 1/8, 1/9, 1/10 | 0.1428571 |      1      |   1
2 | 1/4, 1/5, 1/6, 2/9  | 0.2500000 |      2      | * 3 *
3 | 1/3, 2/7, 3/10      | 0.3333333 |      3      |   3
4 | 2/5, 3/7, 3/8, 4/9  | 0.4000000 |      4      |   4
5 | 1/2                 | 0.5000000 |      5      |   5
6 | 3/5, 4/7, 5/8, 5/9  | 0.6000000 |      6      |   6
7 | 2/3, 5/7, 7/10      | 0.6666667 |      7      |   7
8 | 3/4, 4/5, 5/6, 7/9  | 0.7500000 |      8      |   8
9 | 6/7, 7/8, 8/9, 9/10 | 0.8571429 |      9      |   9

C. F. Gauss, Theorematis arithmetici demonstratio nova, Societati regiae scientiarum Gottingensis, Vol. XVI., January 15, 1808, pp. 5-7, section 4-5.
L. Graham and Donald E. Knuth and Oren Patashnik, Concrete mathematics: a foundation for computer science (Second Edition), Addison-Wesley Publishing Company, 1994, pp. 86-101.
Kenneth E. Iverson, A Programming Language, John Wiley And Sons, Inc., 1962 (4th printing 1967), pp. 11-12.
Takeo Kamizawa, Note on the Distance to the Nearest Integer, Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University, Toruń, Poland, 2016.
A. M. Legendre, Théorie des nombres (deuxième édition), 1808.
D. Zuras, M. Cowlishaw, R. M. Grow, et al., IEEE Standard for Floating-Point Arithmetic, Std 754(tm)-2008, ISBN 978-0-7381-5753-5, August 28, 2008, p. 16, sections 4.3.1-4.3.3.

Luca Petrone, Table of n, a(n) for n = 0..9999
IEEE, 754-2008 - IEEE Standard for Floating-Point Arithmetic, IEEE Computer Society, August 28, 2008.
Luca Petrone, log-log plot for first 100000 terms
Štefan Porubský, Integer rounding functions, Interactive Information Portal for Algorithmic Mathematics, Institute of Computer Science of the Czech Academy of Sciences, April 1, 2007.
Eric Weisstein's World of Mathematics, Nearest Integer Function
Wikipedia, Nearest integer function

Cf. A239525, A297367, A006842, A006843, A304879.

r := proc(n) local nint, k, p, q; k := 10^(ilog10(n)+1);
nint := m -> floor(m + 1/2) + ceil((2*m-1)/4) - floor((2*m-1)/4) - 1;
for p from 1 to k do for q from p+1 to k do if nint(p*k/q) = n then return p/q fi od od; 0/1 end:
a := n -> denom(r(n)): seq(a(n), n=0..99); # Peter Luschny, May 19 2018

a = {1};
For[i = 1, i <= 100, i++,
nmax = 10^(Floor[Log[10, i]] + 1);
r = i/nmax;
For[n = 1, n <= nmax, n++,
If[Round[Round[n r]/n, 1/nmax] == r,
a = Flatten[Append[a, n]];
Break[];
]]]

A359118 Number of edges in the planar Farey Ring graph FR(n) defined in A359116, including the regions between the convex hull and the bounding circle.

Original entry on oeis.org

1, 2, 12, 48, 457, 1027, 6190, 14652, 40852, 71601, 223637, 325661, 847984, 1269433, 2053303, 3157887, 6638971, 8490949, 16421392, 21323264, 30639928

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Dec 17 2022

See A359116 and A359117 for images of the figure.

Cf. A359116 (vertices), A359117 (regions), A359119 (k-gons), A358888, A006842, A006843, A005728, A135565.

a(n) = A359116 + A359117 - 1 by Euler's formula.

cp's OEIS Frontend

A359654 Number of vertices formed in a square with edge length 1 by straight line segments when connecting the internal edge points that divide the sides into segments with lengths equal to the Farey series of order n to the equivalent points on the opposite side of the square.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A359692 Number of regions in a regular drawing of a complete bipartite graph where the vertex positions on each part equal the Farey series of order n.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A178031 Consider the Farey tree A049455/A049456; a(n) = row at which the denominator n first appears (assumes first row is labeled row 1).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Extensions

A359116 Mark the points of the Farey series F_n on a strip of paper and wrap it around a circle of circumference 1 so the endpoints 0 and 1 coincide; draw a chord between every pair of the Farey points; a(n) is the number of vertices in the resulting graph.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A359117 Number of regions in the planar Farey Ring graph FR(n) defined in A359116, including the regions between the convex hull and the bounding circle.

Views

Author

Keywords

Links

Crossrefs

Formula

A359119 Irregular table read by rows: T(n,k) is the number of k-gons, k>=2, in the Farey Ring graph FR(n) defined in A359116.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

A359655 Number of edges formed in a square with edge length 1 by straight line segments when connecting the internal edge points that divide the sides into segments with lengths equal to the Farey series of order n to the equivalent points on the opposite side of the square.

Views

Author

Keywords

Comments

Crossrefs

Formula

A359691 Number of crossings in a regular drawing of a complete bipartite graph where the vertex positions on each part equal the Farey series of order n.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A303612 a(n) = min{denominator(r) with r in R} and R = {0 <= r rational <= 1 and [r*k] = n}. Here k = 10^(floor(log_10(n))+1) and [x] = floor(x+1/2) + ceiling((2*x-1)/4) - floor((2*x-1)/4) - 1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

A359118 Number of edges in the planar Farey Ring graph FR(n) defined in A359116, including the regions between the convex hull and the bounding circle.

Views

A303612 a(n) = min{denominator(r) with r in R} and R = {0 <= r rational <= 1 and [rk] = n}. Here k = 10^(floor(log_10(n))+1) and [x] = floor(x+1/2) + ceiling((2x-1)/4) - floor((2*x-1)/4) - 1.