Saturday, April 14, 2007
Discussion on non-polynomial-factorization-paper
Updated paper! I wrote this new paper a while back to give an alternate approach to proving an important result with non-polynomial factorization, but felt that the ending was kind of muddled.
Earlier today I realized a very simple way to fix it! I now use the polynomial
a^2 - 167a + 595 = 0
where the constant term now has 7 and 17 as factors as I can step through TWO derivations to prove that only one root can have 7 as a factor, oh yeah, and only one root can have 17 as a factor as well.
It is a really cool little proof.
Earlier today I realized a very simple way to fix it! I now use the polynomial
a^2 - 167a + 595 = 0
where the constant term now has 7 and 17 as factors as I can step through TWO derivations to prove that only one root can have 7 as a factor, oh yeah, and only one root can have 17 as a factor as well.
It is a really cool little proof.
# posted by James Harris @ 22:50 
