A Bijective Proof of Richard Stanley's Observation that the sum of the cubes of the n-th row of Stern's Diatomic array equals 3 times 7 to the power n-1

Shalosh B. XIV Ekhad, Doron Zeilberger

Publication date: 23 March 2021

Abstract: In a delightful article, Richard Stanley derived, algebraically, the surprisingly simple formula, 3 times 7 to the power n-1, for the sum of the cubes of the n-th row of Stern's diatomic array. In this note, we find an elegant bijective proof of this surprising fact, that explains it and gives insight. The novelty is that this gorgeous bijection was discovered by a computer (SBE), with minimal guidance by a human (DZ). This debunks the conventional wisdom, held by some human supremacists, that computers can only compute, but they can't give insight

This page was built for publication: A Bijective Proof of Richard Stanley's Observation that the sum of the cubes of the n-th row of Stern's Diatomic array equals 3 times 7 to the power n-1