437. An equivalence relation over R.
by Virgil Nicula, Dec 27, 2015, 8:02 AM
Define in
the following equivalence relation : for any
we"ll mean
, i.e.
and
have "same sign".
Some examples. Consider
,
.
, where
.
, where
. Convention.
for any
.
, for any
.
. Particular cases.
and
.
, where
and
.
, where
.
, where
.
, where
.
, where
.
Generally. Let a real function
. Then for any
.
Exercises.
Prove that for any
,
have the relation
.
Proof.
.
Solve the inequation
.
Proof.
. In conclusion,
, where
, i.e.
.
Solve the inequation
, where
.
Proof.
and
, where
and
and
.
First case.
, i.e.
and the relation
becomes:
.
Second case.
, i.e.
and the relation
becomes:
.
In conclusion, the solution of the given inequation is
.
Show that
only when
.
Proof.
. Thus,
.
PP1. Let
with the incircle
. Prove that
.
Proof 1. Observe that in
there is the chain of relatioms
. In conclusion,
.
Proof 2. I"ll use the standard notations and some remarkable identities. Thus,
i.e.
a.s.o. Observe that
. In conclusion, 
.
PP2. Let
with the incircle
where denote
,
and
. Prove that
.
Proof. I"ll use the well-known identities
a.s.o. Thus, 
![$s\left[c(a+b)^2-b(a+c)^2\right]+bc\left[(a+c)^2-(a+b)^2\right]=$](//latex.artofproblemsolving.com/4/f/b/4fb9799770e716a37a0c78fb9a3b5c1ac8233e66.png)
. In conclusion,
.





Some examples. Consider




![$\blacktriangleright\ \sqrt[n]x\ .s.s.\ x$](http://latex.artofproblemsolving.com/a/3/f/a3ff10f2118ae999a5da2d82d949a37d5ee7d34a.png)

![$\sqrt[1]x=x$](http://latex.artofproblemsolving.com/7/c/c/7ccac119cd6859ff575d000054d9846f0cee8e78.png)

![$\blacktriangleright\ \left(\sqrt[n]x-\sqrt [n]y\right)\ .s.s.\ (x-y)$](http://latex.artofproblemsolving.com/f/2/a/f2a0598dc051783b190aa63cd49e097d5378a7d7.png)










![$\{x,y\}\subset [-1,1]$](http://latex.artofproblemsolving.com/6/8/8/688816dadeacf35905838b641a89077dd6a0f3e0.png)

![$\{x,y\}\subset [-1,1]$](http://latex.artofproblemsolving.com/6/8/8/688816dadeacf35905838b641a89077dd6a0f3e0.png)





Exercises.




Proof.




Proof.





![$x\in\mathbb S=\left[0,\frac 12\right]\cup (1,2]$](http://latex.artofproblemsolving.com/f/2/7/f27e61770e5a65d52b4def4fdcd85043de2abe31.png)



Proof.






First case.




Second case.




In conclusion, the solution of the given inequation is




Proof.






PP1. Let



Proof 1. Observe that in







Proof 2. I"ll use the standard notations and some remarkable identities. Thus,









PP2. Let






Proof. I"ll use the well-known identities




![$s\left[c(a+b)^2-b(a+c)^2\right]+bc\left[(a+c)^2-(a+b)^2\right]=$](http://latex.artofproblemsolving.com/4/f/b/4fb9799770e716a37a0c78fb9a3b5c1ac8233e66.png)
![$s\left[a^2(c-b)+bc(b-c)\right]+bc(a+2s)(c-b)=$](http://latex.artofproblemsolving.com/9/4/f/94f835a619878efa46a7ec73351974d9d247d1b4.png)
![$(c-b)\left[abc+s\left(a^2+bc\right)\right]\ .s.s.\ (c-b)\implies$](http://latex.artofproblemsolving.com/e/0/8/e08ecbd97be5b289b0f67a18c8f4fe5f70b643d8.png)


This post has been edited 47 times. Last edited by Virgil Nicula, Dec 27, 2015, 4:15 PM