- . |
|
, , , .
:
25-45=16-36
(9/2)^2
25-45+(9/2)^2=16-36+(9/2)^2
, :
5^2-(2*5*9)/2+(9/2)^2=4^2-(2*4*9)/2+(9/2)^2
:
(5-9/2)^2=(4-9/2)^2
:
5-9/2=4-9/2
5=4 !!!!!!!!!
, , .
|
: |
|
|
|
, , , ( ) , , " " , .
, .. (" ") , , , . , , "" . (Goodstein R.L. Journal of symbolic logic)
, , , 581. 2:
581 = 29+26+22+1.
( 581, , 1001000101, , , -- , .) , "" -- .. 9, 6 2 -- , , (9=23+1, 6=22+21, 2=21); (, 21 = 2)
581 = 22**3+1+22**2+2+22+1.
** - .
, -- "3", -- 3 = 21 + 1,
581 = 22**2+1+22**2+2+22+1.
,
() "" ,
() .
"" "2", , : 3,4,5,6,... . , () 581, :
33**3+1+1+33**3+3+33+1
( -- -- , 133027946...). ()
333+1+1+333+3+33
(.. - , 133027946...). ()
44**4+1+1+44**4+4+44
( , 618 , 12926802...). -- --
444+1+1+444+4+3x43+3x42+3x4+3
( , / , 9999, 1 10000). ()
55**5+1+1+55**5+5+3x53+3x52+3x5+3
(, 10923 1274...). , "3", , , ( 5), . () ,
555+1+1+555+5+3x53+3x52+3x5+2,
(), (), (), (), ... .., . , , . : , (581 ), !
, . , , -- "3" ( 21 + 1, 4, 3, 4, 2, 1, 0); -- -- "4" ( 4 = 22 4, 27, 26, 42, 41, 61, 60, 84, ..., 121210695- , !).
...
: |