unsolvable (math) problem for a whole year, help me!

All non-Go discussions should go here.
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

unsolvable (math) problem for a whole year, help me!

Post by MJK »

Everything is in the hide tag below.
qqewew.PNG
qqewew.PNG (16.79 KiB) Viewed 11503 times
This situation occurred while trying to solve a messed up inequality problem. I soon realized it never works this way and somehow found another way, but after a year I still cannot find an error in that definitely non-sense..... expression of thought(?).

After seeing the thread insisting that a right triangle can at the same time be an equilateral triangle on a 2 dimensional Euclidean plain, I again realized that this website has quite a lot of math people by whom I can probably get some help.

[edit] minor fix of notation error caused by a badly coded [s]sequence
formula writer [/edit][/s]

Better presentation of the problem below.

What is the error of generalizing that,

given,
{a, b, c, d, X} ⊂ {x|x is a real number}
a<X<b <=> c<X<d

then,
a=c and b=d

?


Code: Select all

Prove that below is not true.

when,
{a, b, c, d, X} ⊂ {x|x is a real number}
a<X<b <=> c<X<d

then,
a=c and b=d
Last edited by MJK on Fri May 23, 2014 6:26 pm, edited 3 times in total.
Wait, please.
User avatar
RBerenguel
Gosei
Posts: 1585
Joined: Fri Nov 18, 2011 11:44 am
Rank: KGS 5k
GD Posts: 0
KGS: RBerenguel
Tygem: rberenguel
Wbaduk: JohnKeats
Kaya handle: RBerenguel
Online playing schedule: KGS on Saturday I use to be online, but I can be if needed from 20-23 GMT+1
Location: Barcelona, Spain (GMT+1)
Has thanked: 576 times
Been thanked: 298 times
Contact:

Re: unsolvable (math) problem for a whole year, help me!

Post by RBerenguel »

I can't follow it. What's the assumption beside them being reals? What's P? A clause? And A? And B?
Geek of all trades, master of none: the motto for my blog mostlymaths.net
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

Re: unsolvable (math) problem for a whole year, help me!

Post by MJK »

RBerenguel wrote:I can't follow it. What's the assumption beside them being reals? What's P? A clause? And A? And B?

Oops, I'm sorry. I just almost copied directly my handnotes... so.

A, B, and P are all conditions of (alpha, beta). They basically mean the same thing. The diagram below shows the points that meet the condition on an R^2 plane. Alpha to the x-axis and beta to the y-axis.

dgdgd.PNG
dgdgd.PNG (5.16 KiB) Viewed 11485 times

Therefore, all the coloured points on the diagram above are the elements of the set {(alpha, beta)|P)}.

I hope my explanation was sufficient.
Wait, please.
User avatar
RBerenguel
Gosei
Posts: 1585
Joined: Fri Nov 18, 2011 11:44 am
Rank: KGS 5k
GD Posts: 0
KGS: RBerenguel
Tygem: rberenguel
Wbaduk: JohnKeats
Kaya handle: RBerenguel
Online playing schedule: KGS on Saturday I use to be online, but I can be if needed from 20-23 GMT+1
Location: Barcelona, Spain (GMT+1)
Has thanked: 576 times
Been thanked: 298 times
Contact:

Re: unsolvable (math) problem for a whole year, help me!

Post by RBerenguel »

MJK wrote:
RBerenguel wrote:I can't follow it. What's the assumption beside them being reals? What's P? A clause? And A? And B?

Oops, I'm sorry. I just almost copied directly my handnotes... so.

A, B, and P are all conditions of (alpha, beta). They basically mean the same thing. The diagram below shows the points that meet the condition on an R^2 plane. Alpha to the x-axis and beta to the y-axis.

dgdgd.PNG

Therefore, all the coloured points on the diagram above are the elements of the set {(alpha, beta)|P)}.

I hope my explanation was sufficient.


Makes a little more sense now.

A (or P) is redundant, they are the same inequality. Aside from that, what are you trying to prove/see from the inequalities A & B, then?
Geek of all trades, master of none: the motto for my blog mostlymaths.net
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

Re: unsolvable (math) problem for a whole year, help me!

Post by MJK »

RBerenguel wrote:Makes a little more sense now.

A (or P) is redundant, they are the same inequality. Aside from that, what are you trying to prove/see from the inequalities A & B, then?

