Elementary proofs of generalized continued fraction formulae for e

07/12/2019

∙

by   Zhentao Lu, et al.

∙

0

∙

share

In this short note we prove two elegant generalized continued fraction formulae e= 2+11+12+23+34+... and e= 3+-14+-25+-36+-47+... using elementary methods. The first formula is well-known, and the second one is newly-discovered in arXiv:1907.00205 [cs.LG]. We then explore the possibility of automatic verification of such formulae using computer algebra systems (CAS's).