Proving X & Y Cannot Be Further From 1 Than Each Other

[jimbo007]

hi
i am trying to show that for 2 probabilities p_{0} and p_{1} that X=\frac{p_{1}}{p_{0}} cannot be further from 1 than Y=\frac{p_{1}(1-p_{0})}{p_{0}(1-p_{1})}

how i went about the problem was as follows:
i split it into 3 cases, case 1 is where p_{0}=p_{1}, case 2 is where p_{0}>p_{1}, and case 3 is p_{0}<p_{1}

for case 1 we have X=Y=1 so X is not further from 1 than Y

for case 2 we require that \frac{1-p_{0}}{1-p_{1}}<1 for Y to be less than X
this is true if 1-p_{0}<1-p_{1}
<=> p_{0}&gt;p_{1}
which is what we were assuming in first place

case 3 is a similar argument but with the inequality sign changed from less than to greater than.

i don't think the reasoning is that great, for example can i assume that multiplying a number by another number that isless than 1 but greater than 0 will result in a number smaller than the original. also unsure about the implications in case 2.

i need to be shown how to improve the reasoning as I'm not satisfied with the current way it is but i can't think of any way to improve it.

thanks in advance

 

[HallsofIvy]

A note on the way you expressed this: you said "X cannot be further from 1 than Y" and I at first interpreted this to mean |1-X|< Y. But you clearly mean |1-X|< |1-Y|.

In tiny steps- If p₀> p₁ then p₀/p₁= X > 1 so |1-X|= X-1. Also, in this case, -p₀> -p₁ so 1-p₀> 1-p₁ and, finally, (1-p₀)/(1-p₁)> 0. Then
Y> X> 1 so |1-Y|= Y-1. You need to show X-1< Y-1 or X< Y (which we said above).
If p₀ < p₁ then the inequalities work the other way: Y< X< 1 so |1-X|= 1-X and |1-Y|= 1-Y. Now you need to show 1-X< 1-Y or X>Y (again, we just said that).

By the way, since probabilites CAN be equal to 0 or 1 you should state explicitely that your inequality does not work in those cases.

 

[jimbo007]

thanks for the reply!
i'm not sure i completely understand. for starters i can't see how you can say that -p0> -p1 and p0>p1. doesn't mutliplying by a negative change the inequality. and in your tiny step guide i see it boils down to showing whether X<Y, which was the the part i wasnt sure how to do.
case 2 for example (p0>p1):
do i show X<Y by first saying (along with inlcuding your "tiny steps") that we require
\frac{1-p_{0}}{1-p_{1}}&lt;1 (*)
(*) is true iff 1-p_{0}&lt;1-p_{1}
iff p_{0}&gt;p_{1} (**)
but we know (**) by assumption so (*) must also be true hence X<Y?

i think there were some subtleness in your proof but it kind of went *whoosh* straight over my head