In the last few lines. Why do I get the result that alpha and beta equals zero? There must be my fundamental misunderstanding which I cannot find.
Wait, please.
DrStraw
Oza
Posts: 2180
Joined: Tue Apr 27, 2010 4:09 am
Rank: AGA 5d
GD Posts: 4312
Online playing schedule: Every tenth February 29th from 20:00-20:01 (if time permits)
Location: ʍoquıɐɹ ǝɥʇ ɹǝʌo 'ǝɹǝɥʍǝɯos
Has thanked: 237 times
Been thanked: 662 times
Contact:

Re: unsolvable (math) problem for a whole year, help me!

Post by DrStraw »

How does -b/2 = a/3 and b/3=-a/2 follow from the previous line?

a=-1 and b=1 make the previous line true, but not this line.
Still officially AGA 5d but I play so irregularly these days that I am probably only 3d or 4d over the board (but hopefully still 5d in terms of knowledge, theory and the ability to contribute).
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

Re: unsolvable (math) problem for a whole year, help me!

Post by MJK »

DrStraw wrote:How does -b/2 = a/3 and b/3=-a/2 follow from the previous line?

a=-1 and b=1 make the previous line true, but not this line.

But isn't it
a<X<b <=> c<X<d
a=c and b=d?

Because both inequalities have the same range.
Wait, please.
User avatar
RBerenguel
Gosei
Posts: 1585
Joined: Fri Nov 18, 2011 11:44 am
Rank: KGS 5k
GD Posts: 0
KGS: RBerenguel
Tygem: rberenguel
Wbaduk: JohnKeats
Kaya handle: RBerenguel
Online playing schedule: KGS on Saturday I use to be online, but I can be if needed from 20-23 GMT+1
Location: Barcelona, Spain (GMT+1)
Has thanked: 576 times
Been thanked: 298 times
Contact:

Re: unsolvable (math) problem for a whole year, help me!

Post by RBerenguel »

The thing is, inequalities don't work like this. Even though a+b (alpha+beta) satisfy these two inequalities, it doesn't mean the extremes have to coincide. You wouldn't say:

5<d<7
2<d<9

And conclude that 5=2 and 7=9.

From the last line you could deduce:

-0.5b+0.5a<0<1/3b-1/3a

Which is then, just

a<b.

The best way to study 3-way inequalities is do them by pieces, and always study the boundaries. So the important thing is the lines

-3/2b=a
a=-2/3b
b=1/2a
Etc

And their intersections (the first one is b=0 a=0, but from the other pair you get a=-3/4, b=-3/8). You need all four points from here.

Does this help? It's a little tricky typing this now, since I'm on my iPad :)
Geek of all trades, master of none: the motto for my blog mostlymaths.net
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

Re: unsolvable (math) problem for a whole year, help me!

Post by MJK »

RBerenguel wrote:The thing is, inequalities don't work like this. Even though a+b (alpha+beta) satisfy these two inequalities, it doesn't mean the extremes have to coincide. You wouldn't say:

5<d<7
2<d<9

And conclude that 5=2 and 7=9.

Thank you for your such long reply with iPad.

But in your example
5<d<7 <!=> 2<d<9 (not necessary and sufficient condition of d)
5<d<7 => 2<d<9 would be true though

if
1<d<3 <=> a<d<b
a=1 and 3=b
this was what I meant.
Wait, please.
User avatar
RBerenguel
Gosei
Posts: 1585
Joined: Fri Nov 18, 2011 11:44 am
Rank: KGS 5k
GD Posts: 0
KGS: RBerenguel
Tygem: rberenguel
Wbaduk: JohnKeats
Kaya handle: RBerenguel
Online playing schedule: KGS on Saturday I use to be online, but I can be if needed from 20-23 GMT+1
Location: Barcelona, Spain (GMT+1)
Has thanked: 576 times
Been thanked: 298 times
Contact:

Re: unsolvable (math) problem for a whole year, help me!

Post by RBerenguel »

MJK wrote:
RBerenguel wrote:The thing is, inequalities don't work like this. Even though a+b (alpha+beta) satisfy these two inequalities, it doesn't mean the extremes have to coincide. You wouldn't say:

5<d<7
2<d<9

And conclude that 5=2 and 7=9.

Thank you for your such long reply with iPad.

