461. Problems for the relaxation in ... weekend (II).
by Virgil Nicula, Jan 26, 2018, 7:36 PM
P1. Sa se rationalizeze fractia
(clasa a VII - a).
Proof. Daca notam
si
atunci fractia
devine
adica
![$\boxed{\ F=\frac{\sqrt [3]5-\sqrt [3]2}3\ }\ .$](//latex.artofproblemsolving.com/2/a/2/2a29f7e07a605fc730d87fea4bcad46a63a55f17.png)
P2 (Adil ABDULLAYEV, Baku). Prove that in any
the following relationship holds
(standard notations).
Proof. Prove easily that
i.e.
and

i.e.
Observe that


Otherwise.

From
obtain that


Remain to prove
Indeed, from the relation
obtain that
i.e. the true relation 
Remark. Prove easily that
P3 (Θεόδωρος Σαμπάς, Greece). Prove that the following exercise (<= click).
Proof.

and
i.e.
and 
P4 (Θεόδωρος Σαμπάς, Greece). Prove that the following identity
Proof. Prove easily that
and I"ll use the well known identities
Thus, 

P5 (Nguyen Viet Hung). Prove the following inequality (<= click)
Proof.
Hence 
In conclusion, the required inequality
is equivalent with the inequality

Prove easily that
starting from the development of
The inequality becomes ![$2r^2\left[(4R+r)^2-s^2\right]\le 2Rs^2r\iff$](//latex.artofproblemsolving.com/7/5/5/755b6fd0176637590612904d0cfa469e7a2f0601.png)
Is well known
and observe that 
Hence 
In conclusion, our inequality
is true. Very nice!
P6 (G. Baron). Solve the following system from here.
Proof. Denote
Thus,

Appear two cases 

Observe that

or
i.e. 
Therefore: for
obtain
i.e.
for
obtain
i.e. 
In conclusion, the solutions of this system are
P7 (Marian URSARESCU). Let
with the incircle
The lines
and
meet again
in
and
respectively. Prove that the inequality 
Proof.

because
what is true. In conclusion,
I used the well known relations
and the power of
w.r.t.
is 
P8 (M. URSARESCU). Let the Gergonne's point
of
and
meet again
at
respectively. Prove that 
Proof. Prove easily the following identities
Apply the Stewart's relation to the cevian
where
and 

Apply the well known inequalities
and 
In conclusion, 
Remark.
![$sr[(4R+r)-3r]=sr(4R-2r)=\boxed{\ 2sr(2R-r)\ }\ .$](//latex.artofproblemsolving.com/2/a/6/2a6ce536e921305d169f828804ae3790a9cca33b.png)

Denoted
and
Hence
and 
Otherwise.

I used the notations and the identities
and 
P9 (Hung Nguyen Viet).Prove that
there is the followung inequality 
Proof. I"ll use the notations and the identities
and 
where prove easily
Therefore, the required inequality
becomes 
what is true.
P10 (Mehmet Sahin). Prove the identity
(standard notations).
Proof 1. Prove easily that
i.e.
Therefore, 
what is true.
Proof 2. I"ll apply the identities
and
Hence 

Remark. 
P11 (Miguel Ochoa Sanchez). Let
and the midpoints
of its sides
respectively. Prove that 
Proof.
is orthodiagonal

Hence 
Generalization (own). Let
and the points
so that
and
Prove that
the chain of the relations
Proof.
Therefore, 
is orthodiagonal


In the particular case
obtain that
i.e. the proposed problem P11.
P12 (Mehmet Sahin). Prove that
there is the following inequality
Proof. I"ll use the identity
Therefore,


Observe that
what is true.
P13 (Marian Ursarescu). Prove that
an acute
the following relationship holds
(standard notations).
Proof. Let the midpoint
of
the circumcenter
of
and the midpoint
of
Observe that

Thus, 


P14 (Mehmet Sahin). Prove that
Proof. Prove easily that
Hence 

P15 (Daniel Florescu). Sa se rezolve ecuatia irationala![$\boxed{\ 2\sqrt[3]{2x-1}=x^3+1\ }\ (*)\ .$](//latex.artofproblemsolving.com/c/c/7/cc74fff7f3af27592235b14bd15b11ba35d1d958.png)
Proof. Notam
Se observa ca prin diferenta celor doua relatii se obtine


P16 (Seyran Ibrahimov). Prove that
there is the inequality
(standard notations).
Proof. Prove easily that
Therefore,

Remark. I"ll prove the chain
Let
be the midpoint of
and the circumcircle
Thus,
if
is acute, then

Otherwise. 

P17 (Mehmet Sahin). Prove that
there is the inequality
(standard notations).
Proof. I"ll apply the well known inequality
and the identity
Hence

In conclusion, 
Proposed problem (test) P18.
Find the solutions (zeroes) of the following equations ![$\ :\ \left[\frac {x+2}3\right]=\frac {x-1}4\ ;\ \left[\frac {x+1}3\right]=\frac {x-1}2\ ;\ \left[\frac {4x+1}{5x+3}\right]=\frac {x}{x+8}\ .$](//latex.artofproblemsolving.com/9/1/3/9136a0123e9c48648a1d40850892c0afa32b7272.png)
Let
so that
and
Prove that 
Find
where
are the roots of the equation 
(for my friend ema_manole2010).
Proofs.
and


and


and

and
and 

and


Remark.
P19. Prove that
there is the following inequality 
Proof. Let
Thus,
![$\boxed{\ \sum a^2=2\left[s^2-r^2(4R+r)^2\right]\ }\ ;$](//latex.artofproblemsolving.com/1/1/7/11757e7e0a5c7f7104272455d1f0890ed0dc32cd.png)

Hence,
![$\cancel 4s^2\left(\cancel {s^2}-3r^2\right)\ge \cancel 4\left[\cancel {s^4}-r^2(4R+r)^2\right]\iff$](//latex.artofproblemsolving.com/2/6/1/261dd5bceff878c50188044cec4573de1b9cfc00.png)
what is true. Indeed,

Remark.
![$\frac16\sum \left[(a-c)^2+b(a+c-2b)\right]\ge 0\iff$](//latex.artofproblemsolving.com/1/e/0/1e07968709e0d5f50f4dc16ea74381cc43dff8f0.png)
which is fourth degree Schur inequality and holds for all reals.
P20 (Thanos KALOGERAKIS, Greece). Let an acute
with the circumcircle
and the midpoints
of the
arcs
respectively. Prove that the area of the convex hexagon
is equally to
where
Proof. Let
be the midpoints of
respectively. Prove easily that
a.s.o. and 
a.s.o. where
are the exradii of
Thus, ![$[APBMCN]=S+\sum [BMC]=S+\frac 12\cdot \sum (BC\cdot XM)\ \stackrel{(1)}{=}\ sr+\sum \frac {a\left(r_a-r\right)}4\ \stackrel{(*)}{=}$](//latex.artofproblemsolving.com/7/3/b/73b19c2d498b2505f602219340a50850bccb0195.png)
![$\boxed{\ [APBMCN]=sR\ }\ .$](//latex.artofproblemsolving.com/9/a/1/9a1bba20fbf8dec65825f7cf7b28cbca07bdc60f.png)
P21 (<= click). Proof. Denote
and apply the Menelaus' theorem for the transversal
to the triangles
and
respectively: 
From the relations
and
obtain
There is generally the identity 
P22 (Valentin VORNICU). Let
be an acute triangle with
. Let
be the foot of the altitude from
and
the circumcircle
of the triangle. Let
be the circle tangent to
,
and
. Let
be the circle tangent to
,
and
. Let
be the interior common
tangent to both
and
, different from
. Prove that
passes through the midpoint of
if and only if
.
Lemma 1. let
be a circle which is interior tangent in the point
to the circle
. For a point
,
denote the intersections
between the circle
and the tangent-line in the point
to the circle
. Then the ray
is the bisector of the angle
.
Lemma 2. For the incenter
and the centroid
of the triangle
we have


Indication for proof the proposed problem. The circles
are interior tangent to the circle
. Can
apply the above remarkable lemma for each of the circles
and for each of the lines
.
![$\boxed{\ F=\frac 1{\sqrt[3]4+\sqrt [3]{10}+\sqrt[3]{25}}\ }$](http://latex.artofproblemsolving.com/c/2/6/c26fe3f2df13221941ec084d95c7e4d971393aa2.png)
Proof. Daca notam
![$\sqrt[3]2=a$](http://latex.artofproblemsolving.com/e/e/0/ee027c0cafaeda75a6c476843aefd5be0282dc4c.png)
![$\sqrt [3]5=b\ ,$](http://latex.artofproblemsolving.com/7/b/4/7b4d7e346587b74adc48c2859ad915ec879ed76a.png)



![$\frac {b-a}{b^3-a^3}=\frac{\sqrt [3]5-\sqrt [3]2}{5-2}\implies$](http://latex.artofproblemsolving.com/d/6/a/d6a6b215bcae70aa641f5662b506a55d4a50fe12.png)
![$\boxed{\ F=\frac{\sqrt [3]5-\sqrt [3]2}3\ }\ .$](http://latex.artofproblemsolving.com/2/a/2/2a29f7e07a605fc730d87fea4bcad46a63a55f17.png)
P2 (Adil ABDULLAYEV, Baku). Prove that in any


Proof. Prove easily that



















Otherwise.


















Remark. Prove easily that

P3 (Θεόδωρος Σαμπάς, Greece). Prove that the following exercise (<= click).
Proof.


![$4\cos A[\cos (B-C)-\cos A]=1\iff$](http://latex.artofproblemsolving.com/b/c/e/bcea818b361410c7a961034941cd3955509e9aca.png)

![$[2\cos A-\cos (B-C)]^2+\sin^2(B-C)=0\iff$](http://latex.artofproblemsolving.com/a/5/c/a5ced1ab893e0290d435a64f927dea84271dec56.png)




P4 (Θεόδωρος Σαμπάς, Greece). Prove that the following identity

Proof. Prove easily that






P5 (Nguyen Viet Hung). Prove the following inequality (<= click)

Proof.






In conclusion, the required inequality



Prove easily that
![$\sum a^2(s - a)^2 = 2r^2\left[\left(4R + r\right)^2 - s^2\right]$](http://latex.artofproblemsolving.com/e/b/e/ebe8cb16e10d2978d1b538cc640432589c9aa758.png)
![$\left[\sum a(s-a)\right]^2 = \ldots$](http://latex.artofproblemsolving.com/6/3/6/6365dc8e28d3a4fac36ff0ee1f8c56f6436bfb7b.png)
![$2r^2\left[(4R+r)^2-s^2\right]\le 2Rs^2r\iff$](http://latex.artofproblemsolving.com/7/5/5/755b6fd0176637590612904d0cfa469e7a2f0601.png)
![$r\left[(4R+r)^2-s^2\right]\le Rs^2\iff$](http://latex.artofproblemsolving.com/9/b/e/9be35f474a516a395fbad4528b907d944384c58b.png)











P6 (G. Baron). Solve the following system from here.
Proof. Denote























Therefore: for






In conclusion, the solutions of this system are

P7 (Marian URSARESCU). Let










Proof.







![$\frac Rr\cdot\left[3-\left(1+\frac rR\right)\right]=$](http://latex.artofproblemsolving.com/d/e/8/de82e2264b4a3bf0fdac9af3994552c4f297ffcb.png)








P8 (M. URSARESCU). Let the Gergonne's point












Proof. Prove easily the following identities






![$\sum\left[b^2(s-b)+c^2(s-c)\right]\ \stackrel{(1\wedge 2)}{\iff}\sum a\cdot AD^2+2sr(2R-r)=$](http://latex.artofproblemsolving.com/6/5/e/65e91e3885dbd2efb2e3ea65a3d4dd1050733eae.png)

![$\sum a\cdot AD^2=2sr\left[4(R+r)-(2R-r)\right]=2sr(2R+5r)\implies$](http://latex.artofproblemsolving.com/d/8/0/d80cb7d130960d1c7c30f864b2d80daa5818fc1a.png)





Remark.
![$1.\blacktriangleright\ \sum a(s-b)(s-c)=\sum[s(s-b)(s-c)-(s-a)(s-b)(s-c)]=sr(4R+r)-3sr^2=$](http://latex.artofproblemsolving.com/b/0/a/b0a56ae071d42c4887535458d775624b7acd3b74.png)
![$sr[(4R+r)-3r]=sr(4R-2r)=\boxed{\ 2sr(2R-r)\ }\ .$](http://latex.artofproblemsolving.com/2/a/6/2a6ce536e921305d169f828804ae3790a9cca33b.png)

![$\sum \left[x\left(y^2+z^2\right)+2xyz\right]=$](http://latex.artofproblemsolving.com/1/a/5/1a5ebeabcd1a2eca9fa4a993f77cdda4ac707006.png)
![$\sum [yz(x+y+z)-xyz+2xyz]=$](http://latex.artofproblemsolving.com/e/3/4/e34a94bc05e0aaaf07acbc2addcca9174a971bb4.png)


Denoted






Otherwise.

![$2s\left(s^2-r^2-4Rr\right)\left[(a+b+c)^3-3(a+b+c)(ab+bc+ca)+3abc\right]=$](http://latex.artofproblemsolving.com/5/9/9/599bc2a78a8b83ce993469ca1c8a748563c9b1e7.png)





P9 (Hung Nguyen Viet).Prove that


Proof. I"ll use the notations and the identities


where prove easily







P10 (Mehmet Sahin). Prove the identity

Proof 1. Prove easily that








Proof 2. I"ll apply the identities



















P11 (Miguel Ochoa Sanchez). Let


![$([BC],[CA],[AB])$](http://latex.artofproblemsolving.com/f/2/5/f25000944ae05d06f52ffa17d5fad2fb6a8a6329.png)

Proof.






Generalization (own). Let





the chain of the relations

Proof.









![$\frac{c^2\left(n-1\right)}{(n+1)}+\frac{b^2\left(m-1\right)}{(m+1)}+b^2+c^2=2bc\cdot\cos A\cdot\left[1+\frac{mn}{(m+1)(n+1)}\right]\implies$](http://latex.artofproblemsolving.com/3/b/d/3bd04cb1b235e3a4a54832e56f76e793c9144981.png)




P12 (Mehmet Sahin). Prove that

![$:\ \boxed{\ \left[I_aBC\right]+\left[I_bCA\right]+\left[I_cAB\right]\ge 3[ABC]\ }\ .$](http://latex.artofproblemsolving.com/2/b/1/2b15c0ced9f7875f61311f0feee323b7c61e4b39.png)
Proof. I"ll use the identity

![$\sum\left[I_aBC\right]=\frac 12\cdot\sum ar_a\ \stackrel{(*)}{=}\ \frac 12\cdot \sum s\left(r_a-r\right)=$](http://latex.artofproblemsolving.com/f/6/3/f63187d5d5c9abfdcfe703c1544c9c56a86a8673.png)




![$\boxed{\ \sum\left[I_aBC\right]=s(2R-r)\ }\ (1)\ .$](http://latex.artofproblemsolving.com/d/a/d/dadadd87779e099c4464368567c52d89c86026ba.png)
![$\sum\left[I_aBC\right]\ge 3S\ \stackrel{(1)}{\iff}\ \cancel s(2R-r)\ge 3\cancel sr\iff$](http://latex.artofproblemsolving.com/e/4/8/e4846a8894b4c062b3eb3bae9e807f8785a79bc8.png)



P13 (Marian Ursarescu). Prove that



Proof. Let the midpoint

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




















P14 (Mehmet Sahin). Prove that

Proof. Prove easily that





P15 (Daniel Florescu). Sa se rezolve ecuatia irationala
![$\boxed{\ 2\sqrt[3]{2x-1}=x^3+1\ }\ (*)\ .$](http://latex.artofproblemsolving.com/c/c/7/cc74fff7f3af27592235b14bd15b11ba35d1d958.png)
Proof. Notam









P16 (Seyran Ibrahimov). Prove that


Proof. Prove easily that




Remark. I"ll prove the chain


![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)

if
















P17 (Mehmet Sahin). Prove that


Proof. I"ll apply the well known inequality






Proposed problem (test) P18.

![$\ :\ \left[\frac {x+2}3\right]=\frac {x-1}4\ ;\ \left[\frac {x+1}3\right]=\frac {x-1}2\ ;\ \left[\frac {4x+1}{5x+3}\right]=\frac {x}{x+8}\ .$](http://latex.artofproblemsolving.com/9/1/3/9136a0123e9c48648a1d40850892c0afa32b7272.png)









(for my friend ema_manole2010).
Proofs.
![$1.1\blacktriangleright=\frac {x-1}4=\left[\frac {x+2}3\right]=z\iff$](http://latex.artofproblemsolving.com/8/d/1/8d1debc595fa94843cfceb09642353f051a6ab42.png)








![$1.2\blacktriangleright\ \frac {x-1}2=\left[\frac {x+1}3\right]=z\in\mathbb Z\implies$](http://latex.artofproblemsolving.com/9/9/5/9952e44b4e527f77f9bd04614409f9d42334d9d2.png)





![$z\in (-1,2]\cap \mathbb Z\iff$](http://latex.artofproblemsolving.com/2/3/8/2383fb0c15c4d8408b24f12e2bcc8114f389f777.png)


![$1.3\blacktriangleright\ \frac x{x+8}=\left[\frac {4x+1}{5x+3}\right]=z\in \mathbb Z\iff$](http://latex.artofproblemsolving.com/c/9/e/c9ef90f8fdcaf118e4ab7941b68eaea7117ff9c4.png)




![$\left(z-\frac {31z+1}{37z+3}\right)\left[(z+1)-\frac {31z+1}{37z+3}\right]\le 0$](http://latex.artofproblemsolving.com/d/2/0/d2079c76fb2d1cfb8fb93667de0967004a7bffff.png)


























Remark.

P19. Prove that


Proof. Let


![$\boxed{\ \sum a^2=2\left[s^2-r^2(4R+r)^2\right]\ }\ ;$](http://latex.artofproblemsolving.com/1/1/7/11757e7e0a5c7f7104272455d1f0890ed0dc32cd.png)







![$\cancel 4s^2\left(\cancel {s^2}-3r^2\right)\ge \cancel 4\left[\cancel {s^4}-r^2(4R+r)^2\right]\iff$](http://latex.artofproblemsolving.com/2/6/1/261dd5bceff878c50188044cec4573de1b9cfc00.png)





Remark.

![$\frac16\sum \left[(a-c)^2+b(a+c-2b)\right]\ge 0\iff$](http://latex.artofproblemsolving.com/1/e/0/1e07968709e0d5f50f4dc16ea74381cc43dff8f0.png)

P20 (Thanos KALOGERAKIS, Greece). Let an acute



arcs




Proof. Let

![$\left(\ [BC]\ ,\ [CA]\ ,\ [AB]\ \right)$](http://latex.artofproblemsolving.com/7/c/d/7cd9ff27a312b766ff4c9b4e0b209e4e29f27d26.png)


a.s.o. where


![$[APBMCN]=S+\sum [BMC]=S+\frac 12\cdot \sum (BC\cdot XM)\ \stackrel{(1)}{=}\ sr+\sum \frac {a\left(r_a-r\right)}4\ \stackrel{(*)}{=}$](http://latex.artofproblemsolving.com/7/3/b/73b19c2d498b2505f602219340a50850bccb0195.png)
![$sr+\frac 14\cdot\left[\sum s\left(r_a-r\right)-2sr\right]=$](http://latex.artofproblemsolving.com/7/4/9/7495341befe9b7d577e3f8ac246ee2f196abcb74.png)
![$sr+\frac s4\cdot\left[\sum \left(r_a-r\right)-2r\right]=$](http://latex.artofproblemsolving.com/a/0/8/a08407dbc3f3315900e5398208a5015dc34485ab.png)


![$\boxed{\ [APBMCN]=sR\ }\ .$](http://latex.artofproblemsolving.com/9/a/1/9a1bba20fbf8dec65825f7cf7b28cbca07bdc60f.png)
P21 (<= click). Proof. Denote











P22 (Valentin VORNICU). Let





of the triangle. Let









tangent to both






Lemma 1. let











Lemma 2. For the incenter





Indication for proof the proposed problem. The circles


apply the above remarkable lemma for each of the circles


This post has been edited 306 times. Last edited by Virgil Nicula, May 10, 2018, 7:53 AM