用4个 "2" 能构成所有的自然数。
ln[ln(2)÷ln(根号2)]÷2ln(根号2)=1
ln[ln(2)÷ln(根号,根号2)]÷2ln(根号2)=2
ln[ln(2)÷ln(根号,根号,根号2)]÷2ln(根号2)=3
ln[ln(2)÷ln(根号,根号,根号,根号2)]÷2ln(根号2)=4
ln[ln(2)÷ln(根号,根号,根号,根号,根号2)]÷2ln(根号2)=5
ln[ln(2)÷ln(根号,根号,根号,根号,根号,根号2)]÷2ln(根号2)=6
ln[ln(2)÷ln(根号,根号,根号,根号,根号,根号,根号2)]÷2ln(根号2)=7
ln[ln(2)÷ln(根号,根号,根号,根号,根号,根号,根号,根号2)]÷2ln(根号2)=8
ln[ln(2)÷ln(根号,根号,根号,根号,根号,根号,根号,根号,根号2)]÷2ln(根号2)=9
Table[Log[Log[2]/Log[Nest[Sqrt, 2, n]]]/(2 Log[Sqrt[2]]), {n, 9}] // FullSimplify
{1, 2, 3, 4, 5, 6, 7, 8, 9}——用4个 "2" 能构成所有的自然数。
Table[Log[Log[2]/Log[Nest[Sqrt, 2, n]]]/Log[2], {n, 9}] // FullSimplify
{1, 2, 3, 4, 5, 6, 7, 8, 9}——用3个 "2" 能构成所有的自然数。
Table[Log[Log[4]/Log[Nest[Sqrt, 4, n]]]/Log[Sqrt[4]], {n, 9}] // FullSimplify
{1, 2, 3, 4, 5, 6, 7, 8, 9}——用3个 "4" 能构成所有的自然数。
Table[Log[Log[16]/Log[Nest[Sqrt, 16, n]]]/Log[Sqrt[Sqrt[16]]], {n, 9}] // FullSimplify
{1, 2, 3, 4, 5, 6, 7, 8, 9}——用3个 "16" 能构成所有的自然数。
Table[Log[Log[256]/Log[Nest[Sqrt, 256, n]]]/Log[Sqrt[Sqrt[Sqrt[256]]]], {n, 9}] // FullSimplify
{1, 2, 3, 4, 5, 6, 7, 8, 9}——用3个 "256" 能构成所有的自然数。
Table[Log[Log[65536]/Log[Nest[Sqrt, 65536, n]]]/Log[Sqrt[Sqrt[Sqrt[Sqrt[65536]]]]], {n, 9}] // FullSimplify
{1, 2, 3, 4, 5, 6, 7, 8, 9}——用3个 "65536" 能构成所有的自然数。
A = Table[2^2^k, {k, 0, 6}]——用3个 "A" 能构成所有的自然数。
Table[a = A[[k + 1]]; Table[Log[Log[a]/Log[Nest[Sqrt, a, n]]]/Log[Nest[Sqrt, a, k]], {n, 9}], {k, 0, 6}] // FullSimplify
{2, 4, 16, 256, 65536, 4294967296, 18446744073709551616}—— "A" 只能是这些数。——其它数是不可以的。
{{1, 2, 3, 4, 5, 6, 7, 8, 9}, {1, 2, 3, 4, 5, 6, 7, 8, 9}, {1, 2, 3, 4, 5, 6, 7, 8, 9}, {1, 2, 3, 4, 5, 6, 7, 8, 9}, {1, 2, 3, 4, 5, 6, 7, 8, 9}, {1, 2, 3, 4, 5, 6, 7, 8, 9}, {1, 2, 3, 4, 5, 6, 7, 8, 9}} |