Thanks for these latest hints!
Pics attached for c145, c287, c288, and c6107 are an attempt to further explore the relationship between the product of (-f,1).a and (e,1).a and the corresponding factor record's aan(n-1) value.
Relevant columns are as follows:
-
"a diff": difference between (e,1).a and (-f,1).a.
-
"d diff": difference between (e,1).d and (-f,1).d.
-
"aa product": (e,1).a * (-f,1).a
-
"div 2": "aa product"/2. (abbreviated as aa/2 in this post)
-
"ti": largest triangle base from aa/2 as calculated from the inverse triangle formula.
-
"ti rm": remainder from aa/2 less the largest triangle.
-
"square multiples": possible square factors of aa/2.
The aa/2 value is being analyzed because aan(n-1) = aa * 2T(n-1) for each factor record. Therefore we can isolate aa and T(n-1).
Each possible "square multiple" has it's own triangular breakdown. See the c6107 example for 4426800 that shows possible T formulas plus remainders for the 1, 2, 4, 5, 10, and 20 squares.
Might be going too deep here, but the objective is to see if there is a way to calculate the "aa product" for any factor record by understanding it's components.
Other observations on this data:
1) The "a diff" column matches the factor record's a value.
2) The "d diff" column can be used to navigate from the starting x value to the solution x:
If "d diff" is even, then starting x - "d diff" == solution x.
If "d diff" is odd, then starting x - "d diff" - 1 == solution x.