An almost integer is a number that is very close to an integer.
Surprising examples are given by
(1) |
which equals -1 to within 5 digits and
(2) |
which equals -1 to within 16 digits (M. Trott, pers. comm., Dec. 7, 2004).
Another surprising example involving both e and pi is
(3) |
which can also be written as
(4) |
(5) |
Here, is Gelfond's constant. Applying cosine a few more times gives
(6) |
This curious near-identity was apparently noticed almost simultaneously around 1988 by N. J. A. Sloane, J. H. Conway, and S. Plouffe, but no satisfying explanation as to "why" it has been true has yet been discovered.
Another nested cosine almost integer is given by
(7) |
(P. Rolli, pers. comm., Feb. 19, 2004).
An example attributed to Ramanujan is
(8) |
An interesting near-identity is given by
(9) |
(W. Dubuque, pers. comm.).
Other remarkable near-identities are given by
(10) |
where is the gamma function (S. Plouffe, pers. comm.),
(11) |
(D. Wilson, pers. comm.),
(12) |
where is the root of (L. A. Broukhis, pers. comm.),
(13) |
(D. Davis, pers. comm.),
(14) |
(posted to sci.math; origin unknown),
(15) |
(16) |
(17) |
where C is Catalan's constant, is the Euler-Mascheroni constant, and is the golden ratio (D. Barron, pers. comm.), and
(18) |
(19) |
(20) |
(E. Stoschek, pers. comm.). Stoschek also gives an interesting near-identity involving the fine structure constant and Feigenbaum constant
(21) |
E. Pegg (pers. comm.) discovered the interesting near-identities
(22) |
and
(23) |
(March 4, 2002). The near-identity
(24) |
arises by noting that the stellation ratio in the cumulation of the dodecahedron to form the great dodecahedron is approximately equal to
(25) |
where is Apéry's constant and is the Euler-Mascheroni constant, which is accurate to four digits (P. Galliani, pers. comm., April 19, 2002).
M. Hudson (pers. comm., Oct. 18, 2004) noted the almost integer
(26) |
where K is Khinchin's constant.
J. DePompeo (pers. comm., Mar. 29, 2004) found
(27) |
which is equal to 1 to five digits.
M. Kobayashi (pers. comm., Sept. 17, 2004) found
(28) |
which is equal to 1 to five digits. The related expression
(29) |
which is equal to 0 to six digits (E. Pegg Jr., pers. comm., Sept. 28, 2004).
E. W. Weisstein (Mar. 17, 2003) found the almost integers
(30) | |||
(31) | |||
(32) |
as individual integrals in the decomposition of the integration region to compute the average area of a triangle in triangle triangle picking.
and give the almost integer
(33) |
(E. W. Weisstein, Feb. 5, 2005).
Let be the average length of a line in triangle line picking for an isosceles right triangle, then
(34) |
which is within of
D. Terr (pers. comm., July 29, 2004) found the almost integer
(35) |
where is the golden ratio and is the natural logarithm of 2.
A set of almost integers due to D. Hickerson are those of the form
(36) |
for
n | |
0 | 0.72135 |
1 | 1.04068 |
2 | 3.00278 |
3 | 12.99629 |
4 | 74.99874 |
5 | 541.00152 |
6 | 4683.00125 |
7 | 47292.99873 |
8 | 545834.99791 |
9 | 7087261.00162 |
10 | 102247563.00527 |
11 | 1622632572.99755 |
12 | 28091567594.98157 |
13 | 526858348381.00125 |
14 | 10641342970443.08453 |
15 | 230283190977853.03744 |
16 | 5315654681981354.51308 |
17 | 130370767029135900.45799 |
These numbers are close to integers due to the fact that the quotient is the dominant term in an infinite series for the number of possible outcomes of a race between n people (where ties are allowed). Calling this number f(n), it follows that
(37) |
with
(38) |
and then by contour integration it can be shown that
(39) |
for
(40) |
where is the Hurwitz zeta function. In fact, the other terms are quite small for n from 1 to 15, so f(n) is the nearest integer to for these values (Hickerson), given by the sequence 1, 3, 13 75, 541, 4683, ... (Sloane's A034172).
A large class of irrational "almost integers" can be found using the theory of modular functions, and a few rather spectacular examples are given by Ramanujan (1913-14). Such approximations were also studied by Hermite (1859), Kronecker (1863), and Smith (1965). They can be generated using some amazing (and very deep) properties of the j-function. Some of the numbers which are closest approximations to integers are (sometimes known as the ramanujan constant and which corresponds to the field which has class number 1 and is the imaginary quadratic field of maximal discriminant),
The properties of the j-function also give rise to the spectacular identity
(41) |
(Le Lionnais 1983, p. 152; Trott 2004, p. 8).
The list below gives numbers of the form for for which
n | |
6 | |
17 | |
18 | |
22 | |
25 | |
37 | |
43 | |
58 | |
59 | |
67 | |
74 | |
103 | 0.0019 |
148 | 0.00097 |
149 | |
163 | |
164 | 0.0027 |
177 | |
205 | 0.0030 |
223 | 0.0034 |
226 | 0.0065 |
232 | |
267 | |
268 | 0.00029 |
326 | |
359 | 0.0094 |
386 | |
522 | |
566 | |
630 | 0.0096 |
638 | |
652 | |
719 | |
790 | |
792 | |
928 | |
940 | 0.0019 |
986 |
Gosper (pers. comm.) noted that the expression
(42) |
E. Pegg Jr. noted that the triangle dissection illustrated above has length
(43) | |||
(44) |
which is almost an integer.
Borwein and Borwein (1992) and Borwein et al. (2004, pp. 11-15) give examples of series identities that are nearly true. For example,
(45) |
which is true since and for positive integer n < 268. In fact, the first few doubled values of n at which are 268, 536, 804, 1072, 1341, 1609, ... (Sloane's A096613).
Class Number, Floor, j-Function, Pi, Pisot Number, Triangle Dissection
Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, pp. 90-91, 1994.
Borwein, J.; Bailey, D.; and Girgensohn, R. "High Precision Fraud." §1.4 in Experimentation in Mathematics: Computational Paths to Discovery. Natick, MA: A. K. Peters, pp. 11-15, 2004.
Borwein, J. M. and Borwein, P. B. "Strange Series and High Precision Fraud." Amer. Math. Monthly 99, 622-640, 1992.
Cohen, H. "Elliptic Curves." In From Number Theory to Physics (Ed. M. Waldschmidt, P. Moussa, J.-M. Luck, and C. Itzykson). New York: Springer-Verlag, pp. 212-237, 1992.
Hermite, C. "Sur la théorie des équations modulaires." Comptes Rendus Acad. Sci. Paris 48, 1079-1084 and 1095-1102, 1859.
Hermite, C. "Sur la théorie des équations modulaires." Comptes Rendus Acad. Sci. Paris 49, 16-24, 110-118, and 141-144, 1859.
Kronecker, L. "Über die Klassenzahl der aus Werzeln der Einheit gebildeten komplexen Zahlen." Monatsber. K. Preuss. Akad. Wiss. Berlin, 340-345. 1863.
Le Lionnais, F. Les nombres remarquables. Paris: Hermann, 1983.
Pegg, E. Jr. http://www.mathpuzzle.com/WIWWTP.gif.
Pegg, E. Jr. "Math Games: Keen Approximations." Feb. 14, 2005. http://www.maa.org/editorial/mathgames/mathgames_02_14_05.html.
Ramanujan, S. "Modular Equations and Approximations to
Roberts, J. The Lure of the Integers. Washington, DC: Math. Assoc. Amer., 1992.
Sloane, N. J. A. Sequences A034172 and A096613 in "The On-Line Encyclopedia of Integer Sequences." http://www.research.att.com/~njas/sequences/.
Smith, H. J. S. Report on the Theory of Numbers. New York: Chelsea, 1965.
Stillwell, J. "Modular Miracles." Amer. Math. Monthly 108, 70-76, 2001.
Stoschek, E. "Modul 33: Algames with Numbers." http://marvin.sn.schule.de/~inftreff/modul33/task33.htm.
Trott, M. The Mathematica GuideBook for Programming. New York: Springer-Verlag, 2004. http://www.mathematicaguidebooks.org/.
Waldschmidt, M. "Some Transcendental Aspects of Ramanujan's Work." In Ramanujan Revisited: Proceedings of the Centenary Conference, University of Illinois at Urbana-Champaign, June 1-5, 1987 (Ed. G. E. Andrews, B. C. Berndt, and R. A. Rankin). New York: Academic Press, pp. 57-76, 1988.
Waldschmidt, M. In Ramanujan Centennial International Conference (Ed. R. Balakrishnan, K. S. Padmanabhan, and V. Thangaraj). Ramanujan Math. Soc., 1988.