h a l f b a k e r y
Experiencing technical difficulties since 1999
add, search, annotate, link, view, overview, recent, by name, random
news, help, about, links, report a problem
or get an account
It is possible that this Idea is known by many mathematicians,
it is also possible (see 2nd link) that it has previously been
overlooked. Since it certainly isn't widely known outside of
I've described Fermat Factoring in another Idea (first link) so I
to repeat it here. What matters here is the result that if
is a composite number, its factors can be described as
combinations of two values, m+n and m-n, such that m-squared
minus n-squared equals C.
When C is an even number, we all know that one of its factors is
2, which means that either C/2 is another even number (and
divisible by 2) or that C is an odd number (and might be a
not a composite number). In this presentation we only want to
pay attention to values of C that are both composite and odd.
Now note that if C is a composite odd number, then all its
must be odd numbers. NOW note that if two of its factors can
described as m+n and m-n, the only way that the results can be
odd numbers is if one of the two, m OR n, is an even number,
while the other is an odd number. Because of the subtraction,
is normal for m to be assigned the larger of the two values
(prevents computing a negative factor of C).
If the factors of C are known, then it is easy to compute m and
For example, consider 77, which most folks know equals 7*11.
find m, guaranteed to be the larger than n, simply add 7+11 to
18, and divide by 2 to get 9. m is 9. It is midway between 7
11 by a quantity of 2, so n is 2. (And 9-squared minus 2-squared
is, indeed, 77.)
For another example, consider 51, which equals 3*17. If we add
them to get 20 and divide by 2, then m=10. And since 10 is
midway between 3 and 17 by a quantity of 7, n is 7. (And 10-
squared minus 7-squared is, indeed, 51.)
Now note that in the first example m is an odd number, while in
the second example, m is an even number. This Idea is about,
whenever you don't know the factors of C, you can still be
that m is an even number, OR you can be certain that m is an
At the 3rd link I have a little table for your edification. It
of the results of Even Squares minus Odd Squares, the first part
all possible combinations (the RESULTS are listed, not the
squares, except for the first column, the result of Zero squared
minus odd squares). As you can see, some of the results are
negative, simply because sometimes an Even Square is smaller
than an Odd Square. If we temporarily ignore the minus signs
we can say that all possible values of C-as-odd must be in this
somewhere. (Even primes are in it, having factors of p and 1,
which can still lead to computations of m and n.)
But here's the thing: In that table EVERY positive number in the
table has the form of 4x+3. And EVERY negative number in the
table has the form of 4x+1. The proof that the observation
continues for numbers not in the table is simple: If you follow
numbers diagonally from upper-left to lower-right, you can see
that the difference between any two numbers is always a
of 4. That kind of pattern means that the descriptions 4x+1 and
4x+3 NEVER change. (Also, the differences between adjacent
vertical values, and between adjacent horizontal values, are
multiples of 4, too. Only when crossing from negative numbers
to positive numbers, or vice-versa, do the remainders change,
after dividing by 4.)
Anyway, the observation also means that if you divide any odd
composite C by 4, and look at the remainder (it will be either 1
3), then that can tell you the part of the table where C can be
found (the positive numbers or the negative numbers). If the
remainder is 1, then C is in the negative part of the table, and
the remainder is 3, then C is in the positive part of the table.
Keeping in mind that the table consists of Even Squares minus
Squares, the preceding also tells us that any negative result
that an Odd Square was greater than an Even Square. So when
is shown to be in the negative part of the table, we know that m
will be an odd number; if C is shown to be in the positive part of
the table, we know that m will be an even number.
Remember we WANT m to be greater than n, so that when n-
squared is subtracted from m-squared, the result will be a
C. And simply dividing C by 4 tells us how to know whether or
m will be even, or odd.
Fermat Factoring described (among other things)
As mentioned in the main text. [Vernon, Mar 25 2016]
Simple math discoveries are likely still out there
As mentioned in the main text. Note this article describes the theorem poorly; the lines inside the circle all need to be the same length. [Vernon, Mar 25 2016]
Table of Even Squares minus Odd Squares
As mentioned in the main text. The table can fit reasonably well on a piece of "legal" size paper (landscape orientation), if you want to print it out. [Vernon, Mar 25 2016]
Spreadsheet file (LibreOffice)
The image file was derived from a screen shot of the first spreadsheet; the other two sheets in the file are about studying the diagonals [Vernon, Mar 30 2016]
||There is a more general proof of the factoid of this
||Any odd number can be described as having the
GENERIC form of either 4x+1 or 4x+3
If we multiply 4x+1 by itself, we get
16x^2 + 8x + 1
Since both 16 and 8 are divisible by 4, the net effect is
that the square is a number having the GENERIC form of
4y+1 (the fact that y can represent a more complicated
expression, such as (4x^2 + 2x), makes no difference
when talking about generic stuff).
||If we multiply 4x+3 by itself, we get
16x^2 + 24x + 9
Well! 9=4*2 +1, and that means we could rewrite the
overall expression as
4y+1, where y=(4x^2 + 6x +2)
That means the square of ANY odd number has the
GENERIC form of 4y+1 (!)
||Therefore we need to see what happens when we
subtract 4y+1 from an even square. First, though, we
should note that since any even number has a factor of
2, the square of that number will have two factors of 2,
which means the square of any even number will be
divisible by 4, and thus has the generic form of 4z.
||If the even square is smaller than the odd square that
want to subtract from the even square, then the Rule
For Subtraction is, "subtract the lesser-magnitude value
from the greater-magnitude value, and mark the
result as negative".
||So 4z minus a greater-magnitude 4y+1 means we
actually do 4y+1 minus 4z, and get -(4(y-z) +1) --and
all the negative
values in the linked table did indeed each have the
generic form of 4-times-something, plus 1
||If the even square is larger than the odd square, then
we need to do a little trick, to prepare for subtraction:
4z equals 4z-4+4 equals 4(z-1) + 4
We can now subtract 4(z-1)+4 minus 4y+1, and get
4(z-y-1) +3 --and all the positive numbers in the
linked table did indeed each have the generic form of
4-times-something, plus 3.
||Your excitement makes me wish I understood this better. (+)
||I think this could be used as gene logic to figure out things like
Did I have sex (even or odd chromosome thing, meiosis, mitosis)
||also at other technologies I am reminded of fly with wire, or the space shuttle two out of three computers fly the spacecraft. Is it possible there is a super obvious mathematics bettter than of two of three to guide?
||like you could do mod 4 on computer guided pathwayizing so rather than just knowing it is 2/3 you could know which 2/3 or even notice it was 3/3.
||from a voltage rather than a digital perspective it would be easy to note three capacitors were together, or three LEDS were modifying a voltage. a mod 4 voltage square wave or ripple could say which 2/3 or say 3/3
||I thought about a math approach to distributing data at a computer parallel processing computer with n processors. like um, there is a square wave bits (bytes) then if some of these have slightly elevated voltage, the |_|-|_| with the elevated voltage could make it through a capacitor that accumulated a different bnary datastream than the main datastream. the different bnary datastream could be a compressed data thing, then mathematically there is an n, a quantity of rpocessors, where expanding the comrpessed data was actually more efficient than sending the entire decoded data bnary stream along the main datastream. Your modulo 4 even oddness could build that possibly.
||like um, say you have a a really compressed thing that takes an entire hundredth of a second to decompress. decompressing that at client would be faster than sending it from the opposite side of the earth, rapidifying the internet.
kind of like a multivoltage coprocessor could expand an MP$ movie faster than sending it, yet the ultracompressed mp4 would be just slight voltage variations at the data stream that was travelling regardless. so modulo4 to note odd or even could possibly lift out bits to make the compressed data out of.
||suddenly I conceptualize saying, "photons are different than voltage levels, the internet is photons. hmmm. electrons at microsd cards having multilevel voltage perhaps thus amplifying storage capacity of flash memory to be really ultra high data amounts at a multiprocessor computer possibly...
||Your excitement also makes me wish I understood what you said better.
||"computer guided pathwayizing " [marked-for-tagline]
||computer guided pathwayizing is um, a way to say computer guided spacecraft trajectory producing as a verb.
||I think Simple math discoveries are likely still out there is likely
||I heard about a big bang theory, the thing is I also read that the duodish shape of an erythrocyte actually has higher surface area to volume than a sphere, also the mathematics of that squiggle thing that might be called an antisphere is another continuous lnked curve. the idea that a big bang could be mathematically from something more energy or matter parsimonious than a sphere could be new physics or new math.
||Also regarding the big bang theory wikipedia says that the blue glow of nuclear reactor comes from cerenkov radiation, which is produced when neutrinos travel faster than light through water or other material with a sufficient refractive index. thus if you think of ultradense matter emitting neutrinos, then the neutrinos actually expand at a radius faser than phtons, so the absorbability of neutrinos at prematter actually effects universe shape as much or more than photon absorption effects of prematter. neutrino shaped universe asymmetry is new to me. yet when you think about the possibility of something more parsimonious than a sphere that would be mathematics that is new to me.
||Wait a minute. I thought *everything* had a higher surface-to-volume ratio than a sphere - that a sphere is what you built if you wanted to *minimize* surface area per unit volume. No?
||It turns out that a slightly simpler way to identify if m is
even or odd is this:
Just add 1 to the odd number c, and divide by 2. If the
result is even, then m is even. If the result is odd, then
m is odd.
||Note that if c has the form of 4x+3, then adding 1
creates a number having the form of 4x+4, which if
divided by 2 yields 2x+2, which *must* be an even
number. And if c has the form of 4x+1, then adding 1
creates a number having the form of 4x+2, which when
divided by 2 will yield an odd number: 2x+1.
||Just for fun, consider the composite number c=1155,
which is the
product of (3)(5)(7)(11). It has all these combinations
of pairs of factors:
1 and 1155
3 and 385
5 and 231
7 and 165
11 and 105
15 and 77
21 and 55
33 and 35
||To get m and n (when a pair of factors is known), such
m-squared minus n-squared equals c, the larger number
to square (m) is always equal to the sum of a factor-
pair divided by 2. And n is simply
m minus the smaller factor (OR the larger factor minus
m --OR the larger factor minus the smaller factor, which
is then divided by two). So:
1 and 1155 yield m=578 and n=577
3 and 385 yield m=194 and n=191
5 and 231 yield m=118 and n=113
7 and 165 yield m=86 and n=79
11 and 105 yield m=58 and n=47
15 and 77 yield m=46 and n=31
21 and 55 yield m=38 and n=17
33 and 35 yield m=34 and n=1
||Feel free to square m and subtract the square of n get
1155 (that is, c) in every case. As guaranteed by the
algebra presented at the start of this anno (along with
the algebra in the first anno above), since in this
example (c+1)/2 yields an even value for m, the larger
to square, ALL the possible
values of m are also even numbers.