\r\n" );
document.write( "\r\n" );
document.write( "Since the inequality we are to prove for the letters\r\n" );
document.write( "representing unequal positive numbers:\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "and one of the other parts is\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Then we might suppose that the first thing we need to\r\n" );
document.write( "prove is that for any different positive numbers a and b \r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "The technique I will use is to assume that it is false,\r\n" );
document.write( "and then reach a contradiction. \r\n" );
document.write( "\r\n" );
document.write( "So for contradiction we will assume that for
, \r\n" );
document.write( " \r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Multiply both sides by 2\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Square both sides:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Subtract 4ab from both sides:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Factor the left side:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "This is false since the left side is positive,\r\n" );
document.write( "since a and b are different.\r\n" );
document.write( "\r\n" );
document.write( "So we have reached a contradiction and therefore\r\n" );
document.write( "we have proved that \r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Note that the two sides are equal if a=b.\r\n" );
document.write( "\r\n" );
document.write( "We have also proved by letting a=c and b=d.\r\n" );
document.write( "that for
\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Down below we will need this for positive x,y: \r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "with equality holding if and only if x=y.\r\n" );
document.write( "\r\n" );
document.write( "We do this to avoid getting letters confused.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "--------------------------------\r\n" );
document.write( "\r\n" );
document.write( "Next we will prove that for a,b,c,d > 0, all different,\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "We start with\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Multiply both sides by 2, and we have:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Add the two inequalities:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Factor out 2 on the right\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Make the left side into the left side of what\r\n" );
document.write( "we have to prove by multiplying thru hy 1/4\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Now we will show that the right side is greater than or equal\r\n" );
document.write( "to
\r\n" );
document.write( "\r\n" );
document.write( "We recall from above that for positive x, y,\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "with equality holding if and only if x=y\r\n" );
document.write( "\r\n" );
document.write( "We let x =
\r\n" );
document.write( "and y =
\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "[Notice that we had to include the possibility of equality \r\n" );
document.write( "since even though a,b,c,d are all distinct, that does not\r\n" );
document.write( "guarantee that
\r\n" );
document.write( " and
\r\n" );
document.write( " are distinct, e.g. if a=1,b=6,c=2,d=3, they are not distinct.]\r\n" );
document.write( "\r\n" );
document.write( "So we have proved:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "which is what we had to proved.\r\n" );
document.write( "\r\n" );
document.write( "---------------------------------------\r\n" );
document.write( "\r\n" );
document.write( "For different positive a,b,c, we need to prove\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Sorry, I haven't figured out how to do this one yet.\r\n" );
document.write( "\r\n" );
document.write( "------------------------------------\r\n" );
document.write( "\r\n" );
document.write( "The generalization. If all ai are \r\n" );
document.write( "positive numbers, then\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "and equality holds only when all the ai are equal.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" );
document.write( "