Итак необходимо , показать, что равенство
![$$12\cdot (b_x)_1^3+6\cdot (b_x)_1^2+(b_x)_1 =
1/3\cdot {[(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]}/2$$ $$12\cdot (b_x)_1^3+6\cdot (b_x)_1^2+(b_x)_1 =
1/3\cdot {[(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]}/2$$](https://dxdy-04.korotkov.co.uk/f/f/9/4/f942d7bbc146500c1b927bcff055a78182.png)
; 5.3.1
В целочисленных значениях невыполнимо.
Уточнение 1.
В предыдущем посте, формула 5.3.1 дана без удаления коэффициента 2, после копирования из доказательства предыдущего варианта, по невнимательности автора.
Уточнение 2.
При нечётности предполагаемого значения
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, величину
![$(F_{b_x^3}/3-(b_x)_1)$ $(F_{b_x^3}/3-(b_x)_1)$](https://dxdy-02.korotkov.co.uk/f/1/b/4/1b463f163c148bca8bcb7c908b69135782.png)
;
можно представить:
![$O_i=18+24\cdot k_i$ $O_i=18+24\cdot k_i$](https://dxdy-01.korotkov.co.uk/f/0/7/1/071dbeaba2d422f1ea4f8b916fbf037082.png)
, 6.2.1(1)
где
![$k_i$ $k_i$](https://dxdy-03.korotkov.co.uk/f/e/c/7/ec71f47b6aee7b3cd545386b9360191582.png)
– целочисленное значение.
А числовой ряд величин
![$(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)/[(b_x)_1^2], при предполагаемых нечётных значениях $ $(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)/[(b_x)_1^2], при предполагаемых нечётных значениях $](https://dxdy-01.korotkov.co.uk/f/8/6/d/86d514245dfc6d4fcda567f7809bdb9c82.png)
(b_x)_1$, принимает вид:
![$(a_1)$ $(a_1)$](https://dxdy-02.korotkov.co.uk/f/d/b/2/db2244312073f4253ce173027274275d82.png)
: ……………………….................1,…….3,…… 5, .... 7,…. .9, .…. 11,
![$[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]$ $[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]$](https://dxdy-03.korotkov.co.uk/f/a/e/c/aec32118cf7849943d6a06cfcd2a134682.png)
:…………..18, ….378, .1650,.4410, 9234, .16698,
![$[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]/[(b_x)_1]$ $[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]/[(b_x)_1]$](https://dxdy-02.korotkov.co.uk/f/5/f/0/5f02cafafe2df89a1fd1d2806aded86e82.png)
:..18, …..42, ….66,…90, …144, …168,
При чётности предполагаемого значения
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, величину
![$(F_{b_x^3}/3-(b_x)_1)$ $(F_{b_x^3}/3-(b_x)_1)$](https://dxdy-02.korotkov.co.uk/f/1/b/4/1b463f163c148bca8bcb7c908b69135782.png)
;
можно представить:
![$O_i=24\cdot k_j$ $O_i=24\cdot k_j$](https://dxdy-04.korotkov.co.uk/f/f/b/5/fb5a824b76d7023fec9bbe100284af1982.png)
, 6.2.1 (2)
где:
![$k_j$ $k_j$](https://dxdy-04.korotkov.co.uk/f/7/5/c/75c9e9a3fab35d4c380586a9713adfe482.png)
– целочисленное значение.
А числовой ряд величин
![$(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)/[(b_x)_1^2]$ $(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)/[(b_x)_1^2]$](https://dxdy-02.korotkov.co.uk/f/9/6/a/96a4695cbba6f7a74ff3bebaf854ea7f82.png)
, при предполагаемых чётных значениях
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, принимает вид:
![$(a_1)$ $(a_1)$](https://dxdy-02.korotkov.co.uk/f/d/b/2/db2244312073f4253ce173027274275d82.png)
: ……………………….................2,…….4,…… 6, …..8,…. ..10, .…. 12,
![$[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]$ $[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]$](https://dxdy-03.korotkov.co.uk/f/a/e/c/aec32118cf7849943d6a06cfcd2a134682.png)
:………….120, ….864, .2808,.6528, 12600, .21600,
![$[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]/[(b_x)_1]$ $[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]/[(b_x)_1]$](https://dxdy-02.korotkov.co.uk/f/5/f/0/5f02cafafe2df89a1fd1d2806aded86e82.png)
:..30, .…..54, ….78,…102, …126, …150,
В рассматриваемом варианте, правая часть предполагаемого равенства не может рассматриваться как сумма двух слагаемых.
Поэтому для правой части равенства, в зависимости от предполагаемой чётности величины
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
определяется остаток, минимальное возможное значение этой величины на основании выражений 6.2.1 (1) и 6.2.1 (2).
При этом, сумма
![$(c_1+a_1)$ $(c_1+a_1)$](https://dxdy-01.korotkov.co.uk/f/c/2/4/c2472a827d193328594ee77475e6a77c82.png)
должна содержать сомножитель 3, при условии, что и разность
![$(c_1- a_1)$ $(c_1- a_1)$](https://dxdy-01.korotkov.co.uk/f/0/e/0/0e067806e2b8586361d370cf7925a86f82.png)
содержит требуемое количество таких сомножителей, обеспечивающее предположение опровержение БТФ.
Величина
![$(F_{b_x^3}/3)-[(b_x)_1]$ $(F_{b_x^3}/3)-[(b_x)_1]$](https://dxdy-01.korotkov.co.uk/f/0/b/1/0b180e02cb0643907df32177ca2d028882.png)
должна содержать сомножители 2 и 3.
Чётность предполагаемой величины
![$(F_{b_x^3}/3)-[(b_x)_1]$ $(F_{b_x^3}/3)-[(b_x)_1]$](https://dxdy-01.korotkov.co.uk/f/0/b/1/0b180e02cb0643907df32177ca2d028882.png)
может быть обеспечена корректировкой, посредством переноса девяти единиц из одного слагаемого конструируемой величины
![$(F_{b_x^3})$ $(F_{b_x^3})$](https://dxdy-01.korotkov.co.uk/f/0/2/8/028ad5899315251fc625db1aca87760782.png)
в другое слагаемое.
Так как, в этом варианте производиться деление на 6, перенос может привести к чётности второго слагаемого и нечётности первого.
В этом случае переносы делаются с обратными знаками.
Таким образом, определяется чётность предполагаемой величины
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, так как от этого зависит построение числовых рядов величин
![$(F_{b_x^3}/3-(b_x)_1)$ $(F_{b_x^3}/3-(b_x)_1)$](https://dxdy-02.korotkov.co.uk/f/1/b/4/1b463f163c148bca8bcb7c908b69135782.png)
и
![$12\cdot (b_x)_1+6$ $12\cdot (b_x)_1+6$](https://dxdy-01.korotkov.co.uk/f/c/0/1/c01ed7a382bd63d64e787cddc0a9b3a682.png)
.
Сравнение этих числовых рядов обеспечивается на основании сопоставления младших разрядов.
При построении числовых рядов предполагаемых значений следует, на основании существующей закономерности, определить минимальное значение предполагаемой величины
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, а затем обеспечить построение числового ряда с интервалом 24.
При нечётных предполагаемых значениях величины
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, остаток от величины
![$ 1/3\cdot [(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]/2-18$ $ 1/3\cdot [(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]/2-18$](https://dxdy-01.korotkov.co.uk/f/4/d/6/4d649591bed4e0352abf197e195d596982.png)
по
![$\bmod(24)$ $\bmod(24)$](https://dxdy-04.korotkov.co.uk/f/b/9/c/b9c6d0d242f751b429002c9ffc871c0682.png)
,
При чётных предполагаемых значениях величины
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, остаток от величины
![$1/3\cdot {[(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]}/2$ $1/3\cdot {[(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]}/2$](https://dxdy-02.korotkov.co.uk/f/1/7/b/17b58acbb647a478f0cb874fcbc35a6682.png)
по
![$\bmod(24)$ $\bmod(24)$](https://dxdy-04.korotkov.co.uk/f/b/9/c/b9c6d0d242f751b429002c9ffc871c0682.png)
.
Проверочной корректировкой может служить корректировка, обеспечивающая перевод величины
![${[(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]}$ ${[(c_1^2+c_1\cdot a_1+a_1^2)+(c_1+a_1)]}$](https://dxdy-04.korotkov.co.uk/f/f/0/3/f03dc424cd1faf2825d8baabfa7de1e082.png)
, обособленно, по слагаемым.
Представляя, таким образом, минимально возможную предполагаемую величину
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
, можно оценивать соотношение сконструированных величин
![$(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)$ $(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)$](https://dxdy-04.korotkov.co.uk/f/7/0/0/700377d065120d51364b170cbf27e8dd82.png)
и
по младшим разрядам.
При этом, по младшим разрядам, обеспечивается тождество
![$(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)/[(b_x)_1^2]=(12\cdot (b_x)_1+6)$ $(12\cdot (b_x)_1^3+6\cdot (b_x)_1^2)/[(b_x)_1^2]=(12\cdot (b_x)_1+6)$](https://dxdy-03.korotkov.co.uk/f/a/f/3/af3550a5d7f1cacf16e03e160518eb7b82.png)
, и
соответственно, величины
![$[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]$ $[12\cdot (b_x)_1^3+6\cdot (b_x)_1^2]$](https://dxdy-03.korotkov.co.uk/f/a/e/c/aec32118cf7849943d6a06cfcd2a134682.png)
на основании сконструированного
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
.
Единственным противоречием остаётся несоизмеримость проверяемых величин.
Это объясняется тем, что конструируемая величина
![$(b_x)_1$ $(b_x)_1$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855fc79b391cf496f134002d6e52ec7e82.png)
выражается либо значением, равным величине
![$(a_1)$ $(a_1)$](https://dxdy-02.korotkov.co.uk/f/d/b/2/db2244312073f4253ce173027274275d82.png)
, либо величине
![$(c_1-a_1)$ $(c_1-a_1)$](https://dxdy-03.korotkov.co.uk/f/e/9/f/e9f40e8235ce66e0076b09d846d8cc9c82.png)
.
По мнению автора, если бы мы получали степень
![$(b_x)_1^3$ $(b_x)_1^3$](https://dxdy-04.korotkov.co.uk/f/3/d/5/3d571642e48e417d85feb2a9547ed4c282.png)
, как разность
![$(c^3-a^3)$ $(c^3-a^3)$](https://dxdy-01.korotkov.co.uk/f/0/6/b/06b2287aa6df6160a3b58cb8b23867ad82.png)
, мы бы обеспечили искомое опровержение БТФ.
Но это, при условии, которое не существует.