27 Jan
2019
27 Jan
'19
10:14 a.m.
(Empirical) claim: This identity is "primitive" or "irreducible" in the sense that it holds for no other rational exponents of the 3 and the binomials if any exponent is 0, unless they all are. —rwg On Sat, Jan 26, 2019 at 7:54 AM Bill Gosper <billgosper@gmail.com> wrote:
3 (1 + 3 2^(1/3)) (2 - 3^(1/3)) (1 + 3^(1/3)) = = (1 + 2^(1/3))^3 (1 + 2^(2/3)) (-1 + 3^(1/3)) (-2^(2/3) + Sqrt[3]) (2^(2/3) + Sqrt[3]) (1 + 3^(2/3)) —rwg