We will have a look at the algebraic proofs for the Trachtenberg System and see why the methods Jakow Trachtenberg used in his system work. In the book the algebraic proofs for only a few parts of the system were shown but here we will try to include as much of the system as we can.
One part of the system we won't be showing a proof for is the fast method for long division because the method is not exact and you have to make adjustments to your results as you go.
We won't be going into much detail on explaining the proofs as if this part interests you then you will most likely understand what is going on. If not you can always contact me or leave a comment below.
The first thing we will do is to separate the numbers out into individual digits using expanded notation.
For example taking the number , we have 4 thousands, six hundreds, 3 tens and 7 units (ones) making up this number so we can write it out like so:
This is the case for any four digit number and so we can represent that by generalizing the number and replacing each digit with a letter.
The , , and each can represent any digit from to .
In the case of the number 4637 then:
We could replace with any four digit number and the formula would be correct.
We can add a zero in front of a number and it has no affect on the number, the value stays the same.
or more generally, using our letters:
We can also include adding zero times any unit to our number without changing its value. Because any value multiplied by zero is always zero.
Adding the on the end is the same as adding zero to the number, it has no effect. However, this will be used later in the proofs. This zero on the end does not change the value but will serve as a placeholder in later formulas.
In the following algebraic formulas we will use to represent our general number:
For consistency for the remainder of the algebra we will use the dot notation for multiplication so instead of:
We will use:
We will start with the easier proofs then work our way to the more complicated ones.
Numbers of any length
Taking the expanded form of our four digit number we can write it in power notation.
Each letter in our number is multiplied by a power of 10 and we can represent all of them with . We can now replace the letters in our number with new letters like this:
Where each subscript in our new letters matches the power the letter was multiplied by, this means we can write.
Now instead of just having a four digit number we can replace this with a digit number, where may be any number. We can now represent our general number in this format.
[Note: The "..." indicates there can be any number of "" at this point, eg if k=5 then the "..." would be replaced by "", if k=6 then the "..." would be replaced by ""]
being the number of digits in the number and representing each digit from 0 to .