But in your example
5<d<7 <!=> 2<d<9 (not necessary and sufficient condition of d)
5<d<7 => 2<d<9 would be true though

if
1<d<3 <=> a<d<b
a=1 and 3=b
this was what I meant.


In this case it is true, but only because this is one inequality with just one variable (the "solution" is an interval) but in the problem above, it is not.
Geek of all trades, master of none: the motto for my blog mostlymaths.net
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

Re: unsolvable (math) problem for a whole year, help me!

Post by MJK »

My question can be summarized as,

Code: Select all

What is the error of generalizing that,

given,
{a, b, c, d, X} ⊂ {x|x is a real number}
a<X<b <=> c<X<d

then,
a=c and b=d

?
Last edited by MJK on Fri May 23, 2014 5:07 pm, edited 1 time in total.
Wait, please.
DrStraw
Oza
Posts: 2180
Joined: Tue Apr 27, 2010 4:09 am
Rank: AGA 5d
GD Posts: 4312
Online playing schedule: Every tenth February 29th from 20:00-20:01 (if time permits)
Location: ʍoquıɐɹ ǝɥʇ ɹǝʌo 'ǝɹǝɥʍǝɯos
Has thanked: 237 times
Been thanked: 662 times
Contact:

Re: unsolvable (math) problem for a whole year, help me!

Post by DrStraw »

MJK wrote:
DrStraw wrote:How does -b/2 = a/3 and b/3=-a/2 follow from the previous line?

a=-1 and b=1 make the previous line true, but not this line.

But isn't it
a<X<b <=> c<X<d
a=c and b=d?

Because both inequalities have the same range.


You are trying to create an equivalence where there is none.
Still officially AGA 5d but I play so irregularly these days that I am probably only 3d or 4d over the board (but hopefully still 5d in terms of knowledge, theory and the ability to contribute).
User avatar
EdLee
Honinbo
Posts: 8859
Joined: Sat Apr 24, 2010 6:49 pm
GD Posts: 312
Location: Santa Barbara, CA
Has thanked: 349 times
Been thanked: 2070 times

Post by EdLee »

MJK, just curious: what's the background of this question ? Are you trying to understand it for fun ?
Or, is it a homework assignment ?

If it's homework, which school level ? Which subject ? (Mathematics, or physics, or something else, like economics ? )
MJK
Dies with sente
Posts: 94
Joined: Sun Jul 21, 2013 11:15 am
GD Posts: 0
Location: Amsterdam, NL
Has thanked: 29 times
Been thanked: 63 times

Re:

Post by MJK »

EdLee wrote:MJK, just curious: what's the background of this question ? Are you trying to understand it for fun ?
Or, is it a homework assignment ?

If it's homework, which school level ? Which subject ? (Mathematics, or physics, or something else, like economics ? )

Background is a situation I faced during my trying to solve a horrible inequality problem. The original problem is quite far away from this and is already solved by a very different way. So everything is for fun, or because it feels very 'caught' due to 'unknowing'

On which level? I can currently deal with some basic analysis (or actually in the process studying it). The level of the answer is not much important. Best if I can understand everything, but even if not so I will essentially have dealt with more math years later, and most importantly I do want to know the answer.

I will re-state my question below. I already changed my original post with the newer version of my problem.

Code: Select all

What is the error of generalizing that,

given,
{a, b, c, d, X} ⊂ {x|x is a real number}
a<X<b <=> c<X<d

then,
a=c and b=d

?
Wait, please.
DrStraw
Oza
Posts: 2180
Joined: Tue Apr 27, 2010 4:09 am
Rank: AGA 5d
GD Posts: 4312
Online playing schedule: Every tenth February 29th from 20:00-20:01 (if time permits)
Location: ʍoquıɐɹ ǝɥʇ ɹǝʌo 'ǝɹǝɥʍǝɯos
Has thanked: 237 times
Been thanked: 662 times
Contact:

Re: Re:

Post by DrStraw »

MJK wrote:

Code: Select all

What is the error of generalizing that,

given,
{a, b, c, d, X} ⊂ {x|x is a real number}
a<X<b <=> c<X<d

then,
a=c and b=d

?


As I stated above, the error is in "a<X<b <=> c<X<d"

That simply is not true.
Still officially AGA 5d but I play so irregularly these days that I am probably only 3d or 4d over the board (but hopefully still 5d in terms of knowledge, theory and the ability to contribute).
Post Reply