Main Page | Report this Page
 
   
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
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
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
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
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
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.
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"
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 Wink.
--
dik t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/
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/
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
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
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
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'

>
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
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
 
Page 1 of 5    Goto page 1, 2, 3, 4, 5  Next   All times are GMT - 5 Hours
The time now is Sat Sep 06, 2008 5:00 pm