<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>Let&#039;s demonstrate your love with Inequalities</title>
	<atom:link href="http://canhang2007.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://canhang2007.wordpress.com</link>
	<description>The love makes us stronger</description>
	<lastBuildDate>Sun, 24 Jan 2010 00:11:46 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='canhang2007.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://0.gravatar.com/blavatar/4d2deb85a1f4f3ca75e69545f1bed293?s=96&#038;d=http%3A%2F%2Fs2.wp.com%2Fi%2Fbuttonw-com.png</url>
		<title>Let&#039;s demonstrate your love with Inequalities</title>
		<link>http://canhang2007.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://canhang2007.wordpress.com/osd.xml" title="Let&#039;s demonstrate your love with Inequalities" />
	<atom:link rel='hub' href='http://canhang2007.wordpress.com/?pushpress=hub'/>
		<item>
		<title>New book: Inequalities with Beautiful Solutions &#8211; V. Cirtoaje, V. Q. B. Can, T. Q. Anh</title>
		<link>http://canhang2007.wordpress.com/2009/12/08/new-book-inequalities-with-beautiful-solutions-v-cirtoaje-v-q-b-can-t-q-anh/</link>
		<comments>http://canhang2007.wordpress.com/2009/12/08/new-book-inequalities-with-beautiful-solutions-v-cirtoaje-v-q-b-can-t-q-anh/#comments</comments>
		<pubDate>Tue, 08 Dec 2009 03:09:00 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1062</guid>
		<description><![CDATA[Because of some inconvenient things, I am now moving all my databases to my new blog: http://can-hang2007.blogspot.com. You can view this box at this address: http://can-hang2007.blogspot.com/2009/12/new-book-inequalities-with-beautiful_20.html Very sorry for this change.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1062&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Because of some inconvenient things, I am now moving all my databases to my new blog: <a href="http://can-hang2007.blogspot.com">http://can-hang2007.blogspot.com</a>.</p>
<p>You can view this box at this address: <a href="http://can-hang2007.blogspot.com/2009/12/new-book-inequalities-with-beautiful_20.html">http://can-hang2007.blogspot.com/2009/12/new-book-inequalities-with-beautiful_20.html</a></p>
<p>Very sorry for this change.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1062/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1062/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1062/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1062/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1062/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1062/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1062/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1062/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1062&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/12/08/new-book-inequalities-with-beautiful-solutions-v-cirtoaje-v-q-b-can-t-q-anh/feed/</wfw:commentRss>
		<slash:comments>13</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 90 [D. Grinberg]</title>
		<link>http://canhang2007.wordpress.com/2009/12/03/inequality-90-d-grinberg/</link>
		<comments>http://canhang2007.wordpress.com/2009/12/03/inequality-90-d-grinberg/#comments</comments>
		<pubDate>Thu, 03 Dec 2009 22:54:47 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1058</guid>
		<description><![CDATA[If are positive real numbers, then   First proof. We have Thus, it follows that or which is just the desired inequality. Equality holds if and only if   Second proof. Having in view of the identity we can write the desired inequality as Without loss of generality, assume that Since and by Chebyshev&#8217;s Inequality, [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1058&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>If <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b,c' title='a,b,c' class='latex' /> are positive real numbers, then</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%5E%7B2%7D%28b%2Bc%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%2B%5Cfrac%7Bb%5E%7B2%7D%28c%2Ba%29%7D%7Bc%5E%7B2%7D%2Ba%5E%7B2%7D%7D%2B%5Cfrac%7Bc%5E%7B2%7D%28a%2Bb%29%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%7D%5Cgeq+a%2Bb%2Bc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}+&#92;frac{b^{2}(c+a)}{c^{2}+a^{2}}+&#92;frac{c^{2}(a+b)}{a^{2}+b^{2}}&#92;geq a+b+c.' title='&#92;displaystyle &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}+&#92;frac{b^{2}(c+a)}{c^{2}+a^{2}}+&#92;frac{c^{2}(a+b)}{a^{2}+b^{2}}&#92;geq a+b+c.' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>First proof. </em></strong>We have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7D+%5Csum+%5Cleft%5B+%5Cfrac%7Ba%5E%7B2%7D%28b%2Bc%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D-a%5Cright%5D+%26%3D%5Csum+%5Cfrac%7Bab%28a-b%29-ca%28c-a%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D+%5C%5C+%26%3D%5Csum+ab%28a-b%29%5Cleft%28+%5Cfrac%7B1%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D-%5Cfrac%7B1%7D%7Bc%5E%7B2%7D%2Ba%5E%7B2%7D%7D%5Cright%29+%5C%5C+%26%3D%5Csum+%5Cfrac%7Bab%28a%2Bb%29%28a-b%29%5E%7B2%7D%7D%7B%28a%5E%7B2%7D%2Bc%5E%7B2%7D%29%28b%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%5Cgeq+0.+%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned} &#92;sum &#92;left[ &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}-a&#92;right] &amp;=&#92;sum &#92;frac{ab(a-b)-ca(c-a)}{b^{2}+c^{2}} &#92;&#92; &amp;=&#92;sum ab(a-b)&#92;left( &#92;frac{1}{b^{2}+c^{2}}-&#92;frac{1}{c^{2}+a^{2}}&#92;right) &#92;&#92; &amp;=&#92;sum &#92;frac{ab(a+b)(a-b)^{2}}{(a^{2}+c^{2})(b^{2}+c^{2})}&#92;geq 0. &#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned} &#92;sum &#92;left[ &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}-a&#92;right] &amp;=&#92;sum &#92;frac{ab(a-b)-ca(c-a)}{b^{2}+c^{2}} &#92;&#92; &amp;=&#92;sum ab(a-b)&#92;left( &#92;frac{1}{b^{2}+c^{2}}-&#92;frac{1}{c^{2}+a^{2}}&#92;right) &#92;&#92; &amp;=&#92;sum &#92;frac{ab(a+b)(a-b)^{2}}{(a^{2}+c^{2})(b^{2}+c^{2})}&#92;geq 0. &#92;end{aligned}' class='latex' /></p>
<p>Thus, it follows that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csum+%5Cleft%5B+%5Cfrac%7Ba%5E%7B2%7D%28b%2Bc%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D-a%5Cright%5D+%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sum &#92;left[ &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}-a&#92;right] &#92;geq 0,' title='&#92;displaystyle &#92;sum &#92;left[ &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}-a&#92;right] &#92;geq 0,' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%5E%7B2%7D%28b%2Bc%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%2B%5Cfrac%7Bb%5E%7B2%7D%28c%2Ba%29%7D%7Bc%5E%7B2%7D%2Ba%5E%7B2%7D%7D%2B%5Cfrac%7Bc%5E%7B2%7D%28a%2Bb%29%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%7D%5Cgeq+a%2Bb%2Bc%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}+&#92;frac{b^{2}(c+a)}{c^{2}+a^{2}}+&#92;frac{c^{2}(a+b)}{a^{2}+b^{2}}&#92;geq a+b+c,' title='&#92;displaystyle &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}+&#92;frac{b^{2}(c+a)}{c^{2}+a^{2}}+&#92;frac{c^{2}(a+b)}{a^{2}+b^{2}}&#92;geq a+b+c,' class='latex' /></p>
<p>which is just the desired inequality. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c.' title='a=b=c.' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>Second proof. </em></strong>Having in view of the identity</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%5E%7B2%7D%28b%2Bc%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%3D%5Cfrac%7B%28b%2Bc%29%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D-b-c%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}=&#92;frac{(b+c)(a^{2}+b^{2}+c^{2})}{b^{2}+c^{2}}-b-c,' title='&#92;displaystyle &#92;frac{a^{2}(b+c)}{b^{2}+c^{2}}=&#92;frac{(b+c)(a^{2}+b^{2}+c^{2})}{b^{2}+c^{2}}-b-c,' class='latex' /></p>
<p>we can write the desired inequality as</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bb%2Bc%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%2B%5Cfrac%7Bc%2Ba%7D%7Bc%5E%7B2%7D%2Ba%5E%7B2%7D%7D%2B%5Cfrac%7Ba%2Bb%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%7D%5Cgeq+%5Cfrac%7B3%28a%2Bb%2Bc%29%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{b+c}{b^{2}+c^{2}}+&#92;frac{c+a}{c^{2}+a^{2}}+&#92;frac{a+b}{a^{2}+b^{2}}&#92;geq &#92;frac{3(a+b+c)}{a^{2}+b^{2}+c^{2}}.' title='&#92;displaystyle &#92;frac{b+c}{b^{2}+c^{2}}+&#92;frac{c+a}{c^{2}+a^{2}}+&#92;frac{a+b}{a^{2}+b^{2}}&#92;geq &#92;frac{3(a+b+c)}{a^{2}+b^{2}+c^{2}}.' class='latex' /></p>
<p>Without loss of generality, assume that <img src='http://s0.wp.com/latex.php?latex=a%5Cgeq+b%5Cgeq+c.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&#92;geq b&#92;geq c.' title='a&#92;geq b&#92;geq c.' class='latex' /> Since <img src='http://s0.wp.com/latex.php?latex=a%5E%7B2%7D%2Bc%5E%7B2%7D%5Cgeq+b%5E%7B2%7D%2Bc%5E%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a^{2}+c^{2}&#92;geq b^{2}+c^{2}' title='a^{2}+c^{2}&#92;geq b^{2}+c^{2}' class='latex' /> and</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bb%2Bc%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D-%5Cfrac%7Ba%2Bc%7D%7Ba%5E%7B2%7D%2Bc%5E%7B2%7D%7D%3D%5Cfrac%7B%28a-b%29%28ab%2Bbc%2Bca-c%5E%7B2%7D%29%7D%7B%28a%5E%7B2%7D%2Bc%5E%7B2%7D%29%28b%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{b+c}{b^{2}+c^{2}}-&#92;frac{a+c}{a^{2}+c^{2}}=&#92;frac{(a-b)(ab+bc+ca-c^{2})}{(a^{2}+c^{2})(b^{2}+c^{2})}&#92;geq 0,' title='&#92;displaystyle &#92;frac{b+c}{b^{2}+c^{2}}-&#92;frac{a+c}{a^{2}+c^{2}}=&#92;frac{(a-b)(ab+bc+ca-c^{2})}{(a^{2}+c^{2})(b^{2}+c^{2})}&#92;geq 0,' class='latex' /></p>
<p>by Chebyshev&#8217;s Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5B+%28b%5E%7B2%7D%2Bc%5E%7B2%7D%29%2B%28a%5E%7B2%7D%2Bc%5E%7B2%7D%29%5D%5Cleft%28+%5Cfrac%7Bb%2Bc%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%2B%5Cfrac%7Ba%2Bc%7D%7Ba%5E%7B2%7D%2Bc%5E%7B2%7D%7D%5Cright%29+%5Cgeq+2%5B%28b%2Bc%29%2B%28a%2Bc%29%5D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle [ (b^{2}+c^{2})+(a^{2}+c^{2})]&#92;left( &#92;frac{b+c}{b^{2}+c^{2}}+&#92;frac{a+c}{a^{2}+c^{2}}&#92;right) &#92;geq 2[(b+c)+(a+c)],' title='&#92;displaystyle [ (b^{2}+c^{2})+(a^{2}+c^{2})]&#92;left( &#92;frac{b+c}{b^{2}+c^{2}}+&#92;frac{a+c}{a^{2}+c^{2}}&#92;right) &#92;geq 2[(b+c)+(a+c)],' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bb%2Bc%7D%7Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%2B%5Cfrac%7Ba%2Bc%7D%7Ba%5E%7B2%7D%2Bc%5E%7B2%7D%7D%5Cgeq+%5Cfrac%7B2%28a%2Bb%2B2c%29%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%2B2c%5E%7B2%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{b+c}{b^{2}+c^{2}}+&#92;frac{a+c}{a^{2}+c^{2}}&#92;geq &#92;frac{2(a+b+2c)}{a^{2}+b^{2}+2c^{2}}.' title='&#92;displaystyle &#92;frac{b+c}{b^{2}+c^{2}}+&#92;frac{a+c}{a^{2}+c^{2}}&#92;geq &#92;frac{2(a+b+2c)}{a^{2}+b^{2}+2c^{2}}.' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B2%28a%2Bb%2B2c%29%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%2B2c%5E%7B2%7D%7D%2B%5Cfrac%7Ba%2Bb%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%7D%5Cgeq+%5Cfrac%7B3%28a%2Bb%2Bc%29%7D%7Ba%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{2(a+b+2c)}{a^{2}+b^{2}+2c^{2}}+&#92;frac{a+b}{a^{2}+b^{2}}&#92;geq &#92;frac{3(a+b+c)}{a^{2}+b^{2}+c^{2}},' title='&#92;displaystyle &#92;frac{2(a+b+2c)}{a^{2}+b^{2}+2c^{2}}+&#92;frac{a+b}{a^{2}+b^{2}}&#92;geq &#92;frac{3(a+b+c)}{a^{2}+b^{2}+c^{2}},' class='latex' /></p>
<p>which is equivalent to the obvious inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bc%28a%5E%7B2%7D%2Bb%5E%7B2%7D-2c%5E%7B2%7D%29%28a%5E%7B2%7D%2Bb%5E%7B2%7D-ac-bc%29%7D%7B%28a%5E%7B2%7D%2Bb%5E%7B2%7D%29%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2B2c%5E%7B2%7D%29%7D%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{c(a^{2}+b^{2}-2c^{2})(a^{2}+b^{2}-ac-bc)}{(a^{2}+b^{2})(a^{2}+b^{2}+c^{2})(a^{2}+b^{2}+2c^{2})}&#92;geq 0.' title='&#92;displaystyle &#92;frac{c(a^{2}+b^{2}-2c^{2})(a^{2}+b^{2}-ac-bc)}{(a^{2}+b^{2})(a^{2}+b^{2}+c^{2})(a^{2}+b^{2}+2c^{2})}&#92;geq 0.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1058/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1058/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1058/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1058/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1058/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1058/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1058/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1058/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1058&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/12/03/inequality-90-d-grinberg/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 89 [V. Q. B. Can, P. H. Duc]</title>
		<link>http://canhang2007.wordpress.com/2009/12/03/inequality-89-v-q-b-can-p-h-duc/</link>
		<comments>http://canhang2007.wordpress.com/2009/12/03/inequality-89-v-q-b-can-p-h-duc/#comments</comments>
		<pubDate>Thu, 03 Dec 2009 13:21:06 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1054</guid>
		<description><![CDATA[If are positive real numbers, then   Proof. By applying the known inequality for and we get Therefore, it suffices to prove that or Using now the obvious inequality we have and hence, it is enough to check that Setting The above inequality is equivalent to or But this is true because The proof is [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1054&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>If <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b,c' title='a,b,c' class='latex' /> are positive real numbers, then</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%7D%7Bb%7D%2B%5Cfrac%7Bb%7D%7Bc%7D%2B%5Cfrac%7Bc%7D%7Ba%7D%5Cgeq+%5Cfrac%7B9%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%7B%28a%2Bb%2Bc%29%5E%7B2%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{a}{b}+&#92;frac{b}{c}+&#92;frac{c}{a}&#92;geq &#92;frac{9(a^{2}+b^{2}+c^{2})}{(a+b+c)^{2}}.' title='&#92;displaystyle &#92;frac{a}{b}+&#92;frac{b}{c}+&#92;frac{c}{a}&#92;geq &#92;frac{9(a^{2}+b^{2}+c^{2})}{(a+b+c)^{2}}.' class='latex' /></p>
<p style="text-align:center;"> </p>
<p><strong><em>Proof. </em></strong>By applying the known inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28x%2By%2Bz%29%5E%7B3%7D%5Cgeq+%5Cfrac%7B27%7D%7B4%7D%28x%5E%7B2%7Dy%2By%5E%7B2%7Dz%2Bz%5E%7B2%7Dx%2Bxyz%29%5Cquad%5Cforall+x%2C%5Ctext%7B+%7Dy%2C%5Ctext%7B+%7Dz%5Cgeq+0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (x+y+z)^{3}&#92;geq &#92;frac{27}{4}(x^{2}y+y^{2}z+z^{2}x+xyz)&#92;quad&#92;forall x,&#92;text{ }y,&#92;text{ }z&#92;geq 0' title='&#92;displaystyle (x+y+z)^{3}&#92;geq &#92;frac{27}{4}(x^{2}y+y^{2}z+z^{2}x+xyz)&#92;quad&#92;forall x,&#92;text{ }y,&#92;text{ }z&#92;geq 0' class='latex' /></p>
<p>for <img src='http://s0.wp.com/latex.php?latex=x%3D%5Cdfrac%7Ba%7D%7Bb%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x=&#92;dfrac{a}{b},' title='x=&#92;dfrac{a}{b},' class='latex' /> <img src='http://s0.wp.com/latex.php?latex=y%3D%5Cdfrac%7Bb%7D%7Bc%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='y=&#92;dfrac{b}{c}' title='y=&#92;dfrac{b}{c}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=z%3D%5Cdfrac%7Bc%7D%7Ba%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='z=&#92;dfrac{c}{a},' title='z=&#92;dfrac{c}{a},' class='latex' /> we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cleft%28+%5Cfrac%7Ba%7D%7Bb%7D%2B%5Cfrac%7Bb%7D%7Bc%7D%2B%5Cfrac%7Bc%7D%7Ba%7D%5Cright%29+%5E%7B3%7D%5Cgeq+%5Cfrac%7B27%7D%7B4%7D%5Cleft%28+%5Cfrac%7Ba%5E%7B2%7D%7D%7Bbc%7D%2B%5Cfrac%7Bb%5E%7B2%7D%7D%7Bca%7D%2B%5Cfrac%7Bc%5E%7B2%7D%7D%7Bab%7D%2B1%5Cright%29+%3D%5Cfrac%7B27%7D%7B4%7D%5Cleft%28+%5Cfrac%7Ba%5E%7B3%7D%2Bb%5E%7B3%7D%2Bc%5E%7B3%7D%7D%7Babc%7D%2B1%5Cright%29+.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;left( &#92;frac{a}{b}+&#92;frac{b}{c}+&#92;frac{c}{a}&#92;right) ^{3}&#92;geq &#92;frac{27}{4}&#92;left( &#92;frac{a^{2}}{bc}+&#92;frac{b^{2}}{ca}+&#92;frac{c^{2}}{ab}+1&#92;right) =&#92;frac{27}{4}&#92;left( &#92;frac{a^{3}+b^{3}+c^{3}}{abc}+1&#92;right) .' title='&#92;displaystyle &#92;left( &#92;frac{a}{b}+&#92;frac{b}{c}+&#92;frac{c}{a}&#92;right) ^{3}&#92;geq &#92;frac{27}{4}&#92;left( &#92;frac{a^{2}}{bc}+&#92;frac{b^{2}}{ca}+&#92;frac{c^{2}}{ab}+1&#92;right) =&#92;frac{27}{4}&#92;left( &#92;frac{a^{3}+b^{3}+c^{3}}{abc}+1&#92;right) .' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%5E%7B3%7D%2Bb%5E%7B3%7D%2Bc%5E%7B3%7D%7D%7Babc%7D%2B1%5Cgeq+%5Cfrac%7B108%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%5E%7B3%7D%7D%7B%28a%2Bb%2Bc%29%5E%7B6%7D%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{a^{3}+b^{3}+c^{3}}{abc}+1&#92;geq &#92;frac{108(a^{2}+b^{2}+c^{2})^{3}}{(a+b+c)^{6}},' title='&#92;displaystyle &#92;frac{a^{3}+b^{3}+c^{3}}{abc}+1&#92;geq &#92;frac{108(a^{2}+b^{2}+c^{2})^{3}}{(a+b+c)^{6}},' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B%28a%2Bb%2Bc%29%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D-ab-bc-ca%29%7D%7Babc%7D%2B4%5Cgeq+%5Cfrac%7B108%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%5E%7B3%7D%7D%7B%28a%2Bb%2Bc%29%5E%7B6%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{(a+b+c)(a^{2}+b^{2}+c^{2}-ab-bc-ca)}{abc}+4&#92;geq &#92;frac{108(a^{2}+b^{2}+c^{2})^{3}}{(a+b+c)^{6}}.' title='&#92;displaystyle &#92;frac{(a+b+c)(a^{2}+b^{2}+c^{2}-ab-bc-ca)}{abc}+4&#92;geq &#92;frac{108(a^{2}+b^{2}+c^{2})^{3}}{(a+b+c)^{6}}.' class='latex' /></p>
<p>Using now the obvious inequality <img src='http://s0.wp.com/latex.php?latex=3abc%28a%2Bb%2Bc%29%5Cleq+%28ab%2Bbc%2Bca%29%5E%7B2%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='3abc(a+b+c)&#92;leq (ab+bc+ca)^{2},' title='3abc(a+b+c)&#92;leq (ab+bc+ca)^{2},' class='latex' /> we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%2Bb%2Bc%7D%7Babc%7D%3D%5Cfrac%7B3%28a%2Bb%2Bc%29%5E%7B2%7D%7D%7B3abc%28a%2Bb%2Bc%29%7D%5Cgeq+%5Cfrac%7B3%28a%2Bb%2Bc%29%5E%7B2%7D%7D%7B%28ab%2Bbc%2Bca%29%5E%7B2%7D%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{a+b+c}{abc}=&#92;frac{3(a+b+c)^{2}}{3abc(a+b+c)}&#92;geq &#92;frac{3(a+b+c)^{2}}{(ab+bc+ca)^{2}},' title='&#92;displaystyle &#92;frac{a+b+c}{abc}=&#92;frac{3(a+b+c)^{2}}{3abc(a+b+c)}&#92;geq &#92;frac{3(a+b+c)^{2}}{(ab+bc+ca)^{2}},' class='latex' /></p>
<p>and hence, it is enough to check that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B3%28a%2Bb%2Bc%29%5E%7B2%7D%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D-ab-bc-ca%29%7D%7B%28ab%2Bbc%2Bca%29%5E%7B2%7D%7D%2B4%5Cgeq+%5Cfrac%7B108%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%5E%7B3%7D%7D%7B%28a%2Bb%2Bc%29%5E%7B6%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{3(a+b+c)^{2}(a^{2}+b^{2}+c^{2}-ab-bc-ca)}{(ab+bc+ca)^{2}}+4&#92;geq &#92;frac{108(a^{2}+b^{2}+c^{2})^{3}}{(a+b+c)^{6}}.' title='&#92;displaystyle &#92;frac{3(a+b+c)^{2}(a^{2}+b^{2}+c^{2}-ab-bc-ca)}{(ab+bc+ca)^{2}}+4&#92;geq &#92;frac{108(a^{2}+b^{2}+c^{2})^{3}}{(a+b+c)^{6}}.' class='latex' /></p>
<p>Setting <img src='http://s0.wp.com/latex.php?latex=t%3D%5Cdfrac%7B3%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%7B%28a%2Bb%2Bc%29%5E%7B2%7D%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t=&#92;dfrac{3(a^{2}+b^{2}+c^{2})}{(a+b+c)^{2}},' title='t=&#92;dfrac{3(a^{2}+b^{2}+c^{2})}{(a+b+c)^{2}},' class='latex' /> <img src='http://s0.wp.com/latex.php?latex=1%5Cleq+t%3C3.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1&#92;leq t&lt;3.' title='1&#92;leq t&lt;3.' class='latex' /> The above inequality is equivalent to</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B54%28t-1%29%7D%7B%283-t%29%5E%7B2%7D%7D%2B4%5Cgeq+4t%5E%7B3%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{54(t-1)}{(3-t)^{2}}+4&#92;geq 4t^{3},' title='&#92;displaystyle &#92;frac{54(t-1)}{(3-t)^{2}}+4&#92;geq 4t^{3},' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28t-1%29%289-6t-8t%5E%7B2%7D%2B10t%5E%7B3%7D-2t%5E%7B4%7D%29%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (t-1)(9-6t-8t^{2}+10t^{3}-2t^{4})&#92;geq 0.' title='&#92;displaystyle (t-1)(9-6t-8t^{2}+10t^{3}-2t^{4})&#92;geq 0.' class='latex' /></p>
<p>But this is true because</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+9-6t-8t%5E%7B2%7D%2B10t%5E%7B3%7D-2t%5E%7B4%7D%3D2%283%2B3t-t%5E%7B2%7D%29%28t-1%29%5E%7B2%7D%2B3%3E0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle 9-6t-8t^{2}+10t^{3}-2t^{4}=2(3+3t-t^{2})(t-1)^{2}+3&gt;0.' title='&#92;displaystyle 9-6t-8t^{2}+10t^{3}-2t^{4}=2(3+3t-t^{2})(t-1)^{2}+3&gt;0.' class='latex' /></p>
<p>The proof is completed. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c.' title='a=b=c.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1054/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1054/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1054/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1054/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1054/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1054/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1054/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1054/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1054&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/12/03/inequality-89-v-q-b-can-p-h-duc/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 88 [V. Q. B. Can]</title>
		<link>http://canhang2007.wordpress.com/2009/12/03/inequality-88-v-q-b-can/</link>
		<comments>http://canhang2007.wordpress.com/2009/12/03/inequality-88-v-q-b-can/#comments</comments>
		<pubDate>Thu, 03 Dec 2009 11:33:21 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1047</guid>
		<description><![CDATA[Let be positive real numbers. Prove that   Proof. Denote By the AM-GM Inequality and the Cauchy-Schwarz Inequality, we have Therefore, it suffices to prove that which is equivalent to the obvious inequality Equality holds if and only if<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1047&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>Let <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b,c' title='a,b,c' class='latex' /> be positive real numbers. Prove that</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B4%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%7Bab%2Bbc%2Bca%7D%2B%5Csqrt%7B3%7D%5Csum+%5Cfrac%7Ba%2B2b%7D%7B%5Csqrt%7Ba%5E%7B2%7D%2B2b%5E%7B2%7D%7D%7D%5Cgeq+13.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{4(a^{2}+b^{2}+c^{2})}{ab+bc+ca}+&#92;sqrt{3}&#92;sum &#92;frac{a+2b}{&#92;sqrt{a^{2}+2b^{2}}}&#92;geq 13.' title='&#92;displaystyle &#92;frac{4(a^{2}+b^{2}+c^{2})}{ab+bc+ca}+&#92;sqrt{3}&#92;sum &#92;frac{a+2b}{&#92;sqrt{a^{2}+2b^{2}}}&#92;geq 13.' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>Proof.</em></strong> Denote</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+P%3D%5Cfrac%7Ba%2B2b%7D%7B%5Csqrt%7Ba%5E%7B2%7D%2B2b%5E%7B2%7D%7D%7D%2B%5Cfrac%7Bb%2B2c%7D%7B%5Csqrt%7Bb%5E%7B2%7D%2B2c%5E%7B2%7D%7D%7D%2B%5Cfrac%7Bc%2B2a%7D%7B%5Csqrt%7Bc%5E%7B2%7D%2B2a%5E%7B2%7D%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle P=&#92;frac{a+2b}{&#92;sqrt{a^{2}+2b^{2}}}+&#92;frac{b+2c}{&#92;sqrt{b^{2}+2c^{2}}}+&#92;frac{c+2a}{&#92;sqrt{c^{2}+2a^{2}}}.' title='&#92;displaystyle P=&#92;frac{a+2b}{&#92;sqrt{a^{2}+2b^{2}}}+&#92;frac{b+2c}{&#92;sqrt{b^{2}+2c^{2}}}+&#92;frac{c+2a}{&#92;sqrt{c^{2}+2a^{2}}}.' class='latex' /></p>
<p>By the AM-GM Inequality and the Cauchy-Schwarz Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7DP+%26%3D%5Csqrt%7B3%7D%5Csum+%5Cfrac%7B%28a%2B2b%29%5E%7B2%7D%7D%7B%28a%2B2b%29%5Csqrt%7B3%28a%5E%7B2%7D%2B2b%5E%7B2%7D%29%7D%7D%5Cgeq+2%5Csqrt%7B3%7D%5Csum+%5Cfrac%7B%28a%2B2b%29%5E%7B2%7D%7D%7B%28a%2B2b%29%5E%7B2%7D%2B3%28a%5E%7B2%7D%2B2b%5E%7B2%7D%29%7D+%5C%5C+%26%5Cgeq+%5Cfrac%7B2%5Csqrt%7B3%7D%5Cleft%5B+%5Cdisplaystyle%5Csum+%28a%2B2b%29%5Cright%5D+%5E%7B2%7D%7D%7B%5Cdisplaystyle%5Csum+%5B%28a%2B2b%29%5E%7B2%7D%2B3%28a%5E%7B2%7D%2B2b%5E%7B2%7D%29%5D%7D%3D%5Cfrac%7B9%5Csqrt%7B3%7D%5Cleft%28+%5Cdisplaystyle%5Csum+a%5Cright%29+%5E%7B2%7D%7D%7B%5Cdisplaystyle7%5Csum+a%5E%7B2%7D%2B2%5Csum+ab%7D.%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned}P &amp;=&#92;sqrt{3}&#92;sum &#92;frac{(a+2b)^{2}}{(a+2b)&#92;sqrt{3(a^{2}+2b^{2})}}&#92;geq 2&#92;sqrt{3}&#92;sum &#92;frac{(a+2b)^{2}}{(a+2b)^{2}+3(a^{2}+2b^{2})} &#92;&#92; &amp;&#92;geq &#92;frac{2&#92;sqrt{3}&#92;left[ &#92;displaystyle&#92;sum (a+2b)&#92;right] ^{2}}{&#92;displaystyle&#92;sum [(a+2b)^{2}+3(a^{2}+2b^{2})]}=&#92;frac{9&#92;sqrt{3}&#92;left( &#92;displaystyle&#92;sum a&#92;right) ^{2}}{&#92;displaystyle7&#92;sum a^{2}+2&#92;sum ab}.&#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned}P &amp;=&#92;sqrt{3}&#92;sum &#92;frac{(a+2b)^{2}}{(a+2b)&#92;sqrt{3(a^{2}+2b^{2})}}&#92;geq 2&#92;sqrt{3}&#92;sum &#92;frac{(a+2b)^{2}}{(a+2b)^{2}+3(a^{2}+2b^{2})} &#92;&#92; &amp;&#92;geq &#92;frac{2&#92;sqrt{3}&#92;left[ &#92;displaystyle&#92;sum (a+2b)&#92;right] ^{2}}{&#92;displaystyle&#92;sum [(a+2b)^{2}+3(a^{2}+2b^{2})]}=&#92;frac{9&#92;sqrt{3}&#92;left( &#92;displaystyle&#92;sum a&#92;right) ^{2}}{&#92;displaystyle7&#92;sum a^{2}+2&#92;sum ab}.&#92;end{aligned}' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B4%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%7D%7Bab%2Bbc%2Bca%7D%2B%5Cfrac%7B27%28a%2Bb%2Bc%29%5E%7B2%7D%7D%7B7%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%2B2%28ab%2Bbc%2Bca%29%7D%5Cgeq+13%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{4(a^{2}+b^{2}+c^{2})}{ab+bc+ca}+&#92;frac{27(a+b+c)^{2}}{7(a^{2}+b^{2}+c^{2})+2(ab+bc+ca)}&#92;geq 13,' title='&#92;displaystyle &#92;frac{4(a^{2}+b^{2}+c^{2})}{ab+bc+ca}+&#92;frac{27(a+b+c)^{2}}{7(a^{2}+b^{2}+c^{2})+2(ab+bc+ca)}&#92;geq 13,' class='latex' /></p>
<p>which is equivalent to the obvious inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B28%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D-ab-bc-ca%29%5E%7B2%7D%7D%7B%28ab%2Bbc%2Bca%29%5B7%28a%5E%7B2%7D%2Bb%5E%7B2%7D%2Bc%5E%7B2%7D%29%2B2%28ab%2Bbc%2Bca%29%5D%7D%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{28(a^{2}+b^{2}+c^{2}-ab-bc-ca)^{2}}{(ab+bc+ca)[7(a^{2}+b^{2}+c^{2})+2(ab+bc+ca)]}&#92;geq 0.' title='&#92;displaystyle &#92;frac{28(a^{2}+b^{2}+c^{2}-ab-bc-ca)^{2}}{(ab+bc+ca)[7(a^{2}+b^{2}+c^{2})+2(ab+bc+ca)]}&#92;geq 0.' class='latex' /></p>
<p>Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c.' title='a=b=c.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1047/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1047/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1047/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1047/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1047/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1047/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1047/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1047/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1047&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/12/03/inequality-88-v-q-b-can/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 87 [Unknown author]</title>
		<link>http://canhang2007.wordpress.com/2009/12/03/inequality-87-unknown-author/</link>
		<comments>http://canhang2007.wordpress.com/2009/12/03/inequality-87-unknown-author/#comments</comments>
		<pubDate>Thu, 03 Dec 2009 11:10:45 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1042</guid>
		<description><![CDATA[Let be positive real numbers such that Prove that   Proof. Letting and where and such that The condition implies and the inequality becomes We see that it suffices to prove this inequality for In this case, we may write the inequality in the form Now, since and there exist some positive real numbers such [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1042&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>Let <img src='http://s0.wp.com/latex.php?latex=a%2C+b%2C+c&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a, b, c' title='a, b, c' class='latex' /> be positive real numbers such that <img src='http://s0.wp.com/latex.php?latex=ab%2Bbc%2Bca+%2Babc+%5Cge+4.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='ab+bc+ca +abc &#92;ge 4.' title='ab+bc+ca +abc &#92;ge 4.' class='latex' /> Prove that</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7B%28a%2B1%29%5E2%28b%2Bc%29%7D%2B%5Cfrac%7B1%7D%7B%28b%2B1%29%5E2%28c%2Ba%29%7D%2B%5Cfrac%7B1%7D%7B%28c%2B1%29%5E2%28a%2Bb%29%7D+%5Cle+%5Cfrac%7B3%7D%7B8%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{(a+1)^2(b+c)}+&#92;frac{1}{(b+1)^2(c+a)}+&#92;frac{1}{(c+1)^2(a+b)} &#92;le &#92;frac{3}{8}.' title='&#92;displaystyle &#92;frac{1}{(a+1)^2(b+c)}+&#92;frac{1}{(b+1)^2(c+a)}+&#92;frac{1}{(c+1)^2(a+b)} &#92;le &#92;frac{3}{8}.' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>Proof.</em></strong> Letting <img src='http://s0.wp.com/latex.php?latex=a%3Dtx%2C+b%3Dty&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=tx, b=ty' title='a=tx, b=ty' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=c%3Dtz%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=tz,' title='c=tz,' class='latex' /> where <img src='http://s0.wp.com/latex.php?latex=t%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t&gt;0' title='t&gt;0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=x%2Cy%2Cz%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x,y,z&gt;0' title='x,y,z&gt;0' class='latex' /> such that <img src='http://s0.wp.com/latex.php?latex=xy%2Byz%2Bzx%2Bxyz%3D4.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='xy+yz+zx+xyz=4.' title='xy+yz+zx+xyz=4.' class='latex' /> The condition <img src='http://s0.wp.com/latex.php?latex=ab%2Bbc%2Bca%2Babc+%5Cge+4&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='ab+bc+ca+abc &#92;ge 4' title='ab+bc+ca+abc &#92;ge 4' class='latex' /> implies <img src='http://s0.wp.com/latex.php?latex=t+%5Cge+1%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t &#92;ge 1,' title='t &#92;ge 1,' class='latex' /> and the inequality becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Bt%28tx%2B1%29%5E2%28y%2Bz%29%7D%2B%5Cfrac%7B1%7D%7Bt%28ty%2B1%29%5E2%28z%2Bx%29%7D%2B%5Cfrac%7B1%7D%7Bt%28tz%2B1%29%5E2%28x%2By%29%7D+%5Cle+%5Cfrac%7B3%7D%7B8%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{t(tx+1)^2(y+z)}+&#92;frac{1}{t(ty+1)^2(z+x)}+&#92;frac{1}{t(tz+1)^2(x+y)} &#92;le &#92;frac{3}{8}.' title='&#92;displaystyle &#92;frac{1}{t(tx+1)^2(y+z)}+&#92;frac{1}{t(ty+1)^2(z+x)}+&#92;frac{1}{t(tz+1)^2(x+y)} &#92;le &#92;frac{3}{8}.' class='latex' /></p>
<p>We see that it suffices to prove this inequality for <img src='http://s0.wp.com/latex.php?latex=t%3D1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t=1.' title='t=1.' class='latex' /> In this case, we may write the inequality in the form</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7B%28x%2B1%29%5E2%28y%2Bz%29%7D%2B%5Cfrac%7B1%7D%7B%28y%2B1%29%5E2%28z%2Bx%29%7D%2B%5Cfrac%7B1%7D%7B%28z%2B1%29%5E2%28x%2By%29%7D+%5Cle+%5Cfrac%7B3%7D%7B8%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{(x+1)^2(y+z)}+&#92;frac{1}{(y+1)^2(z+x)}+&#92;frac{1}{(z+1)^2(x+y)} &#92;le &#92;frac{3}{8}.' title='&#92;displaystyle &#92;frac{1}{(x+1)^2(y+z)}+&#92;frac{1}{(y+1)^2(z+x)}+&#92;frac{1}{(z+1)^2(x+y)} &#92;le &#92;frac{3}{8}.' class='latex' /></p>
<p>Now, since <img src='http://s0.wp.com/latex.php?latex=x%2C+y%2C+z%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x, y, z&gt;0' title='x, y, z&gt;0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=xy%2Byz%2Bzx%2Bxyz%3D4%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='xy+yz+zx+xyz=4,' title='xy+yz+zx+xyz=4,' class='latex' /> there exist some positive real numbers <img src='http://s0.wp.com/latex.php?latex=u%2C+v%2C+w&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='u, v, w' title='u, v, w' class='latex' /> such that <img src='http://s0.wp.com/latex.php?latex=x%3D%5Cdfrac%7B2u%7D%7Bv%2Bw%7D%2C+y%3D%5Cdfrac%7B2v%7D%7Bw%2Bu%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x=&#92;dfrac{2u}{v+w}, y=&#92;dfrac{2v}{w+u}' title='x=&#92;dfrac{2u}{v+w}, y=&#92;dfrac{2v}{w+u}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=z%3D%5Cdfrac%7B2w%7D%7Bu%2Bv%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='z=&#92;dfrac{2w}{u+v}.' title='z=&#92;dfrac{2w}{u+v}.' class='latex' /> The above inequality becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csum+%5Cfrac%7B%28u%2Bv%29%28u%2Bw%29%28v%2Bw%29%5E2%7D%7B%282u%2Bv%2Bw%29%5E2%5Bv%28u%2Bv%29%2Bw%28u%2Bw%29%5D%7D+%5Cle+%5Cfrac%7B3%7D%7B4%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sum &#92;frac{(u+v)(u+w)(v+w)^2}{(2u+v+w)^2[v(u+v)+w(u+w)]} &#92;le &#92;frac{3}{4}.' title='&#92;displaystyle &#92;sum &#92;frac{(u+v)(u+w)(v+w)^2}{(2u+v+w)^2[v(u+v)+w(u+w)]} &#92;le &#92;frac{3}{4}.' class='latex' /></p>
<p>Using the AM-GM Inequality and the Cauchy-Schwarz Inequality, we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7D+%5Cfrac%7B%28u%2Bv%29%28u%2Bw%29%28v%2Bw%29%5E2%7D%7B%282u%2Bv%2Bw%29%5E2%5Bv%28u%2Bv%29%2Bw%28u%2Bw%29%5D%7D+%26%5Cle+%5Cfrac%7B%28v%2Bw%29%5E2%7D%7B4%5Bv%28u%2Bv%29%2Bw%28u%2Bw%29%5D%7D%5C%5C+%26+%5Cle+%5Cfrac%7B1%7D%7B4%7D%5Cleft%28+%5Cfrac%7Bv%7D%7Bu%2Bv%7D%2B%5Cfrac%7Bw%7D%7Bu%2Bw%7D%5Cright%29.%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned} &#92;frac{(u+v)(u+w)(v+w)^2}{(2u+v+w)^2[v(u+v)+w(u+w)]} &amp;&#92;le &#92;frac{(v+w)^2}{4[v(u+v)+w(u+w)]}&#92;&#92; &amp; &#92;le &#92;frac{1}{4}&#92;left( &#92;frac{v}{u+v}+&#92;frac{w}{u+w}&#92;right).&#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned} &#92;frac{(u+v)(u+w)(v+w)^2}{(2u+v+w)^2[v(u+v)+w(u+w)]} &amp;&#92;le &#92;frac{(v+w)^2}{4[v(u+v)+w(u+w)]}&#92;&#92; &amp; &#92;le &#92;frac{1}{4}&#92;left( &#92;frac{v}{u+v}+&#92;frac{w}{u+w}&#92;right).&#92;end{aligned}' class='latex' /></p>
<p>Therefore,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csum+%5Cfrac%7B%28u%2Bv%29%28u%2Bw%29%28v%2Bw%29%5E2%7D%7B%282u%2Bv%2Bw%29%5E2%5Bv%28u%2Bv%29%2Bw%28u%2Bw%29%5D%7D+%5Cle+%5Cfrac%7B1%7D%7B4%7D%5Csum+%5Cleft%28+%5Cfrac%7Bv%7D%7Bu%2Bv%7D%2B%5Cfrac%7Bw%7D%7Bu%2Bw%7D%5Cright%29+%3D%5Cfrac%7B3%7D%7B4%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sum &#92;frac{(u+v)(u+w)(v+w)^2}{(2u+v+w)^2[v(u+v)+w(u+w)]} &#92;le &#92;frac{1}{4}&#92;sum &#92;left( &#92;frac{v}{u+v}+&#92;frac{w}{u+w}&#92;right) =&#92;frac{3}{4}.' title='&#92;displaystyle &#92;sum &#92;frac{(u+v)(u+w)(v+w)^2}{(2u+v+w)^2[v(u+v)+w(u+w)]} &#92;le &#92;frac{1}{4}&#92;sum &#92;left( &#92;frac{v}{u+v}+&#92;frac{w}{u+w}&#92;right) =&#92;frac{3}{4}.' class='latex' /></p>
<p>The proof is completed. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc%3D1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c=1.' title='a=b=c=1.' class='latex' /></p>
<p><strong> </strong></p>
<p><strong>Remark. </strong>The proof of this problem gives us the fourth proof of the previous problem, because the condition <img src='http://s0.wp.com/latex.php?latex=abc+%5Cge+1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='abc &#92;ge 1' title='abc &#92;ge 1' class='latex' /> implies <img src='http://s0.wp.com/latex.php?latex=ab%2Bbc%2Bca%2Babc+%5Cge+4.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='ab+bc+ca+abc &#92;ge 4.' title='ab+bc+ca+abc &#92;ge 4.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1042/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1042/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1042/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1042/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1042/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1042/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1042/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1042/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1042&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/12/03/inequality-87-unknown-author/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 86 [T. Q. Anh]</title>
		<link>http://canhang2007.wordpress.com/2009/12/03/inequality-86-t-q-anh/</link>
		<comments>http://canhang2007.wordpress.com/2009/12/03/inequality-86-t-q-anh/#comments</comments>
		<pubDate>Thu, 03 Dec 2009 10:54:21 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1037</guid>
		<description><![CDATA[Let be positive real numbers such that Prove that   First proof. Setting and where are positive real numbers. The inequality becomes By the Cauchy-Schwarz Inequality, we have and Multiplying these two inequalities, we get It follows that Therefore, it suffices to prove that Using again the Cauchy-Schwarz Inequality, we have Multiplying these three inequalities [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1037&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>Let <img src='http://s0.wp.com/latex.php?latex=a%2C+b%2C+c&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a, b, c' title='a, b, c' class='latex' /> be positive real numbers such that <img src='http://s0.wp.com/latex.php?latex=abc%3D1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='abc=1.' title='abc=1.' class='latex' /> Prove that</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7B%28a%2B1%29%5E2%28b%2Bc%29%7D%2B%5Cfrac%7B1%7D%7B%28b%2B1%29%5E2%28c%2Ba%29%7D%2B%5Cfrac%7B1%7D%7B%28c%2B1%29%5E2%28a%2Bb%29%7D+%5Cle+%5Cfrac%7B3%7D%7B8%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{(a+1)^2(b+c)}+&#92;frac{1}{(b+1)^2(c+a)}+&#92;frac{1}{(c+1)^2(a+b)} &#92;le &#92;frac{3}{8}.' title='&#92;displaystyle &#92;frac{1}{(a+1)^2(b+c)}+&#92;frac{1}{(b+1)^2(c+a)}+&#92;frac{1}{(c+1)^2(a+b)} &#92;le &#92;frac{3}{8}.' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>First proof.</em></strong> Setting <img src='http://s0.wp.com/latex.php?latex=a%3Dx%5E2%2Cb%3Dy%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=x^2,b=y^2' title='a=x^2,b=y^2' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=c%3Dz%5E2%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=z^2,' title='c=z^2,' class='latex' /> where <img src='http://s0.wp.com/latex.php?latex=x%2Cy%2Cz&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x,y,z' title='x,y,z' class='latex' /> are positive real numbers. The inequality becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7B%28x%5E2%2B1%29%5E2%28y%5E2%2Bz%5E2%29%7D%2B%5Cfrac%7B1%7D%7B%28y%5E2%2B1%29%5E2%28z%5E2%2Bx%5E2%29%7D%2B%5Cfrac%7B1%7D%7B%28z%5E2%2B1%29%5E2%28x%5E2%2By%5E2%29%7D+%5Cle+%5Cfrac%7B3%7D%7B8%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{(x^2+1)^2(y^2+z^2)}+&#92;frac{1}{(y^2+1)^2(z^2+x^2)}+&#92;frac{1}{(z^2+1)^2(x^2+y^2)} &#92;le &#92;frac{3}{8}.' title='&#92;displaystyle &#92;frac{1}{(x^2+1)^2(y^2+z^2)}+&#92;frac{1}{(y^2+1)^2(z^2+x^2)}+&#92;frac{1}{(z^2+1)^2(x^2+y^2)} &#92;le &#92;frac{3}{8}.' class='latex' /></p>
<p>By the Cauchy-Schwarz Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csqrt%7B%28x%5E2%2B1%29%28y%5E2%2Bz%5E2%29%7D+%5Cge+xy%2Bz%3D%5Cfrac%7B1%7D%7Bz%7D%2Bz%3D%5Cfrac%7Bz%5E2%2B1%7D%7Bz%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sqrt{(x^2+1)(y^2+z^2)} &#92;ge xy+z=&#92;frac{1}{z}+z=&#92;frac{z^2+1}{z},' title='&#92;displaystyle &#92;sqrt{(x^2+1)(y^2+z^2)} &#92;ge xy+z=&#92;frac{1}{z}+z=&#92;frac{z^2+1}{z},' class='latex' /></p>
<p>and</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csqrt%7B%281%2Bx%5E2%29%28y%5E2%2Bz%5E2%29%7D+%5Cge+y%2Bxz%3Dy%2B%5Cfrac%7B1%7D%7By%7D%3D%5Cfrac%7By%5E2%2B1%7D%7By%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sqrt{(1+x^2)(y^2+z^2)} &#92;ge y+xz=y+&#92;frac{1}{y}=&#92;frac{y^2+1}{y}.' title='&#92;displaystyle &#92;sqrt{(1+x^2)(y^2+z^2)} &#92;ge y+xz=y+&#92;frac{1}{y}=&#92;frac{y^2+1}{y}.' class='latex' /></p>
<p>Multiplying these two inequalities, we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28x%5E2%2B1%29%28y%5E2%2Bz%5E2%29+%5Cge+%5Cfrac%7B%28y%5E2%2B1%29%28z%5E2%2B1%29%7D%7Byz%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (x^2+1)(y^2+z^2) &#92;ge &#92;frac{(y^2+1)(z^2+1)}{yz}.' title='&#92;displaystyle (x^2+1)(y^2+z^2) &#92;ge &#92;frac{(y^2+1)(z^2+1)}{yz}.' class='latex' /></p>
<p>It follows that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csum+%5Cfrac%7B1%7D%7B%28x%5E2%2B1%29%5E2%28y%5E2%2Bz%5E2%29%7D+%5Cle+%5Csum+%5Cfrac%7Byz%7D%7B%28x%5E2%2B1%29%28y%5E2%2B1%29%28z%5E2%2B1%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sum &#92;frac{1}{(x^2+1)^2(y^2+z^2)} &#92;le &#92;sum &#92;frac{yz}{(x^2+1)(y^2+1)(z^2+1)}.' title='&#92;displaystyle &#92;sum &#92;frac{1}{(x^2+1)^2(y^2+z^2)} &#92;le &#92;sum &#92;frac{yz}{(x^2+1)(y^2+1)(z^2+1)}.' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28x%5E2%2B1%29%28y%5E2%2B1%29%28z%5E2%2B1%29+%5Cge+%5Cfrac%7B8%7D%7B3%7D%28xy%2Byz%2Bzx%29.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (x^2+1)(y^2+1)(z^2+1) &#92;ge &#92;frac{8}{3}(xy+yz+zx).' title='&#92;displaystyle (x^2+1)(y^2+1)(z^2+1) &#92;ge &#92;frac{8}{3}(xy+yz+zx).' class='latex' /></p>
<p>Using again the Cauchy-Schwarz Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Barray%7D%7Bc%7D%5Csqrt%7B%28x%5E2%2B1%29%281%2By%5E2%29%7D+%5Cge+x%2By%2C%5Cquad+%5Csqrt%7B%28y%5E2%2B1%29%281%2Bz%5E2%29%7D+%5Cge+y%2Bz%2C%5C%5C+%5Csqrt%7B%28z%5E2%2B1%29%281%2Bx%5E2%29%7D+%5Cge+z%2Bx.%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{array}{c}&#92;sqrt{(x^2+1)(1+y^2)} &#92;ge x+y,&#92;quad &#92;sqrt{(y^2+1)(1+z^2)} &#92;ge y+z,&#92;&#92; &#92;sqrt{(z^2+1)(1+x^2)} &#92;ge z+x.&#92;end{array}' title='&#92;displaystyle &#92;begin{array}{c}&#92;sqrt{(x^2+1)(1+y^2)} &#92;ge x+y,&#92;quad &#92;sqrt{(y^2+1)(1+z^2)} &#92;ge y+z,&#92;&#92; &#92;sqrt{(z^2+1)(1+x^2)} &#92;ge z+x.&#92;end{array}' class='latex' /></p>
<p>Multiplying these three inequalities and then using the known inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28x%2By%29%28y%2Bz%29%28z%2Bx%29+%5Cge+%5Cfrac%7B8%7D%7B9%7D%28x%2By%2Bz%29%28xy%2Byz%2Bzx%29%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (x+y)(y+z)(z+x) &#92;ge &#92;frac{8}{9}(x+y+z)(xy+yz+zx),' title='&#92;displaystyle (x+y)(y+z)(z+x) &#92;ge &#92;frac{8}{9}(x+y+z)(xy+yz+zx),' class='latex' /></p>
<p>we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7D+%28x%5E2%2B1%29%28y%5E2%2B1%29%28z%5E2%2B1%29+%26%5Cge+%28x%2By%29%28y%2Bz%29%28z%2Bx%29+%5C%5C+%26%5Cge+%5Cfrac%7B8%7D%7B9%7D%28x%2By%2Bz%29%28xy%2Byz%2Bzx%29.%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned} (x^2+1)(y^2+1)(z^2+1) &amp;&#92;ge (x+y)(y+z)(z+x) &#92;&#92; &amp;&#92;ge &#92;frac{8}{9}(x+y+z)(xy+yz+zx).&#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned} (x^2+1)(y^2+1)(z^2+1) &amp;&#92;ge (x+y)(y+z)(z+x) &#92;&#92; &amp;&#92;ge &#92;frac{8}{9}(x+y+z)(xy+yz+zx).&#92;end{aligned}' class='latex' /></p>
<p>Therefore, it suffices to show that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=x%2By%2Bz+%5Cge+3%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x+y+z &#92;ge 3,' title='x+y+z &#92;ge 3,' class='latex' /></p>
<p>which is true according to the AM-GM Inequality. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc%3D1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c=1.' title='a=b=c=1.' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>Second proof.</em></strong> Setting <img src='http://s0.wp.com/latex.php?latex=a%3Dx%5E3%2C+b%3Dy%5E3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=x^3, b=y^3' title='a=x^3, b=y^3' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=c%3Dz%5E3%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=z^3,' title='c=z^3,' class='latex' /> we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7B%28a%2B1%29%5E2%28b%2Bc%29%7D%3D%5Cfrac%7Bx%5E3y%5E3z%5E3%7D%7B%28x%5E3%2Bxyz%29%5E2%28y%5E3%2Bz%5E3%29%7D%3D%5Cfrac%7Bxy%5E3z%5E3%7D%7B%28x%5E2%2Byz%29%5E2%28y%5E3%2Bz%5E3%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{(a+1)^2(b+c)}=&#92;frac{x^3y^3z^3}{(x^3+xyz)^2(y^3+z^3)}=&#92;frac{xy^3z^3}{(x^2+yz)^2(y^3+z^3)}.' title='&#92;displaystyle &#92;frac{1}{(a+1)^2(b+c)}=&#92;frac{x^3y^3z^3}{(x^3+xyz)^2(y^3+z^3)}=&#92;frac{xy^3z^3}{(x^2+yz)^2(y^3+z^3)}.' class='latex' /></p>
<p>By the AM-GM Inequality, we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28x%5E2%2Byz%29%28y%2Bz%29%3Dy%28x%5E2%2Bz%5E2%29%2Bz%28x%5E2%2By%5E2%29+%5Cge+2%5Csqrt%7Byz%28x%5E2%2By%5E2%29%28x%5E2%2Bz%5E2%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (x^2+yz)(y+z)=y(x^2+z^2)+z(x^2+y^2) &#92;ge 2&#92;sqrt{yz(x^2+y^2)(x^2+z^2)}.' title='&#92;displaystyle (x^2+yz)(y+z)=y(x^2+z^2)+z(x^2+y^2) &#92;ge 2&#92;sqrt{yz(x^2+y^2)(x^2+z^2)}.' class='latex' /></p>
<p>This yields</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%28x%5E2%2Byz%29%5E2%28y%2Bz%29+%5Cge+%5Cfrac%7B4yz%28x%5E2%2By%5E2%29%28x%5E2%2Bz%5E2%29%7D%7By%2Bz%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle (x^2+yz)^2(y+z) &#92;ge &#92;frac{4yz(x^2+y^2)(x^2+z^2)}{y+z}.' title='&#92;displaystyle (x^2+yz)^2(y+z) &#92;ge &#92;frac{4yz(x^2+y^2)(x^2+z^2)}{y+z}.' class='latex' /></p>
<p>Using this in combination with the obvious inequality <img src='http://s0.wp.com/latex.php?latex=2%28y%5E2-yz%2Bz%5E2%29+%5Cge+y%5E2%2Bz%5E2%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2(y^2-yz+z^2) &#92;ge y^2+z^2,' title='2(y^2-yz+z^2) &#92;ge y^2+z^2,' class='latex' /> we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7D+%5Cfrac%7B1%7D%7B%28a%2B1%29%5E2%28b%2Bc%29%7D+%26%5Cle+%5Cfrac%7Bxy%5E2z%5E2%28y%2Bz%29%7D%7B4%28x%5E2%2By%5E2%29%28x%5E2%2Bz%5E2%29%28y%5E2-yz%2Bz%5E2%29%7D+%5C%5C+%26%5Cle+%5Cfrac%7Bxy%5E2z%5E2%28y%2Bz%29%7D%7B2%28x%5E2%2By%5E2%29%28x%5E2%2Bz%5E2%29%28y%5E2%2Bz%5E2%29%7D.%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned} &#92;frac{1}{(a+1)^2(b+c)} &amp;&#92;le &#92;frac{xy^2z^2(y+z)}{4(x^2+y^2)(x^2+z^2)(y^2-yz+z^2)} &#92;&#92; &amp;&#92;le &#92;frac{xy^2z^2(y+z)}{2(x^2+y^2)(x^2+z^2)(y^2+z^2)}.&#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned} &#92;frac{1}{(a+1)^2(b+c)} &amp;&#92;le &#92;frac{xy^2z^2(y+z)}{4(x^2+y^2)(x^2+z^2)(y^2-yz+z^2)} &#92;&#92; &amp;&#92;le &#92;frac{xy^2z^2(y+z)}{2(x^2+y^2)(x^2+z^2)(y^2+z^2)}.&#92;end{aligned}' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+4%5Csum+xy%5E2z%5E2%28y%2Bz%29+%5Cle+3%28x%5E2%2By%5E2%29%28y%5E2%2Bz%5E2%29%28z%5E2%2Bx%5E2%29.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle 4&#92;sum xy^2z^2(y+z) &#92;le 3(x^2+y^2)(y^2+z^2)(z^2+x^2).' title='&#92;displaystyle 4&#92;sum xy^2z^2(y+z) &#92;le 3(x^2+y^2)(y^2+z^2)(z^2+x^2).' class='latex' /></p>
<p>Dividing each side of this inequality by <img src='http://s0.wp.com/latex.php?latex=x%5E2y%5E2z%5E2%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x^2y^2z^2,' title='x^2y^2z^2,' class='latex' /> it becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+3+%5Cleft%28%5Cfrac%7Bx%7D%7By%7D%2B%5Cfrac%7By%7D%7Bx%7D%5Cright%29%5Cleft%28%5Cfrac%7By%7D%7Bz%7D%2B%5Cfrac%7Bz%7D%7By%7D%5Cright%29%5Cleft%28%5Cfrac%7Bz%7D%7Bx%7D%2B%5Cfrac%7Bx%7D%7Bz%7D%5Cright%29+%5Cge+4%5Csum+%5Cleft%28+%5Cfrac%7Bx%7D%7By%7D%2B%5Cfrac%7By%7D%7Bx%7D%5Cright%29%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle 3 &#92;left(&#92;frac{x}{y}+&#92;frac{y}{x}&#92;right)&#92;left(&#92;frac{y}{z}+&#92;frac{z}{y}&#92;right)&#92;left(&#92;frac{z}{x}+&#92;frac{x}{z}&#92;right) &#92;ge 4&#92;sum &#92;left( &#92;frac{x}{y}+&#92;frac{y}{x}&#92;right),' title='&#92;displaystyle 3 &#92;left(&#92;frac{x}{y}+&#92;frac{y}{x}&#92;right)&#92;left(&#92;frac{y}{z}+&#92;frac{z}{y}&#92;right)&#92;left(&#92;frac{z}{x}+&#92;frac{x}{z}&#92;right) &#92;ge 4&#92;sum &#92;left( &#92;frac{x}{y}+&#92;frac{y}{x}&#92;right),' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+3%5Cleft%5B+2%2B%5Cfrac%7B%28x-y%29%5E2%7D%7Bxy%7D%5Cright%5D%5Cleft%5B2%2B%5Cfrac%7B%28y-z%29%5E2%7D%7Byz%7D%5Cright%5D%5Cleft%5B2%2B%5Cfrac%7B%28z-x%29%5E2%7D%7Bzx%7D%5Cright%5D+%5Cge+24%2B4%5Csum+%5Cfrac%7B%28x-y%29%5E2%7D%7Bxy%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle 3&#92;left[ 2+&#92;frac{(x-y)^2}{xy}&#92;right]&#92;left[2+&#92;frac{(y-z)^2}{yz}&#92;right]&#92;left[2+&#92;frac{(z-x)^2}{zx}&#92;right] &#92;ge 24+4&#92;sum &#92;frac{(x-y)^2}{xy}.' title='&#92;displaystyle 3&#92;left[ 2+&#92;frac{(x-y)^2}{xy}&#92;right]&#92;left[2+&#92;frac{(y-z)^2}{yz}&#92;right]&#92;left[2+&#92;frac{(z-x)^2}{zx}&#92;right] &#92;ge 24+4&#92;sum &#92;frac{(x-y)^2}{xy}.' class='latex' /></p>
<p>Now, using the trivial inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%282%2Bu%29%282%2Bv%29%282%2Bw%29+%5Cge+8%2B4%28u%2Bv%2Bw%29+%5Cquad+%5Cforall+u%2Cv%2C+w+%5Cge+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(2+u)(2+v)(2+w) &#92;ge 8+4(u+v+w) &#92;quad &#92;forall u,v, w &#92;ge 0,' title='(2+u)(2+v)(2+w) &#92;ge 8+4(u+v+w) &#92;quad &#92;forall u,v, w &#92;ge 0,' class='latex' /></p>
<p>we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7D+3%5Cleft%5B+2%2B%5Cfrac%7B%28x-y%29%5E2%7D%7Bxy%7D%5Cright%5D%5Cleft%5B2%2B%5Cfrac%7B%28y-z%29%5E2%7D%7Byz%7D%5Cright%5D%5Cleft%5B2%2B%5Cfrac%7B%28z-x%29%5E2%7D%7Bzx%7D%5Cright%5D+%26%5Cge+24%2B12%5Csum+%5Cfrac%7B%28x-y%29%5E2%7D%7Bxy%7D%5C%5C+%26+%5Cge+24%2B4%5Csum+%5Cfrac%7B%28x-y%29%5E2%7D%7Bxy%7D%2C+%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned} 3&#92;left[ 2+&#92;frac{(x-y)^2}{xy}&#92;right]&#92;left[2+&#92;frac{(y-z)^2}{yz}&#92;right]&#92;left[2+&#92;frac{(z-x)^2}{zx}&#92;right] &amp;&#92;ge 24+12&#92;sum &#92;frac{(x-y)^2}{xy}&#92;&#92; &amp; &#92;ge 24+4&#92;sum &#92;frac{(x-y)^2}{xy}, &#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned} 3&#92;left[ 2+&#92;frac{(x-y)^2}{xy}&#92;right]&#92;left[2+&#92;frac{(y-z)^2}{yz}&#92;right]&#92;left[2+&#92;frac{(z-x)^2}{zx}&#92;right] &amp;&#92;ge 24+12&#92;sum &#92;frac{(x-y)^2}{xy}&#92;&#92; &amp; &#92;ge 24+4&#92;sum &#92;frac{(x-y)^2}{xy}, &#92;end{aligned}' class='latex' /></p>
<p>which completes the proof.</p>
<p><strong><em> </em></strong></p>
<p><strong><em>Third proof. </em></strong>Since <img src='http://s0.wp.com/latex.php?latex=a%2C+b%2C+c%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a, b, c&gt;0' title='a, b, c&gt;0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=abc%3D1%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='abc=1,' title='abc=1,' class='latex' /> there exist some positive real numbers <img src='http://s0.wp.com/latex.php?latex=x%2C+y%2C+z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x, y, z' title='x, y, z' class='latex' /> such that <img src='http://s0.wp.com/latex.php?latex=a%3D%5Cdfrac%7By%7D%7Bx%7D%2C+b%3D%5Cdfrac%7Bx%7D%7Bz%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=&#92;dfrac{y}{x}, b=&#92;dfrac{x}{z}' title='a=&#92;dfrac{y}{x}, b=&#92;dfrac{x}{z}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=c%3D%5Cdfrac%7Bz%7D%7By%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=&#92;dfrac{z}{y}.' title='c=&#92;dfrac{z}{y}.' class='latex' /> After making this substitution, the inequality becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bx%5E2yz%7D%7B%28x%2By%29%5E2%28xy%2Bz%5E2%29%7D%2B%5Cfrac%7By%5E2zx%7D%7B%28y%2Bz%29%5E2%28yz%2Bx%5E2%29%7D%2B%5Cfrac%7Bz%5E2xy%7D%7B%28z%2Bx%29%5E2%28zx%2By%5E2%29%7D+%5Cle+%5Cfrac%7B3%7D%7B8%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{x^2yz}{(x+y)^2(xy+z^2)}+&#92;frac{y^2zx}{(y+z)^2(yz+x^2)}+&#92;frac{z^2xy}{(z+x)^2(zx+y^2)} &#92;le &#92;frac{3}{8}.' title='&#92;displaystyle &#92;frac{x^2yz}{(x+y)^2(xy+z^2)}+&#92;frac{y^2zx}{(y+z)^2(yz+x^2)}+&#92;frac{z^2xy}{(z+x)^2(zx+y^2)} &#92;le &#92;frac{3}{8}.' class='latex' /></p>
<p>By the AM-GM Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=xy%2Bz%5E2+%5Cge+2z%5Csqrt%7Bxy%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='xy+z^2 &#92;ge 2z&#92;sqrt{xy},' title='xy+z^2 &#92;ge 2z&#92;sqrt{xy},' class='latex' /></p>
<p>and</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%28x%2By%29%5E2+%5Cge+2%5Csqrt%7B2xy%28x%5E2%2By%5E2%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(x+y)^2 &#92;ge 2&#92;sqrt{2xy(x^2+y^2)}.' title='(x+y)^2 &#92;ge 2&#92;sqrt{2xy(x^2+y^2)}.' class='latex' /></p>
<p>Therefore,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bx%5E2yz%7D%7B%28x%2By%29%5E2%28xy%2Bz%5E2%29%7D+%5Cle+%5Cfrac%7Bx%7D%7B4%5Csqrt%7B2%28x%5E2%2By%5E2%29%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{x^2yz}{(x+y)^2(xy+z^2)} &#92;le &#92;frac{x}{4&#92;sqrt{2(x^2+y^2)}}.' title='&#92;displaystyle &#92;frac{x^2yz}{(x+y)^2(xy+z^2)} &#92;le &#92;frac{x}{4&#92;sqrt{2(x^2+y^2)}}.' class='latex' /></p>
<p>It suffices to show that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bx%7D%7B%5Csqrt%7Bx%5E2%2By%5E2%7D%7D%2B%5Cfrac%7By%7D%7B%5Csqrt%7By%5E2%2Bz%5E2%7D%7D%2B%5Cfrac%7Bz%7D%7B%5Csqrt%7Bz%5E2%2Bx%5E2%7D%7D+%5Cle+%5Cfrac%7B3%7D%7B%5Csqrt%7B2%7D%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{x}{&#92;sqrt{x^2+y^2}}+&#92;frac{y}{&#92;sqrt{y^2+z^2}}+&#92;frac{z}{&#92;sqrt{z^2+x^2}} &#92;le &#92;frac{3}{&#92;sqrt{2}},' title='&#92;displaystyle &#92;frac{x}{&#92;sqrt{x^2+y^2}}+&#92;frac{y}{&#92;sqrt{y^2+z^2}}+&#92;frac{z}{&#92;sqrt{z^2+x^2}} &#92;le &#92;frac{3}{&#92;sqrt{2}},' class='latex' /></p>
<p>which is just a known result.</p>
<p><strong> </strong></p>
<p><strong>Remark. </strong>The proofs of this problem gives us various proofs of the previous problem, because we have <img src='http://s0.wp.com/latex.php?latex=4x%5Ex+%5Cge+%28x%2B1%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='4x^x &#92;ge (x+1)^2' title='4x^x &#92;ge (x+1)^2' class='latex' /> for any <img src='http://s0.wp.com/latex.php?latex=x%3E0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x&gt;0.' title='x&gt;0.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1037/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1037/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1037/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1037/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1037/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1037/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1037/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1037/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1037&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/12/03/inequality-86-t-q-anh/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 85 [J. Chen]</title>
		<link>http://canhang2007.wordpress.com/2009/11/27/inequality-85-j-chen/</link>
		<comments>http://canhang2007.wordpress.com/2009/11/27/inequality-85-j-chen/#comments</comments>
		<pubDate>Fri, 27 Nov 2009 22:09:55 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1021</guid>
		<description><![CDATA[Let be positive real numbers such that Prove that &#160; Proof. Without loss of generality, assume that From we get Thus, by Bernoulli&#8217;s Inequality, we have On the other hand, it is known that for any positive real number According these two inequalities, we see that it suffices to show that Since and we get [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1021&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>Let <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b,c' title='a,b,c' class='latex' /> be positive real numbers such that <img src='http://s0.wp.com/latex.php?latex=abc%3D1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='abc=1.' title='abc=1.' class='latex' /> Prove that</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Ba%5E%7Ba%7D%28b%2Bc%29%7D%2B%5Cfrac%7B1%7D%7Bb%5E%7Bb%7D%28c%2Ba%29%7D%2B%5Cfrac%7B1%7D%7Bc%5E%7Bc%7D%28a%2Bb%29%7D%5Cleq+%5Cfrac%7B3%7D%7B2%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{a^{a}(b+c)}+&#92;frac{1}{b^{b}(c+a)}+&#92;frac{1}{c^{c}(a+b)}&#92;leq &#92;frac{3}{2}.' title='&#92;displaystyle &#92;frac{1}{a^{a}(b+c)}+&#92;frac{1}{b^{b}(c+a)}+&#92;frac{1}{c^{c}(a+b)}&#92;leq &#92;frac{3}{2}.' class='latex' /></p>
<p>&nbsp;</p>
<p><strong><em>Proof.</em></strong> Without loss of generality, assume that <img src='http://s0.wp.com/latex.php?latex=c%3D%5Cmin+%5C%7Ba%2Cb%2Cc%5C%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=&#92;min &#92;{a,b,c&#92;}.' title='c=&#92;min &#92;{a,b,c&#92;}.' class='latex' /> From <img src='http://s0.wp.com/latex.php?latex=abc%3D1%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='abc=1,' title='abc=1,' class='latex' /> we get <img src='http://s0.wp.com/latex.php?latex=c%5Cleq+1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c&#92;leq 1.' title='c&#92;leq 1.' class='latex' /> Thus, by Bernoulli&#8217;s Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Bc%5E%7Bc%7D%7D%3D%5Cleft%28+1%2B%5Cfrac%7B1%7D%7Bc%7D-1%5Cright%29+%5E%7Bc%7D%5Cleq+1%2Bc%5Cleft%28+%5Cfrac%7B1%7D%7Bc%7D-1%5Cright%29+%3D2-c.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{c^{c}}=&#92;left( 1+&#92;frac{1}{c}-1&#92;right) ^{c}&#92;leq 1+c&#92;left( &#92;frac{1}{c}-1&#92;right) =2-c.' title='&#92;displaystyle &#92;frac{1}{c^{c}}=&#92;left( 1+&#92;frac{1}{c}-1&#92;right) ^{c}&#92;leq 1+c&#92;left( &#92;frac{1}{c}-1&#92;right) =2-c.' class='latex' /></p>
<p>On the other hand, it is known that <img src='http://s0.wp.com/latex.php?latex=x%5E%7Bx%7D%5Cgeq+x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x^{x}&#92;geq x' title='x^{x}&#92;geq x' class='latex' /> for any positive real number <img src='http://s0.wp.com/latex.php?latex=x.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x.' title='x.' class='latex' /> According these two inequalities, we see that it suffices to show that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Ba%28b%2Bc%29%7D%2B%5Cfrac%7B1%7D%7Bb%28a%2Bc%29%7D%2B%5Cfrac%7B2-c%7D%7Ba%2Bb%7D%5Cleq+%5Cfrac%7B3%7D%7B2%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{a(b+c)}+&#92;frac{1}{b(a+c)}+&#92;frac{2-c}{a+b}&#92;leq &#92;frac{3}{2}.' title='&#92;displaystyle &#92;frac{1}{a(b+c)}+&#92;frac{1}{b(a+c)}+&#92;frac{2-c}{a+b}&#92;leq &#92;frac{3}{2}.' class='latex' /></p>
<p>Since</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Ba%28b%2Bc%29%7D%2B%5Cfrac%7B1%7D%7Bb%28a%2Bc%29%7D%3D%5Cfrac%7Bbc%7D%7Bb%2Bc%7D%2B%5Cfrac%7Bac%7D%7Ba%2Bc%7D%3D2c-c%5E%7B2%7D%5Cleft%28+%5Cfrac%7B1%7D%7Ba%2Bc%7D%2B%5Cfrac%7B1%7D%7Bb%2Bc%7D%5Cright%29+&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{a(b+c)}+&#92;frac{1}{b(a+c)}=&#92;frac{bc}{b+c}+&#92;frac{ac}{a+c}=2c-c^{2}&#92;left( &#92;frac{1}{a+c}+&#92;frac{1}{b+c}&#92;right) ' title='&#92;displaystyle &#92;frac{1}{a(b+c)}+&#92;frac{1}{b(a+c)}=&#92;frac{bc}{b+c}+&#92;frac{ac}{a+c}=2c-c^{2}&#92;left( &#92;frac{1}{a+c}+&#92;frac{1}{b+c}&#92;right) ' class='latex' /></p>
<p>and</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Ba%2Bc%7D%2B%5Cfrac%7B1%7D%7Bb%2Bc%7D-%5Cfrac%7B2%7D%7B%5Csqrt%7Bab%7D%2Bc%7D%3D%5Cfrac%7B%5Cleft%28+%5Csqrt%7Ba%7D-%5Csqrt%7Bb%7D%5Cright%29+%5E%7B2%7D%5Cleft%28+%5Csqrt%7Bab%7D-c%5Cright%29+%7D%7B%28a%2Bc%29%28b%2Bc%29%5Cleft%28+%5Csqrt%7Bab%7D%2Bc%5Cright%29+%7D%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{a+c}+&#92;frac{1}{b+c}-&#92;frac{2}{&#92;sqrt{ab}+c}=&#92;frac{&#92;left( &#92;sqrt{a}-&#92;sqrt{b}&#92;right) ^{2}&#92;left( &#92;sqrt{ab}-c&#92;right) }{(a+c)(b+c)&#92;left( &#92;sqrt{ab}+c&#92;right) }&#92;geq 0,' title='&#92;displaystyle &#92;frac{1}{a+c}+&#92;frac{1}{b+c}-&#92;frac{2}{&#92;sqrt{ab}+c}=&#92;frac{&#92;left( &#92;sqrt{a}-&#92;sqrt{b}&#92;right) ^{2}&#92;left( &#92;sqrt{ab}-c&#92;right) }{(a+c)(b+c)&#92;left( &#92;sqrt{ab}+c&#92;right) }&#92;geq 0,' class='latex' /></p>
<p>we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B1%7D%7Ba%28b%2Bc%29%7D%2B%5Cfrac%7B1%7D%7Bb%28a%2Bc%29%7D%5Cleq+2c-%5Cfrac%7B2c%5E%7B2%7D%7D%7B%5Csqrt%7Bab%7D%2Bc%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{1}{a(b+c)}+&#92;frac{1}{b(a+c)}&#92;leq 2c-&#92;frac{2c^{2}}{&#92;sqrt{ab}+c}.' title='&#92;displaystyle &#92;frac{1}{a(b+c)}+&#92;frac{1}{b(a+c)}&#92;leq 2c-&#92;frac{2c^{2}}{&#92;sqrt{ab}+c}.' class='latex' /></p>
<p>Besides, it is clear from the AM-GM Inequality that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B2-c%7D%7Ba%2Bb%7D%5Cleq+%5Cfrac%7B2-c%7D%7B2%5Csqrt%7Bab%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{2-c}{a+b}&#92;leq &#92;frac{2-c}{2&#92;sqrt{ab}}.' title='&#92;displaystyle &#92;frac{2-c}{a+b}&#92;leq &#92;frac{2-c}{2&#92;sqrt{ab}}.' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+2c-%5Cfrac%7B2c%5E%7B2%7D%7D%7B%5Csqrt%7Bab%7D%2Bc%7D%2B%5Cfrac%7B2-c%7D%7B2%5Csqrt%7Bab%7D%7D%5Cleq+%5Cfrac%7B3%7D%7B2%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle 2c-&#92;frac{2c^{2}}{&#92;sqrt{ab}+c}+&#92;frac{2-c}{2&#92;sqrt{ab}}&#92;leq &#92;frac{3}{2}.' title='&#92;displaystyle 2c-&#92;frac{2c^{2}}{&#92;sqrt{ab}+c}+&#92;frac{2-c}{2&#92;sqrt{ab}}&#92;leq &#92;frac{3}{2}.' class='latex' /></p>
<p>Setting <img src='http://s0.wp.com/latex.php?latex=t%3D%5Csqrt%7Bab%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t=&#92;sqrt{ab},' title='t=&#92;sqrt{ab},' class='latex' /> we get <img src='http://s0.wp.com/latex.php?latex=c%3D%5Cdfrac%7B1%7D%7Bt%5E%7B2%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=&#92;dfrac{1}{t^{2}}' title='c=&#92;dfrac{1}{t^{2}}' class='latex' /> and the inequality becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B2%7D%7Bt%5E%7B2%7D%7D-%5Cfrac%7B%5Cdfrac%7B2%7D%7Bt%5E%7B4%7D%7D%7D%7Bt%2B%5Cdfrac%7B1%7D%7Bt%5E%7B2%7D%7D%7D%2B%5Cfrac%7B2-%5Cdfrac%7B1%7D%7Bt%5E%7B2%7D%7D%7D%7B2t%7D%5Cleq+%5Cfrac%7B3%7D%7B2%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{2}{t^{2}}-&#92;frac{&#92;dfrac{2}{t^{4}}}{t+&#92;dfrac{1}{t^{2}}}+&#92;frac{2-&#92;dfrac{1}{t^{2}}}{2t}&#92;leq &#92;frac{3}{2},' title='&#92;displaystyle &#92;frac{2}{t^{2}}-&#92;frac{&#92;dfrac{2}{t^{4}}}{t+&#92;dfrac{1}{t^{2}}}+&#92;frac{2-&#92;dfrac{1}{t^{2}}}{2t}&#92;leq &#92;frac{3}{2},' class='latex' /></p>
<p>which is equivalent to the obvious inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B%283t%5E%7B4%7D%2B4t%5E%7B3%7D%2Bt%5E%7B2%7D%2B2t%2B1%29%28t-1%29%5E%7B2%7D%7D%7B2t%5E%7B3%7D%28t%5E%7B3%7D%2B1%29%7D%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;frac{(3t^{4}+4t^{3}+t^{2}+2t+1)(t-1)^{2}}{2t^{3}(t^{3}+1)}&#92;geq 0.' title='&#92;displaystyle &#92;frac{(3t^{4}+4t^{3}+t^{2}+2t+1)(t-1)^{2}}{2t^{3}(t^{3}+1)}&#92;geq 0.' class='latex' /></p>
<p>The proof is completed. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc%3D1.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c=1.' title='a=b=c=1.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1021/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1021/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1021/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1021/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1021/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1021/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1021/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1021/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1021&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/11/27/inequality-85-j-chen/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 84 [D. D. Lam]</title>
		<link>http://canhang2007.wordpress.com/2009/11/26/inequality-84-d-d-lam/</link>
		<comments>http://canhang2007.wordpress.com/2009/11/26/inequality-84-d-d-lam/#comments</comments>
		<pubDate>Thu, 26 Nov 2009 19:20:10 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1015</guid>
		<description><![CDATA[Let be nonnegative real numbers, no two of which are zero. Prove that &#160; Proof. Without loss of generality, assume that There are two cases to consider: and &#160; Case 1. Write the inequality as or By the Cauchy-Schwarz Inequality, we have so it is enough to prove that This inequality reduces to or equivalently, [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1015&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>Let <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b,c' title='a,b,c' class='latex' /> be nonnegative real numbers, no two of which are zero. Prove that</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Csum+%5Cfrac%7B1%7D%7Ba%5E%7B2%7D%2Bbc%7D%5Cgeq+%5Csum+%5Cfrac%7B1%7D%7Ba%5E%7B2%7D%2B2bc%7D%2B%5Cfrac%7Bab%2Bbc%2Bca%7D%7B2%28a%5E%7B2%7Db%5E%7B2%7D%2Bb%5E%7B2%7Dc%5E%7B2%7D%2Bc%5E%7B2%7Da%5E%7B2%7D%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;sum &#92;frac{1}{a^{2}+bc}&#92;geq &#92;sum &#92;frac{1}{a^{2}+2bc}+&#92;frac{ab+bc+ca}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}.' title='&#92;displaystyle&#92;sum &#92;frac{1}{a^{2}+bc}&#92;geq &#92;sum &#92;frac{1}{a^{2}+2bc}+&#92;frac{ab+bc+ca}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}.' class='latex' /></p>
<p>&nbsp;</p>
<p><em><strong>Proof. </strong></em>Without loss of generality, assume that <img src='http://s0.wp.com/latex.php?latex=a%5Cgeq+b%5Cgeq+c.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&#92;geq b&#92;geq c.' title='a&#92;geq b&#92;geq c.' class='latex' /> There are two cases to consider: <img src='http://s0.wp.com/latex.php?latex=b%2Bc%5Cgeq+a&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b+c&#92;geq a' title='b+c&#92;geq a' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=a%3Eb%2Bc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&gt;b+c.' title='a&gt;b+c.' class='latex' /></p>
<p>&nbsp;</p>
<p><em>Case 1.</em> <img src='http://s0.wp.com/latex.php?latex=b%2Bc%5Cgeq+a.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b+c&#92;geq a.' title='b+c&#92;geq a.' class='latex' /> Write the inequality as</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Csum+%5Cleft%28+%5Cfrac%7B1%7D%7Ba%5E%7B2%7D%2Bbc%7D-%5Cfrac%7B1%7D%7Ba%5E%7B2%7D%2B2bc%7D%5Cright%29+%5Cgeq+%5Cfrac%7Bab%2Bbc%2Bca%7D%7B2%28a%5E%7B2%7Db%5E%7B2%7D%2Bb%5E%7B2%7Dc%5E%7B2%7D%2Bc%5E%7B2%7Da%5E%7B2%7D%29%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;sum &#92;left( &#92;frac{1}{a^{2}+bc}-&#92;frac{1}{a^{2}+2bc}&#92;right) &#92;geq &#92;frac{ab+bc+ca}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})},' title='&#92;displaystyle&#92;sum &#92;left( &#92;frac{1}{a^{2}+bc}-&#92;frac{1}{a^{2}+2bc}&#92;right) &#92;geq &#92;frac{ab+bc+ca}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})},' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Csum+%5Cfrac%7Bbc%7D%7B%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D%5Cgeq+%5Cfrac%7Bab%2Bbc%2Bca%7D%7B2%28a%5E%7B2%7Db%5E%7B2%7D%2Bb%5E%7B2%7Dc%5E%7B2%7D%2Bc%5E%7B2%7Da%5E%7B2%7D%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;sum &#92;frac{bc}{(a^{2}+bc)(a^{2}+2bc)}&#92;geq &#92;frac{ab+bc+ca}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}.' title='&#92;displaystyle&#92;sum &#92;frac{bc}{(a^{2}+bc)(a^{2}+2bc)}&#92;geq &#92;frac{ab+bc+ca}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}.' class='latex' /></p>
<p>By the Cauchy-Schwarz Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Csum+%5Cfrac%7Bbc%7D%7B%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D%5Cgeq+%5Cfrac%7B%5Cdisplaystyle+%5Cleft%28+%5Csum+bc%5Cright%29+%5E%7B2%7D%7D%7B%5Cdisplaystyle%5Csum+bc%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;sum &#92;frac{bc}{(a^{2}+bc)(a^{2}+2bc)}&#92;geq &#92;frac{&#92;displaystyle &#92;left( &#92;sum bc&#92;right) ^{2}}{&#92;displaystyle&#92;sum bc(a^{2}+bc)(a^{2}+2bc)},' title='&#92;displaystyle&#92;sum &#92;frac{bc}{(a^{2}+bc)(a^{2}+2bc)}&#92;geq &#92;frac{&#92;displaystyle &#92;left( &#92;sum bc&#92;right) ^{2}}{&#92;displaystyle&#92;sum bc(a^{2}+bc)(a^{2}+2bc)},' class='latex' /></p>
<p>so it is enough to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle2%5Cleft%28+%5Csum+bc%5Cright%29+%5Cleft%28+%5Csum+b%5E%7B2%7Dc%5E%7B2%7D%5Cright%29+%5Cgeq+%5Csum+bc%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle2&#92;left( &#92;sum bc&#92;right) &#92;left( &#92;sum b^{2}c^{2}&#92;right) &#92;geq &#92;sum bc(a^{2}+bc)(a^{2}+2bc).' title='&#92;displaystyle2&#92;left( &#92;sum bc&#92;right) &#92;left( &#92;sum b^{2}c^{2}&#92;right) &#92;geq &#92;sum bc(a^{2}+bc)(a^{2}+2bc).' class='latex' /></p>
<p>This inequality reduces to</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+abc%5Cleft%5B+2%5Csum+ab%28a%2Bb%29-%5Csum+a%5E%7B3%7D-9abc%5Cright%5D+%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle abc&#92;left[ 2&#92;sum ab(a+b)-&#92;sum a^{3}-9abc&#92;right] &#92;geq 0,' title='&#92;displaystyle abc&#92;left[ 2&#92;sum ab(a+b)-&#92;sum a^{3}-9abc&#92;right] &#92;geq 0,' class='latex' /></p>
<p>or equivalently,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle2%5Csum+ab%28a%2Bb%29%5Cgeq+%5Csum+a%5E%7B3%7D%2B9abc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle2&#92;sum ab(a+b)&#92;geq &#92;sum a^{3}+9abc.' title='&#92;displaystyle2&#92;sum ab(a+b)&#92;geq &#92;sum a^{3}+9abc.' class='latex' /></p>
<p>Setting <img src='http://s0.wp.com/latex.php?latex=x%3Db%2Bc-a%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x=b+c-a&#92;geq 0,' title='x=b+c-a&#92;geq 0,' class='latex' /> <img src='http://s0.wp.com/latex.php?latex=y%3Dc%2Ba-b%5Cgeq+0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='y=c+a-b&#92;geq 0' title='y=c+a-b&#92;geq 0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=z%3Da%2Bb-c%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='z=a+b-c&#92;geq 0,' title='z=a+b-c&#92;geq 0,' class='latex' /> we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+a%3D%5Cfrac%7By%2Bz%7D%7B2%7D%2C%5Cquad+b%3D%5Cfrac%7Bz%2Bx%7D%7B2%7D%2C%5Cquad+c%3D%5Cfrac%7Bx%2By%7D%7B2%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle a=&#92;frac{y+z}{2},&#92;quad b=&#92;frac{z+x}{2},&#92;quad c=&#92;frac{x+y}{2}.' title='&#92;displaystyle a=&#92;frac{y+z}{2},&#92;quad b=&#92;frac{z+x}{2},&#92;quad c=&#92;frac{x+y}{2}.' class='latex' /></p>
<p>Substituting into the above inequality, it becomes</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=x%5E%7B3%7D%2By%5E%7B3%7D%2Bz%5E%7B3%7D%2B3xyz%5Cgeq+xy%28x%2By%29%2Byz%28y%2Bz%29%2Bzx%28z%2Bx%29%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x^{3}+y^{3}+z^{3}+3xyz&#92;geq xy(x+y)+yz(y+z)+zx(z+x),' title='x^{3}+y^{3}+z^{3}+3xyz&#92;geq xy(x+y)+yz(y+z)+zx(z+x),' class='latex' /></p>
<p>which is the third degree Schur&#8217;s Inequality.</p>
<p>&nbsp;</p>
<p><em>Case 2. </em><img src='http://s0.wp.com/latex.php?latex=a%3Eb%2Bc%5Cgeq+2c.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&gt;b+c&#92;geq 2c.' title='a&gt;b+c&#92;geq 2c.' class='latex' /> In this case, we write the inequality as</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Csum+%5Cleft%5B+%5Cfrac%7B1%7D%7Ba%5E%7B2%7D%2Bbc%7D-%5Cfrac%7B1%7D%7Ba%5E%7B2%7D%2B2bc%7D-%5Cfrac%7Bbc%7D%7B2%28a%5E%7B2%7Db%5E%7B2%7D%2Bb%5E%7B2%7Dc%5E%7B2%7D%2Bc%5E%7B2%7Da%5E%7B2%7D%29%7D%5Cright%5D+%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;sum &#92;left[ &#92;frac{1}{a^{2}+bc}-&#92;frac{1}{a^{2}+2bc}-&#92;frac{bc}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}&#92;right] &#92;geq 0,' title='&#92;displaystyle&#92;sum &#92;left[ &#92;frac{1}{a^{2}+bc}-&#92;frac{1}{a^{2}+2bc}-&#92;frac{bc}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}&#92;right] &#92;geq 0,' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cfrac%7Babc%7D%7B2%28a%5E%7B2%7Db%5E%7B2%7D%2Bb%5E%7B2%7Dc%5E%7B2%7D%2Bc%5E%7B2%7Da%5E%7B2%7D%29%7D%5Csum+%5Cfrac%7Ba%282b%5E%7B2%7D%2B2c%5E%7B2%7D-3bc-a%5E%7B2%7D%29%7D%7B%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;frac{abc}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}&#92;sum &#92;frac{a(2b^{2}+2c^{2}-3bc-a^{2})}{(a^{2}+bc)(a^{2}+2bc)}&#92;geq 0.' title='&#92;displaystyle&#92;frac{abc}{2(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})}&#92;sum &#92;frac{a(2b^{2}+2c^{2}-3bc-a^{2})}{(a^{2}+bc)(a^{2}+2bc)}&#92;geq 0.' class='latex' /></p>
<p>Since</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cfrac%7Bc%282a%5E%7B2%7D%2B2b%5E%7B2%7D-3ab-c%5E%7B2%7D%29%7D%7B%28c%5E%7B2%7D%2Bab%29%28c%5E%7B2%7D%2B2ab%29%7D%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;frac{c(2a^{2}+2b^{2}-3ab-c^{2})}{(c^{2}+ab)(c^{2}+2ab)}&#92;geq 0,' title='&#92;displaystyle&#92;frac{c(2a^{2}+2b^{2}-3ab-c^{2})}{(c^{2}+ab)(c^{2}+2ab)}&#92;geq 0,' class='latex' /></p>
<p>it suffices to show that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cfrac%7Ba%282b%5E%7B2%7D%2B2c%5E%7B2%7D-3bc-a%5E%7B2%7D%29%7D%7B%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D%2B%5Cfrac%7Bb%282c%5E%7B2%7D%2B2a%5E%7B2%7D-3ca-b%5E%7B2%7D%29%7D%7B%28b%5E%7B2%7D%2Bca%29%28b%5E%7B2%7D%2B2ca%29%7D%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;frac{a(2b^{2}+2c^{2}-3bc-a^{2})}{(a^{2}+bc)(a^{2}+2bc)}+&#92;frac{b(2c^{2}+2a^{2}-3ca-b^{2})}{(b^{2}+ca)(b^{2}+2ca)}&#92;geq 0.' title='&#92;displaystyle&#92;frac{a(2b^{2}+2c^{2}-3bc-a^{2})}{(a^{2}+bc)(a^{2}+2bc)}+&#92;frac{b(2c^{2}+2a^{2}-3ca-b^{2})}{(b^{2}+ca)(b^{2}+2ca)}&#92;geq 0.' class='latex' /></p>
<p>We have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cbegin%7Baligned%7D%5Cdisplaystyle%5Cfrac%7Bb%7D%7B%28b%5E%7B2%7D%2Bca%29%28b%5E%7B2%7D%2B2ca%29%7D%26-%5Cfrac%7Ba%7D%7B%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D%3D%5C%5C+%26%5Cdisplaystyle+%3D%5Cfrac%7B%28a%5E%7B3%7D-b%5E%7B3%7D%29%28ab-2c%5E%7B2%7D%29%7D%7B%28a%5E%7B2%7D%2Bbc%29%28b%5E%7B2%7D%2Bca%29%28a%5E%7B2%7D%2B2bc%29%28b%5E%7B2%7D%2B2ca%29%7D%5Cgeq+0+%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;begin{aligned}&#92;displaystyle&#92;frac{b}{(b^{2}+ca)(b^{2}+2ca)}&amp;-&#92;frac{a}{(a^{2}+bc)(a^{2}+2bc)}=&#92;&#92; &amp;&#92;displaystyle =&#92;frac{(a^{3}-b^{3})(ab-2c^{2})}{(a^{2}+bc)(b^{2}+ca)(a^{2}+2bc)(b^{2}+2ca)}&#92;geq 0 &#92;end{aligned}' title='&#92;begin{aligned}&#92;displaystyle&#92;frac{b}{(b^{2}+ca)(b^{2}+2ca)}&amp;-&#92;frac{a}{(a^{2}+bc)(a^{2}+2bc)}=&#92;&#92; &amp;&#92;displaystyle =&#92;frac{(a^{3}-b^{3})(ab-2c^{2})}{(a^{2}+bc)(b^{2}+ca)(a^{2}+2bc)(b^{2}+2ca)}&#92;geq 0 &#92;end{aligned}' class='latex' /></p>
<p>and</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=2c%5E%7B2%7D%2B2a%5E%7B2%7D-3ca-b%5E%7B2%7D%3D%28a%5E%7B2%7D-b%5E%7B2%7D%29%2B%28a-c%29%28a-2c%29%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2c^{2}+2a^{2}-3ca-b^{2}=(a^{2}-b^{2})+(a-c)(a-2c)&#92;geq 0,' title='2c^{2}+2a^{2}-3ca-b^{2}=(a^{2}-b^{2})+(a-c)(a-2c)&#92;geq 0,' class='latex' /></p>
<p>hence we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cfrac%7Bb%282c%5E%7B2%7D%2B2a%5E%7B2%7D-3ca-b%5E%7B2%7D%29%7D%7B%28b%5E%7B2%7D%2Bca%29%28b%5E%7B2%7D%2B2ca%29%7D%5Cgeq++%5Cfrac%7Ba%282c%5E%7B2%7D%2B2a%5E%7B2%7D-3ca-b%5E%7B2%7D%29%7D%7B%28a%5E%7B2%7D%2Bbc%29%28a%5E%7B2%7D%2B2bc%29%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle&#92;frac{b(2c^{2}+2a^{2}-3ca-b^{2})}{(b^{2}+ca)(b^{2}+2ca)}&#92;geq  &#92;frac{a(2c^{2}+2a^{2}-3ca-b^{2})}{(a^{2}+bc)(a^{2}+2bc)}.' title='&#92;displaystyle&#92;frac{b(2c^{2}+2a^{2}-3ca-b^{2})}{(b^{2}+ca)(b^{2}+2ca)}&#92;geq  &#92;frac{a(2c^{2}+2a^{2}-3ca-b^{2})}{(a^{2}+bc)(a^{2}+2bc)}.' class='latex' /></p>
<p>Thus, it is enough to check that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%282b%5E%7B2%7D%2B2c%5E%7B2%7D-3bc-a%5E%7B2%7D%29%2B%282c%5E%7B2%7D%2B2a%5E%7B2%7D-3ca-b%5E%7B2%7D%29%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(2b^{2}+2c^{2}-3bc-a^{2})+(2c^{2}+2a^{2}-3ca-b^{2})&#92;geq 0,' title='(2b^{2}+2c^{2}-3bc-a^{2})+(2c^{2}+2a^{2}-3ca-b^{2})&#92;geq 0,' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=a%5E%7B2%7D%2Bb%5E%7B2%7D%2B4c%5E%7B2%7D-3c%28a%2Bb%29%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a^{2}+b^{2}+4c^{2}-3c(a+b)&#92;geq 0.' title='a^{2}+b^{2}+4c^{2}-3c(a+b)&#92;geq 0.' class='latex' /></p>
<p>This inequality is true because</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=a%5E%7B2%7D%2Bb%5E%7B2%7D%2B4c%5E%7B2%7D-3c%28a%2Bb%29%3D%28a%2Bb-2c%29%28a-b-c%29%2B2%28b-c%29%5E%7B2%7D%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a^{2}+b^{2}+4c^{2}-3c(a+b)=(a+b-2c)(a-b-c)+2(b-c)^{2}&#92;geq 0.' title='a^{2}+b^{2}+4c^{2}-3c(a+b)=(a+b-2c)(a-b-c)+2(b-c)^{2}&#92;geq 0.' class='latex' /></p>
<p>The proof is completed. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Db%3Dc%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=b=c,' title='a=b=c,' class='latex' /> or <img src='http://s0.wp.com/latex.php?latex=a%3D0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=0,' title='a=0,' class='latex' /> or <img src='http://s0.wp.com/latex.php?latex=b%3D0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b=0,' title='b=0,' class='latex' /> or <img src='http://s0.wp.com/latex.php?latex=c%3D0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c=0.' title='c=0.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1015/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1015/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1015/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1015/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1015/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1015/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1015/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1015/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1015&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/11/26/inequality-84-d-d-lam/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 83 [Unknown author]</title>
		<link>http://canhang2007.wordpress.com/2009/11/26/inequality-83-unknown-author/</link>
		<comments>http://canhang2007.wordpress.com/2009/11/26/inequality-83-unknown-author/#comments</comments>
		<pubDate>Thu, 26 Nov 2009 08:55:00 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1011</guid>
		<description><![CDATA[If are nonnegative real numbers, then &#160; Proof. Without loss of generality, assume that Using the fourth degree Schur&#8217;s Inequality, we have Therefore, it suffices to prove that or By the AM-GM Inequality, we have so it is enough to check that which is equivalent to the obvious inequality The proof is completed. On the [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1011&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><em>If <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+a%2Cb%2Cc%2Cd&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle a,b,c,d' title='&#92;displaystyle a,b,c,d' class='latex' /> are nonnegative real numbers, then</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csum+a%5E%7B4%7D%2B%5Csum+abc%28a%2Bb%2Bc%29%5Cgeq+2%5Csum_%7Bsym%7Da%5E%7B2%7Db%5E%7B2%7D%2B4abcd.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sum a^{4}+&#92;sum abc(a+b+c)&#92;geq 2&#92;sum_{sym}a^{2}b^{2}+4abcd.' title='&#92;displaystyle &#92;sum a^{4}+&#92;sum abc(a+b+c)&#92;geq 2&#92;sum_{sym}a^{2}b^{2}+4abcd.' class='latex' /></p>
<p>&nbsp;</p>
<p><em><strong>Proof.</strong></em> Without loss of generality, assume that <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%3D%5Cmin+%5C%7Ba%2Cb%2Cc%2Cd%5C%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d=&#92;min &#92;{a,b,c,d&#92;}.' title='&#92;displaystyle d=&#92;min &#92;{a,b,c,d&#92;}.' class='latex' /> Using the fourth degree Schur&#8217;s Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cbegin%7Baligned%7D+%5Csum_%7Ba%2Cb%2Cc%7Da%5E%7B4%7D%2Babc%28a%2Bb%2Bc%29+%26%5Cgeq+%5Csum_%7Ba%2Cb%2Cc%7Dab%28a%5E%7B2%7D%2Bb%5E%7B2%7D%29+%5C%5C+%5Cdisplaystyle+%26%3D2%5Csum_%7Ba%2Cb%2Cc%7Da%5E%7B2%7Db%5E%7B2%7D%2B%5Csum_%7Ba%2Cb%2Cc%7Dab%28a-b%29%5E%7B2%7D+%5C%5C+%5Cdisplaystyle+%26%5Cgeq+2%5Csum_%7Ba%2Cb%2Cc%7Da%5E%7B2%7Db%5E%7B2%7D%2Bd%5E%7B2%7D%5Csum_%7Ba%2Cb%2Cc%7D%28a-b%29%5E%7B2%7D.%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;begin{aligned} &#92;sum_{a,b,c}a^{4}+abc(a+b+c) &amp;&#92;geq &#92;sum_{a,b,c}ab(a^{2}+b^{2}) &#92;&#92; &#92;displaystyle &amp;=2&#92;sum_{a,b,c}a^{2}b^{2}+&#92;sum_{a,b,c}ab(a-b)^{2} &#92;&#92; &#92;displaystyle &amp;&#92;geq 2&#92;sum_{a,b,c}a^{2}b^{2}+d^{2}&#92;sum_{a,b,c}(a-b)^{2}.&#92;end{aligned}' title='&#92;displaystyle &#92;begin{aligned} &#92;sum_{a,b,c}a^{4}+abc(a+b+c) &amp;&#92;geq &#92;sum_{a,b,c}ab(a^{2}+b^{2}) &#92;&#92; &#92;displaystyle &amp;=2&#92;sum_{a,b,c}a^{2}b^{2}+&#92;sum_{a,b,c}ab(a-b)^{2} &#92;&#92; &#92;displaystyle &amp;&#92;geq 2&#92;sum_{a,b,c}a^{2}b^{2}+d^{2}&#92;sum_{a,b,c}(a-b)^{2}.&#92;end{aligned}' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%5E%7B2%7D%5Csum_%7Ba%2Cb%2Cc%7D%28a-b%29%5E%7B2%7D%2Bd%5E%7B4%7D%2Bd%5Csum_%7Ba%2Cb%2Cc%7Dab%28a%2Bb%29%2Bd%5E%7B2%7D%5Csum_%7Ba%2Cb%2Cc%7Dab%5Cgeq+2d%5E%7B2%7D%5Csum_%7Ba%2Cb%2Cc%7Da%5E%7B2%7D%2B4abcd%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d^{2}&#92;sum_{a,b,c}(a-b)^{2}+d^{4}+d&#92;sum_{a,b,c}ab(a+b)+d^{2}&#92;sum_{a,b,c}ab&#92;geq 2d^{2}&#92;sum_{a,b,c}a^{2}+4abcd,' title='&#92;displaystyle d^{2}&#92;sum_{a,b,c}(a-b)^{2}+d^{4}+d&#92;sum_{a,b,c}ab(a+b)+d^{2}&#92;sum_{a,b,c}ab&#92;geq 2d^{2}&#92;sum_{a,b,c}a^{2}+4abcd,' class='latex' /></p>
<p>or</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%5E%7B3%7D%2B%5Csum_%7Ba%2Cb%2Cc%7Dab%28a%2Bb%29%5Cgeq+d%28ab%2Bbc%2Bca%29%2B4abc.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d^{3}+&#92;sum_{a,b,c}ab(a+b)&#92;geq d(ab+bc+ca)+4abc.' title='&#92;displaystyle d^{3}+&#92;sum_{a,b,c}ab(a+b)&#92;geq d(ab+bc+ca)+4abc.' class='latex' /></p>
<p>By the AM-GM Inequality, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csum_%7Ba%2Cb%2Cc%7Dab%28a%2Bb%29%5Cgeq+6abc%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle &#92;sum_{a,b,c}ab(a+b)&#92;geq 6abc,' title='&#92;displaystyle &#92;sum_{a,b,c}ab(a+b)&#92;geq 6abc,' class='latex' /></p>
<p>so it is enough to check that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%5E%7B3%7D%2B2abc-d%28ab%2Bbc%2Bca%29%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d^{3}+2abc-d(ab+bc+ca)&#92;geq 0,' title='&#92;displaystyle d^{3}+2abc-d(ab+bc+ca)&#92;geq 0,' class='latex' /></p>
<p>which is equivalent to the obvious inequality</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%28b-d%29%28c-d%29%2Bc%28a-d%29%28b-d%29%2Bb%28a-d%29%28c-d%29%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d(b-d)(c-d)+c(a-d)(b-d)+b(a-d)(c-d)&#92;geq 0.' title='&#92;displaystyle d(b-d)(c-d)+c(a-d)(b-d)+b(a-d)(c-d)&#92;geq 0.' class='latex' /></p>
<p>The proof is completed. On the assumption <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%3D%5Cmin+%5C%7Ba%2Cb%2Cc%2Cd%5C%7D%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d=&#92;min &#92;{a,b,c,d&#92;},' title='&#92;displaystyle d=&#92;min &#92;{a,b,c,d&#92;},' class='latex' /> equality holds for <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+a%3Db%3Dc%3Dd%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle a=b=c=d,' title='&#92;displaystyle a=b=c=d,' class='latex' /> and again for <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+a%3Db%3Dc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle a=b=c' title='&#92;displaystyle a=b=c' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+d%3D0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;displaystyle d=0.' title='&#92;displaystyle d=0.' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1011/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1011/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1011/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1011/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1011/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1011/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1011/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1011/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1011&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/11/26/inequality-83-unknown-author/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
		<item>
		<title>Inequality 82 [Unknown author]</title>
		<link>http://canhang2007.wordpress.com/2009/11/26/inequality-82-unknown-author/</link>
		<comments>http://canhang2007.wordpress.com/2009/11/26/inequality-82-unknown-author/#comments</comments>
		<pubDate>Thu, 26 Nov 2009 07:47:33 +0000</pubDate>
		<dc:creator>Vo Quoc Ba Can</dc:creator>
				<category><![CDATA[Inequalities]]></category>

		<guid isPermaLink="false">http://canhang2007.wordpress.com/?p=1003</guid>
		<description><![CDATA[If are nonnegative real numbers, then   Proof. Setting We will show that in order to prove the original inequality, it suffices to prove it for Indeed, if then we can set to have and Now, using the AM-GM Inequality, we get Therefore, it suffices to prove that This inequality reduces to which is obviously [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1003&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<div>
<p style="text-align:justify;"><em>If <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc%2Cd&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b,c,d' title='a,b,c,d' class='latex' /> are nonnegative real numbers, then</em></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%28a%2Bb%2Bc%2Bd%29%5E%7B3%7D%5Cgeq+4%5Ba%28c%2Bd%29%5E%7B2%7D%2Bb%28d%2Ba%29%5E%7B2%7D%2Bc%28a%2Bb%29%5E%7B2%7D%2Bd%28b%2Bc%29%5E%7B2%7D%5D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(a+b+c+d)^{3}&#92;geq 4[a(c+d)^{2}+b(d+a)^{2}+c(a+b)^{2}+d(b+c)^{2}].' title='(a+b+c+d)^{3}&#92;geq 4[a(c+d)^{2}+b(d+a)^{2}+c(a+b)^{2}+d(b+c)^{2}].' class='latex' /></p>
<p><strong><em> </em></strong></p>
<p><strong><em>Proof.</em></strong> Setting</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=P%28a%2Cb%2Cc%2Cd%29%3Da%28c%2Bd%29%5E%7B2%7D%2Bb%28d%2Ba%29%5E%7B2%7D%2Bc%28a%2Bb%29%5E%7B2%7D%2Bd%28b%2Bc%29%5E%7B2%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P(a,b,c,d)=a(c+d)^{2}+b(d+a)^{2}+c(a+b)^{2}+d(b+c)^{2}.' title='P(a,b,c,d)=a(c+d)^{2}+b(d+a)^{2}+c(a+b)^{2}+d(b+c)^{2}.' class='latex' /></p>
<p>We will show that in order to prove the original inequality, it suffices to prove it for <img src='http://s0.wp.com/latex.php?latex=%28a-c%29%28b-d%29%5Cgeq+0.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(a-c)(b-d)&#92;geq 0.' title='(a-c)(b-d)&#92;geq 0.' class='latex' /> Indeed, if <img src='http://s0.wp.com/latex.php?latex=%28a-c%29%28b-d%29%3C0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(a-c)(b-d)&lt;0,' title='(a-c)(b-d)&lt;0,' class='latex' /> then we can set <img src='http://s0.wp.com/latex.php?latex=a_%7B1%7D%3Db%2Cb_%7B1%7D%3Dc%2Cc_%7B1%7D%3Dd%2Cd_%7B1%7D%3Da&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{1}=b,b_{1}=c,c_{1}=d,d_{1}=a' title='a_{1}=b,b_{1}=c,c_{1}=d,d_{1}=a' class='latex' /> to have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%28a_%7B1%7D-c_%7B1%7D%29%28b_%7B1%7D-d_%7B1%7D%29%3D-%28a-c%29%28b-d%29%3E0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(a_{1}-c_{1})(b_{1}-d_{1})=-(a-c)(b-d)&gt;0,' title='(a_{1}-c_{1})(b_{1}-d_{1})=-(a-c)(b-d)&gt;0,' class='latex' /></p>
<p>and</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=P%28a_%7B1%7D%2Cb_%7B1%7D%2Cc_%7B1%7D%2Cd_%7B1%7D%29%3DP%28a%2Cb%2Cc%2Cd%29.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P(a_{1},b_{1},c_{1},d_{1})=P(a,b,c,d).' title='P(a_{1},b_{1},c_{1},d_{1})=P(a,b,c,d).' class='latex' /></p>
<p>Now, using the AM-GM Inequality, we get</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cbegin%7Baligned%7D+%28a%2Bb%2Bc%2Bd%29%5E%7B3%7D+%26%5Cgeq+4%28a%2Bd%29%28b%2Bc%29%28a%2Bb%2Bc%2Bd%29+%5C%5C+%26%3D4%28a%2Bd%29%5E%7B2%7D%28b%2Bc%29%2B4%28b%2Bc%29%5E%7B2%7D%28a%2Bd%29.%5Cend%7Baligned%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='&#92;begin{aligned} (a+b+c+d)^{3} &amp;&#92;geq 4(a+d)(b+c)(a+b+c+d) &#92;&#92; &amp;=4(a+d)^{2}(b+c)+4(b+c)^{2}(a+d).&#92;end{aligned}' title='&#92;begin{aligned} (a+b+c+d)^{3} &amp;&#92;geq 4(a+d)(b+c)(a+b+c+d) &#92;&#92; &amp;=4(a+d)^{2}(b+c)+4(b+c)^{2}(a+d).&#92;end{aligned}' class='latex' /></p>
<p>Therefore, it suffices to prove that</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=c%28a%2Bd%29%5E%7B2%7D%2Ba%28b%2Bc%29%5E%7B2%7D%5Cgeq+c%28a%2Bb%29%5E%7B2%7D%2Ba%28c%2Bd%29%5E%7B2%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c(a+d)^{2}+a(b+c)^{2}&#92;geq c(a+b)^{2}+a(c+d)^{2}.' title='c(a+d)^{2}+a(b+c)^{2}&#92;geq c(a+b)^{2}+a(c+d)^{2}.' class='latex' /></p>
<p>This inequality reduces to</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%28b%2Bd%29%28a-c%29%28b-d%29%5Cgeq+0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(b+d)(a-c)(b-d)&#92;geq 0,' title='(b+d)(a-c)(b-d)&#92;geq 0,' class='latex' /></p>
<p>which is obviously true, and the proof is completed. Equality holds if and only if <img src='http://s0.wp.com/latex.php?latex=a%3Dc&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=c' title='a=c' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=b%3Dd.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b=d.' title='b=d.' class='latex' /></p>
</div>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/canhang2007.wordpress.com/1003/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/canhang2007.wordpress.com/1003/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/canhang2007.wordpress.com/1003/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/canhang2007.wordpress.com/1003/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/canhang2007.wordpress.com/1003/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/canhang2007.wordpress.com/1003/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/canhang2007.wordpress.com/1003/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/canhang2007.wordpress.com/1003/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=canhang2007.wordpress.com&amp;blog=5399488&amp;post=1003&amp;subd=canhang2007&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://canhang2007.wordpress.com/2009/11/26/inequality-82-unknown-author/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28813f825e37ef5f93aa8765411d48f4?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">canhang2007</media:title>
		</media:content>
	</item>
	</channel>
</rss>
