Abstract
We present a proof of the fact that \(2^{n} \le {{\mathrm{lcm}}}\{1, 2, 3, \dots , (n+1)\}\). This result has a standard proof via an integral, but our proof is purely number theoretic, requiring little more than list inductions. The proof is based on manipulations of a variant of Leibniz’s Harmonic Triangle, itself a relative of Pascal’s better-known Triangle.
NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We use here since we allow .
- 2.
This is illustrated in Fig. 2 from the middle (step 4) to the last (step 7).
References
Agrawal, M., Kayal, N., Saxena, N.: PRIMES is in P. Ann. Math. 160(2), 781–793 (2004)
Ayoub, A.B.: The harmonic triangle and the beta function. Math. Mag. 60(4), 223–225 (1987)
Bicknell-Johnson, M.: Diagonal sums in the harmonic triangle. Fibonacci Q. 19(3), 196–199 (1981)
Chan, H.-L., Norrish, M.: Mechanisation of AKS algorithm: Part 1–the main theorem. In: Urban, C., Zhang, X. (eds.) ITP 2015. LNCS, vol. 9236, pp. 117–136. Springer, Heidelberg (2015)
Esteve, M.R.M., Delshams, A.: Euler’s beta function in Pietro Mengoli’s works. Arch. Hist. Exact Sci. 63(3), 325–356 (2009)
Farhi, B.: An identity involving the least common multiple of binomial coefficients and its application. Am. Math. Mon. 116(9), 836–839 (2009)
Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers, 6th edn. Oxford University Press, USA (2008). ISBN: 9780199219865
Hong, S.: Nair’s and Farhi’s identities involving the least common multiple of binomial coefficients are equivalent, July 2009. http://arxiv.org/pdf/0907.3401
Grigory, M.: Answer to: is there a direct proof of this LCM identity? Question 1442 on Math Stack Exchange, August 2010. http://math.stackexchange.com/questions/1442/
Nair, M.: On Chebyshev-type inequalities for primes. Am. Math. Mon. 89(2), 126–129 (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Chan, HL., Norrish, M. (2016). Proof Pearl: Bounding Least Common Multiples with Triangles. In: Blanchette, J., Merz, S. (eds) Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science(), vol 9807. Springer, Cham. https://doi.org/10.1007/978-3-319-43144-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-43144-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43143-7
Online ISBN: 978-3-319-43144-4
eBook Packages: Computer ScienceComputer Science (R0)