Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "1961 IMO Problems/Problem 2"

(→‎Solution)
(→‎Solution)
Line 17: Line 17:
  
 
{{IMO box|year=1961|num-b=1|num-a=3}}
 
{{IMO box|year=1961|num-b=1|num-a=3}}
 +
==Solution 2 By PEKKA==
 +
We firstly use the duality principle.
 +
<math>a=x+y~~b=x+z~~c=y+z</math>
 +
The LHS becomes <math>(x+y)^2+(x+z)^2+(y+z)^2</math>
 +
and the RHS becomes <math>4\sqrt{3}\sqrt{(x+y+z)xyz}</math> If we use Heron's formula.
 +
By AM-GM <math>\frac{(x+y+z)^3}{27} \ge xyz</math>
 +
Making this substitution <math>[ABC]</math> becomes
 +
<math>\sqrt{(x+y+z)^4\frac{1}{27}}</math>
 +
and once we take the square root of the area then our RHS becomes
 +
<math>\frac{4\sqrt{3}}{3\sqrt{3}}(x+y+z)^2=\frac{4}{3}(x+y+z)^2</math>
 +
Multiplying the RHS and the LHS by 3 we get the LHS to be
 +
<math>3((x+y)^2+(x+z)^2+(y+z)^2)=6(x^2+y^2+z^2+xy+yz+xz).</math>
 +
Our RHS becomes
 +
<math>4(x^2+y^2+z^2)+8(xy+yz+xz).</math>
 +
Subtracting <math>4(x^2+y^2+z^2)+6(xy+yz+xz)</math> we have the LHS equal to <math>(2(x^2+y^2+z^2))</math> and the RHS being <math>2(xy+xz+yz)</math>
 +
If LHS <math>\ge</math> RHS then LHS-RHS<math>\ge 0</math>
 +
LHS-RHS=<math>2(x^2+y^2+z^2)-2(xy+xz+yz)=x^2-2xy+y^2+x^2-2x+z^2+y^2-2yz+z^2=(x-y)^2+(x-z)^2+(y-z)^2.</math>
 +
<math>(x-y)^2+(x-z)^2+(y-z)^2 \ge 0</math> by the trivial inequality so therefore, <math>a^2 + b^2 + c^2 \ge 4S\sqrt{3}</math> and we're done.
  
 
==Video Solution==
 
==Video Solution==

Revision as of 18:03, 1 August 2022

Problem

Let $a$, $b$, and $c$ be the lengths of a triangle whose area is S. Prove that

$a^2 + b^2 + c^2 \ge 4S\sqrt{3}$

In what case does equality hold?

Solution

Substitute $S=\sqrt{s(s-a)(s-b)(s-c)}$, where $s=\frac{a+b+c}{2}$

This shows that the inequality is equivalent to $a^2b^2+b^2c^2+c^2a^2\le a^4+b^4+c^4$.

This can be proven because $a^2b^2\le\frac{a^4+b^4}{2}$. The equality holds when $a=b=c$, or when the triangle is equilateral.


1961 IMO (Problems) • Resources
Preceded by
Problem 1 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 3
All IMO Problems and Solutions

Solution 2 By PEKKA

We firstly use the duality principle. $a=x+y~~b=x+z~~c=y+z$ The LHS becomes $(x+y)^2+(x+z)^2+(y+z)^2$ and the RHS becomes $4\sqrt{3}\sqrt{(x+y+z)xyz}$ If we use Heron's formula. By AM-GM $\frac{(x+y+z)^3}{27} \ge xyz$ Making this substitution $[ABC]$ becomes $\sqrt{(x+y+z)^4\frac{1}{27}}$ and once we take the square root of the area then our RHS becomes $\frac{4\sqrt{3}}{3\sqrt{3}}(x+y+z)^2=\frac{4}{3}(x+y+z)^2$ Multiplying the RHS and the LHS by 3 we get the LHS to be $3((x+y)^2+(x+z)^2+(y+z)^2)=6(x^2+y^2+z^2+xy+yz+xz).$ Our RHS becomes $4(x^2+y^2+z^2)+8(xy+yz+xz).$ Subtracting $4(x^2+y^2+z^2)+6(xy+yz+xz)$ we have the LHS equal to $(2(x^2+y^2+z^2))$ and the RHS being $2(xy+xz+yz)$ If LHS $\ge$ RHS then LHS-RHS$\ge 0$ LHS-RHS=$2(x^2+y^2+z^2)-2(xy+xz+yz)=x^2-2xy+y^2+x^2-2x+z^2+y^2-2yz+z^2=(x-y)^2+(x-z)^2+(y-z)^2.$ $(x-y)^2+(x-z)^2+(y-z)^2 \ge 0$ by the trivial inequality so therefore, $a^2 + b^2 + c^2 \ge 4S\sqrt{3}$ and we're done.

Video Solution

https://www.youtube.com/watch?v=ZYOB-KSEF3k&list=PLa8j0YHOYQQJGzkvK2Sm00zrh0aIQnof8&index=4 - AMBRIGGS

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=1961_IMO_Problems/Problem_2&oldid=176542"