| |
 |
|
|
Science Forum Index » Mathematics Forum » JSH: Equation has no memory
Page 1 of 5 Goto page 1, 2, 3, 4, 5 Next
|
| Author |
Message |
| James Harris |
Posted: Sun Dec 14, 2003 10:28 pm |
|
|
|
Guest
|
Given, where x is in the ring of algebraic integers, I've shown the
factorization
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
where b_3(x) = a_3(x) - 3 and the a's are roots of
a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
I'm curious about the mental processes that allow *some* of you to
claim that 49 divides off as a *variable* dependent on x, so I'm
giving another opportunity for you to speak your minds.
To my knowledge, in the history of mathematics, no one has ever
presented such a proposition, so it is a unique one, and I must say
that I'm intrigued.
Speak your minds.
James Harris |
|
|
| Back to top |
|
| Me |
Posted: Mon Dec 15, 2003 1:10 am |
|
|
|
Guest
|
James Harris <jstevh@msn.com> wrote:
: Given, where x is in the ring of algebraic integers, I've shown the
: factorization
: (5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
: 49(300125 x^3 - 18375 x^2 - 360 x + 22)
(I will call the above equation *)
: where b_3(x) = a_3(x) - 3 and the a's are roots of
: a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
Okay. I'm going to assume that your algebraic manipulation is accurate.
: I'm curious about the mental processes that allow *some* of you to
: claim that 49 divides off as a *variable* dependent on x, so I'm
: giving another opportunity for you to speak your minds.
Please forgive me, could you elaborate on what you mean by "divides off"?
It's true that 49 divides the right-hand side of * so it divides the
left-hand side of *. Am I correct in assuming that's what you mean? Or
perhaps you are investigating _the way_ it divides the left-hand side?
: so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
Okay. So far so good. Where do we go from here? Are you claiming that
since, when x=0, * becomes (7)(7)(22)=49(22), that the 7s must distribute
as such on the left-hand side for all x? In other words, are you
claiming that (5 a_1(x) + 7) and (5 a_2(x) + 7) are divisible by 7 for
all x? If so, could you please explain why the fact that it's true for
x=0 implies it's true for other x also?
Thank you,
Justin |
|
|
| Back to top |
|
| Me |
Posted: Mon Dec 15, 2003 3:58 am |
|
|
|
Guest
|
William Hughes <wpihughes@hotmail.com> wrote:
: Why does this not count as presenting "such a proposition"?
: Let g1(x)=4-sqrt(1+3x) and g2(x)=4+sqrt(1+3x).
: then
: g1(x)*g2(x) = 3(5-x)
: but neither g1 nor g2 is divisible by 3 for all x.
This is different. His claim seems to be that *if* two of the terms in
the product *are* divisible by 7 for a *specific* value of x, then they
are divisible by 7 for *all* values of x. In your example neither is ever
divisible by 3.
Best regards,
Justin |
|
|
| Back to top |
|
| Arturo Magidin |
Posted: Mon Dec 15, 2003 5:57 am |
|
|
|
Guest
|
In article <brkemu$eme$1@grapevine.wam.umd.edu>, Me <no@spam.com> wrote:
Quote: William Hughes <wpihughes@hotmail.com> wrote:
: Why does this not count as presenting "such a proposition"?
: Let g1(x)=4-sqrt(1+3x) and g2(x)=4+sqrt(1+3x).
: then
: g1(x)*g2(x) = 3(5-x)
: but neither g1 nor g2 is divisible by 3 for all x.
This is different. His claim seems to be that *if* two of the terms in
the product *are* divisible by 7 for a *specific* value of x, then they
are divisible by 7 for *all* values of x. In your example neither is ever
divisible by 3.
When x=0, g1(0) = 4-sqrt(1) = 3
g2(0) = 4+sqrt(1) = 5
so: the product of the two values is divisible by 3 for all values of
x, and one term is divisible by 3 for one value of x and the other is
coprime to 3 for that value of x; the conclusion (that this term is
divisible by 3 for all values of x) is false.
--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes")
======================================================================
Arturo Magidin
magidin@math.berkeley.edu |
|
|
| Back to top |
|
| Me |
Posted: Mon Dec 15, 2003 7:44 am |
|
|
|
Guest
|
Okay, so you're dividing both sides by 49. Point taken.
Now, would you please answer the question I posed when I wrote:
:> In other words, are you
:> claiming that (5 a_1(x) + 7) and (5 a_2(x) + 7) are divisible by 7 for
:> all x? If so, could you please explain why the fact that it's true for
:> x=0 implies it's true for other x also?
If you are not claiming this, then please explain what you are claiming.
Many thanks,
Justin |
|
|
| Back to top |
|
| The Ghost In The Machine |
Posted: Mon Dec 15, 2003 7:59 am |
|
|
|
Guest
|
In sci.math, James Harris
<jstevh@msn.com>
wrote
on 14 Dec 2003 19:28:08 -0800
<3c65f87.0312141928.49c9b250@posting.google.com>:
Quote: Given, where x is in the ring of algebraic integers, I've shown the
factorization
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
where b_3(x) = a_3(x) - 3 and the a's are roots of
a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
7*7*22 = 49*22. Check.
However, how is 'a' the root of a polynomial? Usually,
one speaks regarding roots of an *equation*. Did you mean
a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x) = 0?
Or perhaps more explicitly,
a(x)^3 + 3(-1 + 49x)a(x)^2 - 49(2401 x^3 - 147 x^2 + 3x) = 0?
If so please state such. I'll assume this is what you meant.
You have also placed no other restrictions on the a_i(), and
your derivation of the cubic equation in a is still about as
clear as adobe brick.
In the standard derivation of roots, one usually speaks of
(u - u1) * (u - u2) * (u - u3) = u^3 + pu^2 + qu + r
where 'u1', 'u2', and 'u3' are (initially) unknown and are
assumed not dependent on 'u' (although they are dependent
on 'p', 'q', and 'r'). If 'u1', 'u2', or 'u3' are
dependent on 'u' the factorization cannot be analyzed by
the standard methods. I'm going to attempt to be careful
here, but I can't draw too many conclusions anyway,
because of the loss of context.
If the a_i(x)'s are roots of the equation
a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x) = 0
it must be the case that:
(a - a_1(x) ) * ( a - a_2(x) ) * (a - a_3(x) )
= a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
which means that a_1(x) * a_2(x) * a_3(x) = 49(2401 x^3 - 147 x^2 + 3x),
a_1(x) * a_2(x) + a_2(x) * a_3(x) + a_3(x) * a_1(x) = 0,
and a_1(x) + a_2(x) + a_3(x) = 3*(1 - 49*x), by simple multiplication.
This means that (5 * a_1(x) + 7) * (5 * a_2(x) + 7) * (5 * a_3(x) + 7)
= 125 * a_1(x) * a_2(x) * a_3(x)
+ 25 * 7 * (a_1(x) * a_2(x) + a_2(x) * a_3(x) + a_3(x) * a_1(x))
+ 5 * 49 * (a_1(x) + a_2(x) + a_3(x))
+ 343
= 125 * 49(2401 x^3 - 147 x^2 + 3x)
+ 25 * 7 * 0
+ 5 * 49 * 3(1 - 49*x)
+ 343
= 14706125*x^3 - 900375*x^2 - 17640*x + 1078
= 49 * (300125*x^3 - 18375*x^2 - 360*x + 22)
I have no idea how you came up with this identity but it does verify.
Quote:
I'm curious about the mental processes that allow *some* of you to
claim that 49 divides off as a *variable* dependent on x, so I'm
giving another opportunity for you to speak your minds.
To my knowledge, in the history of mathematics, no one has ever
presented such a proposition, so it is a unique one, and I must say
that I'm intrigued.
Speak your minds.
James Harris
It's clear that one can rewrite the above as
( (5/7)*a_1(x) + 1) * ( (5/7) * a_2(x) + 1) * (5 * b_3(x) + 22)
= (300125 x^3 - 18375 x^2 - 360 x + 22).
How that helps or hurts you is far from clear. I can note that:
((7/5) * b - a_1(x)) * ((7/5) * b - a_2(x)) * ((7/5) * b - a_3(x))
= (7/5)^3*b^3 + 3*(-1 + 49*x)*(7/5)^2 * b^2 - 49*(2401*x^3 - 147*x^2 + 3*x)
Multiply both sides by (5/7)^3, and we get
(b - (5/7) * a_1(x)) * (b - (5/7) * a_2(x)) * (b - (5/7) * a_3(x))
= b^3 + 3*(-1 + 49*x) * (5/7) * b^2 - (125/7)*(2401*x^3 - 147*x^2 + 3*x)
It is clear that, in the general case, if we assume x is
an arbitrary algebraic integer, the equation is not of
the required form, and therefore neither (5/7)*a_1(x) nor
(5/7)*a_2(x) are algebraic integers and, in the general
case, a_1(x) and a_2(x) are not divisible by 7.
If one tries to "shoehorn" it, then one desires an x which,
for some integer N, satisfies
15/7 *(49*x - 1) = N
15*(49*x - 1) = 7*N
15*49*x - 15 = 7*N
15*49*x = 7*N + 15
x = (15/7)*N + 1/49
and for some integer M, that
(125/7)*(2401*x^3 - 147*x^2 + 3*x) = M
and therefore
2401*x^3 - 147*x^2 + 3*x = M*7/125
2401*((15/7)*N + 1/49)^3 - 147*((15/7)*N + 1/49)^2 + 3*((15/7)*N + 1/49) = M
= (23625*N^3 + 675*N^2 + 45/7*N + 1/49) - (675*N^2 + 90/7*N + 3/49)
+ (45/7*N + 3/49)
= 23625*N^3 + 1/49
or 49 * M = 23625*N^3 + 1.
Since 23625 = 3^3 * 5^3 * 7, this is not possible for x in the rationals.
I'm not sure my analysis holds up for arbitrary algebraics, though.
--
#191, ewill3@earthlink.net
It's still legal to go .sigless. |
|
|
| Back to top |
|
| William Hughes |
Posted: Mon Dec 15, 2003 8:10 am |
|
|
|
Guest
|
jstevh@msn.com (James Harris) wrote in message news:<3c65f87.0312141928.49c9b250@posting.google.com>...
Quote: Given, where x is in the ring of algebraic integers, I've shown the
factorization
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
where b_3(x) = a_3(x) - 3 and the a's are roots of
a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
I'm curious about the mental processes that allow *some* of you to
claim that 49 divides off as a *variable* dependent on x, so I'm
giving another opportunity for you to speak your minds.
To my knowledge, in the history of mathematics, no one has ever
presented such a proposition, so it is a unique one, and I must say
that I'm intrigued.
Speak your minds.
James Harris
Why does this not count as presenting "such a proposition"?
Let g1(x)=4-sqrt(1+3x) and g2(x)=4+sqrt(1+3x).
then
g1(x)*g2(x) = 3(5-x)
but neither g1 nor g2 is divisible by 3 for all x.
-"William Hughes" |
|
|
| Back to top |
|
| Dik T. Winter |
Posted: Mon Dec 15, 2003 9:33 am |
|
|
|
Guest
|
In article <4d5e4663.0312150510.86bcfd1@posting.google.com> wpihughes@hotmail.com (William Hughes) writes:
....
Quote: Let g1(x)=4-sqrt(1+3x) and g2(x)=4+sqrt(1+3x).
then
g1(x)*g2(x) = 3(5-x)
but neither g1 nor g2 is divisible by 3 for all x.
Ah, but the constant term of g1(x) = 3, and the constant term of g2(x) = 5,
so g1(x) should be divisible by 3. A core error in mathematics .
--
dik t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/ |
|
|
| Back to top |
|
| Dik T. Winter |
Posted: Mon Dec 15, 2003 9:34 am |
|
|
|
Guest
|
In article <brkemu$eme$1@grapevine.wam.umd.edu> "Me" <no@spam.com> writes:
Quote: William Hughes <wpihughes@hotmail.com> wrote:
: Why does this not count as presenting "such a proposition"?
: Let g1(x)=4-sqrt(1+3x) and g2(x)=4+sqrt(1+3x).
: then
: g1(x)*g2(x) = 3(5-x)
: but neither g1 nor g2 is divisible by 3 for all x.
This is different. His claim seems to be that *if* two of the terms in
the product *are* divisible by 7 for a *specific* value of x, then they
are divisible by 7 for *all* values of x. In your example neither is ever
divisible by 3.
One of them is, when x = 0.
--
dik t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/ |
|
|
| Back to top |
|
| James Harris |
Posted: Mon Dec 15, 2003 10:04 am |
|
|
|
Guest
|
"Me" <no@spam.com> wrote in message news:<brk4rd$c20$1@grapevine.wam.umd.edu>...
Quote: James Harris <jstevh@msn.com> wrote:
: Given, where x is in the ring of algebraic integers, I've shown the
: factorization
: (5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
: 49(300125 x^3 - 18375 x^2 - 360 x + 22)
(I will call the above equation *)
: where b_3(x) = a_3(x) - 3 and the a's are roots of
: a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
Okay. I'm going to assume that your algebraic manipulation is accurate.
: I'm curious about the mental processes that allow *some* of you to
: claim that 49 divides off as a *variable* dependent on x, so I'm
: giving another opportunity for you to speak your minds.
Please forgive me, could you elaborate on what you mean by "divides off"?
To divide off 49 with
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
you divide both sides by 49.
Quote:
It's true that 49 divides the right-hand side of * so it divides the
left-hand side of *. Am I correct in assuming that's what you mean? Or
perhaps you are investigating _the way_ it divides the left-hand side?
To divide off 49 with
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
you divide both sides by 49.
Quote:
: so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
Okay. So far so good. Where do we go from here? Are you claiming that
My original post was quit specific. Now that I've explained "divides
off" possibly you simply need to reread it.
If you still do not understand, I recommend you turn to something
else.
Quote: since, when x=0, * becomes (7)(7)(22)=49(22), that the 7s must distribute
as such on the left-hand side for all x? In other words, are you
claiming that (5 a_1(x) + 7) and (5 a_2(x) + 7) are divisible by 7 for
all x? If so, could you please explain why the fact that it's true for
x=0 implies it's true for other x also?
Thank you,
Justin
My original post was quite specific. Now that I've explained "divides
off" you should return to that post. If you're still confused,
possibly you should move on to another subject.
James Harris |
|
|
| Back to top |
|
| David Moran |
Posted: Mon Dec 15, 2003 10:29 am |
|
|
|
Guest
|
"James Harris" <jstevh@msn.com> wrote in message
news:3c65f87.0312150704.2e688f63@posting.google.com...
Quote: "Me" <no@spam.com> wrote in message
news:<brk4rd$c20$1@grapevine.wam.umd.edu>...
James Harris <jstevh@msn.com> wrote:
: Given, where x is in the ring of algebraic integers, I've shown the
: factorization
: (5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
: 49(300125 x^3 - 18375 x^2 - 360 x + 22)
(I will call the above equation *)
: where b_3(x) = a_3(x) - 3 and the a's are roots of
: a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
Okay. I'm going to assume that your algebraic manipulation is accurate.
: I'm curious about the mental processes that allow *some* of you to
: claim that 49 divides off as a *variable* dependent on x, so I'm
: giving another opportunity for you to speak your minds.
Please forgive me, could you elaborate on what you mean by "divides
off"?
To divide off 49 with
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
you divide both sides by 49.
It's true that 49 divides the right-hand side of * so it divides the
left-hand side of *. Am I correct in assuming that's what you mean? Or
perhaps you are investigating _the way_ it divides the left-hand side?
To divide off 49 with
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
you divide both sides by 49.
: so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
Okay. So far so good. Where do we go from here? Are you claiming that
My original post was quit specific. Now that I've explained "divides
off" possibly you simply need to reread it.
If you still do not understand, I recommend you turn to something
else.
since, when x=0, * becomes (7)(7)(22)=49(22), that the 7s must
distribute
as such on the left-hand side for all x? In other words, are you
claiming that (5 a_1(x) + 7) and (5 a_2(x) + 7) are divisible by 7 for
all x? If so, could you please explain why the fact that it's true for
x=0 implies it's true for other x also?
Thank you,
Justin
My original post was quite specific. Now that I've explained "divides
off" you should return to that post. If you're still confused,
possibly you should move on to another subject.
James Harris
James, don't you think that others have questions about your work?
Insinuating that they don't understand it because they have a question makes
you an even bigger crank.
--
David Moran
Chief Meteorologist
Oklahoma Storm Team |
|
|
| Back to top |
|
| C. Bond |
Posted: Mon Dec 15, 2003 10:34 am |
|
|
|
Guest
|
James Harris wrote:
[snip]
Quote: Speak your minds.
James Harris
You are an obnoxious, insufferable crank. Thanks for the invitation.
--
There are two things you must never attempt to prove: the unprovable --
and the obvious.
--
Democracy: The triumph of popularity over principle.
--
http://www.crbond.com |
|
|
| Back to top |
|
| matt grime |
Posted: Mon Dec 15, 2003 10:43 am |
|
|
|
Guest
|
On Mon, 15 Dec 2003 07:04:14 -0800, James Harris wrote:
Quote:
Please forgive me, could you elaborate on what you mean by "divides off"?
To divide off 49 with
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
you divide both sides by 49.
It's true that 49 divides the right-hand side of * so it divides the
left-hand side of *. Am I correct in assuming that's what you mean? Or
perhaps you are investigating _the way_ it divides the left-hand side?
To divide off 49 with
(5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
49(300125 x^3 - 18375 x^2 - 360 x + 22)
you divide both sides by 49.
I think that perhaps 'out' is a better choice than 'off'
> |
|
|
| Back to top |
|
| Me |
Posted: Mon Dec 15, 2003 12:49 pm |
|
|
|
Guest
|
James Harris <jstevh@msn.com> wrote:
: Given, where x is in the ring of algebraic integers, I've shown the
: factorization
: (5 a_1(x) + 7)(5 a_2(x) + 7)(5 b_3(x) + 22) =
: 49(300125 x^3 - 18375 x^2 - 360 x + 22)
: where b_3(x) = a_3(x) - 3 and the a's are roots of
: a^3 + 3(-1 + 49x)a^2 - 49(2401 x^3 - 147 x^2 + 3x)
: so when x=0, a_1(0) = a_2(0) = b_3(0) = 0.
: Now you can divide both sides by 49.
: Some posters have claimed that when you divide by 49, what results
: varies depending on what value x has.
: Do you understand?
I don't understand what you mean by the phrase "what results".
Please consider my question in the following step-by-step:
1) You get your factorization. I agree.
2) 49 divides right-hand side. I agree.
3) 49 divides left-hand side. I agree.
4) So when x=0 we get
(7)(7)(22) = 49(22) I agree.
5) But when x!=0 it's not immediately clear what results from this
equation. Simply because 7 divides the first two terms when x=0 does not
imply anything about when x!=0. Are you suggesting that 7 divides the
first two terms when x!=0? If so, could you please explain why?
: I'm curious to know if you will admit understanding now, or if you
: will continue to ask questions, so I ask again:
: Do you understand?
I will certainly admit understanding after you clear up my question.
Thank you.
Best regards,
Justin |
|
|
| Back to top |
|
| Arturo Magidin |
Posted: Mon Dec 15, 2003 1:18 pm |
|
|
|
Guest
|
In article <2pfstvobf77dkbqju7881tten0eog9mst9@4ax.com>,
David C. Ullrich <ullrich@math.okstate.edu> wrote:
Quote: On Mon, 15 Dec 2003 15:57:12 +0000 (UTC), magidin@math.berkeley.edu
(Arturo Magidin) wrote:
[what he wrote snipped]
You know, I thought it was a big mistake for you to agree to
stop replying to James's posts. Never mind why.
You probably haven't noticed that he's replying to _your_
posts,
I'm reading them, yes.
Quote: calling you a liar and including the usual blather
about how you're still including your email address in your
sig. Seems to me he misses you. (Or he's trying to bait
you into replying so he can score points by whining about
how you don't keep your promises.
Here is what my original offer, from a year ago, said:
From
http://groups.google.com/groups?selm=atkubk%24bml%241%40agate.berkeley.edu
(Dec. 16, 2002)
But tell you what: if you ask me, hell, if you ->tell<- me to, I will
stop replying to your posts. From now until forever. I may still
answer mathematical questions others ask in the threads in which you
participate or initiate, but I promise never to reply to you again,
either directly, or even indirectly or in piggyback.
That comes at a cost for you, though: if you attack me personally
after telling me to stop posting, you'll know you're a coward who
attacks those who have promised not to defend themselves. And if you
claim that you "bested" me, or that you answered all my objections,
you'll know you'll be lying.
Not that either has stopped you before.
--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes")
======================================================================
Arturo Magidin
magidin@math.berkeley.edu |
|
|
| Back to top |
|
| |
Page 1 of 5 Goto page 1, 2, 3, 4, 5 Next
All times are GMT - 5 Hours
The time now is Tue Oct 07, 2008 3:29 am
|
|