458. Working page IV.
by Virgil Nicula, Aug 27, 2017, 10:47 AM















You can use the following remarkable limits

P1. Denote




Calculate



Proof. The equation







![$\blacktriangleright\ \left\{\begin{array}{ccccc}
\sum\limits_{\mathrm{cyc}}a^2(b+c) & = & \sum\limits_{\mathrm{cyc}}a^2[(a+b+c)-a] & = & s_1S_2-S_3\\\\
\sum\limits_{\mathrm{cyc}}bc(b+c) & = & \sum\limits_{\mathrm{cyc}}bc[(a+b+c)-a] & = & s_1s_2-3s_3\\\\
\sum\limits_{\mathrm{cyc}}a\left(b^2+c^2\right) & = & \sum\limits_{\mathrm{cyc}}a\left[\left(b^2+c^2+a^2\right)-a^2\right] & = & s_1S_2-S_3\end{array}\right\|\
\mathrm{\underline{{and}}}\ \left\{\begin{array}{ccccc}
\sum\limits_{\mathrm{cyc}}a^3(b+c) & = & \sum\limits_{\mathrm{cyc}}a^3[(a+b+c)-a] & = & s_1S_3-S_4\\\\
\sum\limits_{\mathrm{cyc}}a\left(b^3+c^3\right) & = & \sum\limits_{\mathrm{cyc}}a[(a^3+b^3+c^3)-a^3] & = & s_1S_3-S_4\\\\
\sum\limits_{\mathrm{cyc}}bc\left(b^2+c^2\right) & = & \sum\limits_{\mathrm{cyc}}bc\left[\left(b^2+c^2+a^2\right)-a^2\right] & = & s_2S_2-s_1s_3\end{array}\right\|\ .$](http://latex.artofproblemsolving.com/2/c/f/2cfcbe95cd152352126b9ff1c85f40c46624933b.png)
Examples.

![$\sum\limits_{\mathrm{cyc}}a^2[(ab+ac+bc)-bc]=$](http://latex.artofproblemsolving.com/3/f/b/3fb227763602b68b1b1dbd3c315f51c2f01421a9.png)

![$\sum\limits_{\mathrm{cyc}}a[(ab+ac+bc)-bc]=$](http://latex.artofproblemsolving.com/e/3/e/e3e00f39178369eb29ddd901695842da555c4602.png)


![$\sum\limits_{\mathrm{cyc}}a\left(b^4+c^4\right)=s_1S_4-S_5\
;\ \sum\limits_{\mathrm{cyc}}a^4(b+c)=\sum\limits_{\mathrm{cyc}}a^3[(ab+ac+bc)-bc]=$](http://latex.artofproblemsolving.com/a/2/5/a259e2ba40fda4f22177c3052d26633aa35979ec.png)



Problema propusa 7 (<= click).
Proof. Notam




Cartile lui Ken ROBINSON ar trebui sa fie lecturi obligatorii pentru profesori. Vedeti aici (<= click). Ce inseamna a fi creator?! Sa-l intrebam ("citim") pe Ken ROBINSON, autorul cartii "O lume iesita din minti". Un raspuns imediat se cuvine a veni de la sine: "a reproduce integralul din partial" - prima lege a creatiei. Vom ilustra prima lege a creatiei prin cateva exemple intalnite in matematica

1. Intr-o problema de geometrie: o constructie auxiliara care sa "intregeasca" o figura cunoscuta ale carei proprietati le stim si le putem folosi bine, poate reduce substantial demonstratia problemei. Uneori elevii chiar intreaba "cum v-a venit ideea, dle profesor?!".
2. Sa presupunem ca cerem cu anticipatie elevilor de clasa a VII - a (care nu au invatat inca ecuatia de gradul doi) sa gaseasca doua numere reale x & y pentru care stim suma 10 si produsul 18. Un "act creator" ar fi acela cand elevul ar "intregi" sistemul dat la unul de gradul intai cu doua necunoscute. De exemplu sa afle, daca se poate, diferenta intre x & y. Deoarece stim suma lor si cateva identitati algebrice, atunci incercam sa aflam (x-y)^2=(x+y)^2-4xy, adica (x-y)^2=100-72=28. Asadar |x-y|=2sqrt7. Putem presupune fara a restrange generalitatea ca x este cel putin egal lui y. Asadar sistemul x+y=10 & x-y=2sqrt7 este agreabil si are solutia {x,y}={5±sqrt7}.
3. In analiza matematica de clasa a XI - a: la limite de siruri/functii se foloseste foarte frecvent aceasta "lege". De exemplu vrem sa aflam limita cand x tinde la 0 pentru functia f(x)=sinxsin2x/(1-cos x). Stim ca sinx/x->1 & (1-cosx)/(x^2)->1/2. Vom "intregi" cele doua limite cunoscute in functia f astfel: f(x)=[(sinx)/x]•[(sin2x)/(2x)]•[(2x^2)/(1-cosx)] si prin trecere la limita se obtine 1•1•2•2=4.
4. In analiza matematica de clasa a XII - a: la capitolul "primitive" se foloseste "metoda integrarii prin parti" care nu este altceva decat "intregirea" derivatei unui produs: (fg)'=f'g+fg' etc. Voi continua sa ilustrez "actul de creatie" si in alte domenii de cercetare/proiectare care sa atenueze unele situatii cu dificultate ridicata.
P2 (Leo GIUGIUC). Three parallel lines are drawn through the vertices of an equilateral


intersects the remaining two at





Proof 1. Denote







![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)
![$[BC]\ .$](http://latex.artofproblemsolving.com/5/f/a/5fad78e281930919485d791e012363fda8c76507.png)















Proof 2. Suppose w.l.o.g.














P3 (Miguel Ochoa Sanchez). Let








Proof. Suppose w.l.o.g.






















Remark. Denote


![$[AS]$](http://latex.artofproblemsolving.com/8/1/f/81f842d87b22553e4b674bb2bf46a080da785009.png)




P4 (Miguel Ochoa Sanchez). Let an






![$\frac 1{[FBE]}+\frac 1{[FCE]}=\frac 2{[FDE]}\ .$](http://latex.artofproblemsolving.com/d/3/0/d30f249ebf72ed3eac4dff437d1f279db6f1441c.png)
Proof. Let the projections










Thus,






becomes



![$\left([FBE],[FCE],[FDE]\right)$](http://latex.artofproblemsolving.com/a/0/1/a01cca34845e1a882e9d34cd9b44fadef75f6791.png)

![$\frac 1{[FBE]}+\frac 1{[FCE]}=\frac 2{[FDE]}\ .$](http://latex.artofproblemsolving.com/d/3/0/d30f249ebf72ed3eac4dff437d1f279db6f1441c.png)
Remark Suppose w.l.o.g. that








P5 (Miguel Ochoa Sanchez). Let









Proof. Let

![$B+D=\phi +\left[180^{\circ}-\left(\alpha +\beta\right)\right]=$](http://latex.artofproblemsolving.com/6/c/0/6c0bcb0eac3d939489e4829439867c2b094c0a07.png)


generalized Ptolemy's theorem




the relation




P6 (Soji NAKAJIMA). Prove that


Proof 1. The relations


![$\sum a^2\le 2\left[\left(4R^2+\cancel{4Rr}+3r^2\right)-r^2-\cancel{4Rr}\right]=$](http://latex.artofproblemsolving.com/c/c/2/cc2739c1a6b19ff27cb0b565fb1cccfe9c6c8dfe.png)

Observe that





Proof 2 (trigonometric).











P7 (Miguel Ochoa Sanchez). Let a rhombus






Proof. Denote













P8 (Miguel Ochoa Sanchez). (<= click).
Proof. I"ll use only the theorem of Sines. Denote









![$\sqrt 3-\left[\sin(60^{\circ}-2x)+\sin (60^{\circ}-2y)\right]=$](http://latex.artofproblemsolving.com/b/4/3/b43f0279f8f30137f2ea2c2e4948a1462e4d2d86.png)
![$\sqrt 3-2\sin\left[60^{\circ}-(x+y)\right]\cos(x-y)\ \stackrel{x+y=60^{\circ}}{=}\ \underline{\underline{\sqrt 3}}\ .$](http://latex.artofproblemsolving.com/8/e/f/8ef279f1b26bcc843651be7406cdd01db8c0063d.png)
P9 (Old Greek Mathematical Journal). Prove that


Proof. Let







![$\sum [(1+x)(1-y)(1-z)]=\prod (1+x)\iff$](http://latex.artofproblemsolving.com/3/9/2/3927d4eef93da7e9dd448779e7b284a5b489b3fc.png)
![$\sum[1-y-\cancel z+\cancel {yz}+x(\cancel 1-\cancel y-z+yz)]=\prod (1+x)\iff$](http://latex.artofproblemsolving.com/f/5/9/f59cecf85a264fee2e101e4b96c29bc1bb4692ee.png)
![$\sum[1-y+x(-z+yz)]=\prod (1+x)\iff$](http://latex.artofproblemsolving.com/c/e/e/cee336088438bace1eb813c61dc562858cd6be0c.png)


Otherwise.














P10 (Fleetwood). Sa se determine toate numerele naturale in baza



Proof.












Numerele naturale







in jos



P11 (Old Greek Mathematical Journal). Prove that


Proof.




Let





P12. Let



Proof. Are well-known the notations









P13 (Israel DIAZ). Let





Proof. Denote the image











Remark.



P14 (Leo GIUGIUC). Let







![$[AEDF]=[BDH]$](http://latex.artofproblemsolving.com/9/2/c/92c129e50ea4ce55c20966e33f02258293549a3f.png)
Proof. Denote
![$S=[ABC]$](http://latex.artofproblemsolving.com/b/3/a/b3ae3d445111e4dd28be75922309d3270079368c.png)



![$\frac {[AEB]}{[ACB]}=\frac {FE}{FC}=\frac {c^2}{a(a+b)}=\frac {a-b}a\implies$](http://latex.artofproblemsolving.com/4/b/c/4bc568ba161850108e561b8a2be686d3f92ca4ce.png)
![$\boxed{\ [AEB]=\frac {a-b}a\cdot S\ }\ (1)\ .$](http://latex.artofproblemsolving.com/f/f/d/ffd463de4016650cf4a03edd93b09caf8289eae4.png)
![$\frac {[BFH]}{[ABC]}=\frac {BF}{BA}\cdot \frac {BH}{BC}=\frac {\cancel a}{a+b}\cdot \frac {c^2}{a\cancel{^2}}=\frac {c^2}{a(a+b)}=\frac {a-b}a\implies$](http://latex.artofproblemsolving.com/2/9/b/29bcd35003718c6284b2431b7d3df89268456317.png)
![$\boxed{\ [BFH]=\frac {a-b}a\cdot S\ }\ (2)\ .$](http://latex.artofproblemsolving.com/3/6/5/365e27022af59364c662ec27346ac8df98e7a594.png)
In conclusion, from the relations

![$[AEB]=[BFH]\iff$](http://latex.artofproblemsolving.com/c/9/f/c9f478fadcab9df36b12acb1872589d90158c9ab.png)
![$[AEB]-[BDF]=[BFH]-[BDF]\iff$](http://latex.artofproblemsolving.com/8/3/4/83473f1537f461a0db09d5e3fc50cf2e292fa92b.png)
![$[AEDF]=[BDH]\ .$](http://latex.artofproblemsolving.com/3/d/f/3df8f2c23aec085716457566dab0870d36b67993.png)
P15 (Khoa Linh, Vietnam). Let




![$[BC]\ .$](http://latex.artofproblemsolving.com/5/f/a/5fad78e281930919485d791e012363fda8c76507.png)

Proof.






![$\left[r^2+(s-a)^2\right]-\left[r^2+\frac {(b-c)^2}4\right]=$](http://latex.artofproblemsolving.com/1/2/e/12ee454a4e48899ce3c6a0fbe7cc4ece4798fcad.png)






P16 (Kadir, ALTINTAS, Turkey). Let





Prove that

Proof. Denote




Cristea's relation




















Generalization 1. Let




where




Particular cases




Proof. Prove easily that




Generalization 2. Let








Example:








P17 (Ercole SUPPA). Let


![$[BC]\ ,$](http://latex.artofproblemsolving.com/6/5/6/6563ca77d31eb676ef646fa9c37ea181b812d864.png)




Proof. Prove easily that



![$R^2-\left[\frac {a^2}4-\frac {(b-c)^2}4\right]=$](http://latex.artofproblemsolving.com/c/9/6/c96e598d1a126b9785f399d57e6ff8090397774b.png)


Therefore,


![$(bc-4Rr)-r^2=\cancel{R^2}-\left[\cancel{R^2}-(s-b)(s-c)\right]\iff$](http://latex.artofproblemsolving.com/a/4/9/a495e595bc43d47020cb10b62185c824ab81b063.png)












P18 (Kadir Altintas, Turkey). Let






Denote the midpoints

![$[AC],[AB]$](http://latex.artofproblemsolving.com/b/c/1/bc1910f00c43994a0b4711c712cab791d59d05bd.png)

Proof.
P19 (Mehmet Sahin, Turkey).
![$\boxed{\ \mathrm{Prove\ that}\ \forall\ \triangle ABC\ \mathrm{there\ is\ the\ identity}\ :\ ar_a+br_b+cr_c=2\left(\left[I_aI_bI_c\right]-\left[ABC\right]\right)\ \mathrm{(standard\ notations)}\ .}$](http://latex.artofproblemsolving.com/c/3/1/c31fe95e7d1abab58f5a346a9f121e48f89106da.png)
Proof.
![$[ABC]=sr=(s-a)r_a\implies$](http://latex.artofproblemsolving.com/e/4/4/e44600a7eb26a382818dc66d73de817f3dde1987.png)



![$\left[I_aI_bI_c\right]=\sum\left([BIC]+\left[BI_aC\right]\right)=[ABC]+\frac 12\cdot \sum ar_a\implies$](http://latex.artofproblemsolving.com/f/5/1/f511da419cc86ad690ccc423ab3bcfc77ae17017.png)
![$2\left(\left[I_aI_bI_c\right]-[ABC]\right)\ \stackrel{(*)}{=}\ \sum ar_a\ .$](http://latex.artofproblemsolving.com/7/9/f/79f8b13142f3cd7ff52df0c097f02eea047dddd3.png)
P20 (Mehmet Sahin, Turkey).

Proof.

![$\frac {a(s-b)(s-c)}{S[(s-c)+(s-b)]}=$](http://latex.artofproblemsolving.com/0/1/b/01b96566cd99976cfb0a90ea571cccc99104aa5a.png)






P21 (USAMO 2001). Let











such that








Proof. Is well-known property













==================================








This post has been edited 509 times. Last edited by Virgil Nicula, Jun 24, 2018, 9:27 AM