Documente Academic
Documente Profesional
Documente Cultură
?oo
DE
IDENTITATI
9I
INEGALTTATI
cu ,,pf,4ea intreage"
EDITURA GIL
Cuprins
Capitolul 1. ldentitS[i 13
Probleme propuse 41
Capitolul 2. lnegalitdli 54
Probleme propuse 68
SoluliiCapitolul 1 75
Glosar 138
Capitolul O.
Proprietiti elementare
Prin definitie, partea intreagi a numirului real x este cel mai mare numdr inheg care
nu-l depdgegte pe x , numbr intreg care se noteazd [x] .
41
Prin dehnifie, partea fraclionard a numirului real x este
54 {r} = x-[;r] .
Fie x < 0. Folosind proprietatea 0.1. avem [x]< x < 0. Sr considerim cd pentru :reR
avem [x] < 0 . cum [r] este num6r intreg, avem atunci [x] < de unde, folosind -l
proprietatea 0'1', obJinem x<[x]+r30 gi demonstraJia celei de a doua echivalenJe se
incheie.
Proprietatea 0.2. are qi o generalizare qi anume
Fie x, y e R cu
[x] < [y] . Cum [x] qi Lyl sunt numere intregi, deducem c6
prl+l< [y]. Folosind proprietatea0.l. avem atunci x < [;r]+l <[yJ< y.
lxl=[y] + l"-yl.t,
{x}={y} <+ x-yeZ.
Din [x]:[7] obJinem,folosindproprietatea0.l., x_l<[r]=[y]<y
Demonstratie.
qi atunci x-y qi y-r<Iyl=[x]sx de unde deducem c6 -l<.x-v. Din
<1. Avem
x-y<l 9i -l<x-y deducemca lx-yl<1.
Fie x, ye R cu {x} = {y} . ln acexte condiJii avem
x - y = [x] + {x}-[y]- {y} = Ixl-tyl
de unde deducem ci x-yez. Fie x,yeR cu x-yez. Avem atunci
{x}-{y} =x-[x]-y+[y] de unde deducem ca {x}-{y} este numdr intreg. pe de alt6
6
i5 considerdm cd pentru xeR parte, conform proprietdjii 0.1.,avem 0<{x}<1 gi 0<{y}<1 deundededucemci
[x]<-l de unde, folosind -l <{x}-{y} < 1 qi atunci {x}-{y} = o, adicd {*} = {y} .
t{r}l={trl}=0.
Demonstratie. Cum fxleZ , avem, conform proprietdtii 0.1. , [[x]l=txl qi
r0.1., <x<[x]+l {txl} = 0 . Cum avem 0 < {x} < 1, deducem cd [{x}] = 0 qi {{x}} = {x}-l{x}l = {x} .
ft ceea ce
,rl li f sunt numere intregi,
Proprietatea 0.7. Pentru orice ;eR
rprietafea 0.1., x>[x]> ft qi
qi orice ft eZ , avem
lx+kl=[x]+k,
ft. Sb considerdm cd penhu
{x+ft}={x}.
i, avem [x]<k-l de unde,
Demonstratie. Sd punem lxl= h . Avem atunci
lemonstratia celei de a doua
h<x<h+l <+ h+k<x+k<h+k+1 €> fx+kl=h+k
gi atunci [x + kl:[x]+ k . Avem apoi
{x + /c} = x + k -lx + kl= x+k -fxl- k=x -lxl= {x) .
Demonstralie. Avem
{-r}+{y}-1 < {x+"y} < {x}+{y} <>
x -lxl+ -[y]-1 < x+y_[x + yf<x_[x]+y*[y]
y <+
-[x]-[y]-1 <-Ix+ yf< -hrl-lyl
afirma{ie echivalentd cu prima afirma{ie din proprietatea 0.10. Avem apoi
{r}-{y} <{x- y} < {x}-{y}+1 <+
x -[xl- y +lyj< x - y -Ix - y]< x -[xl_ y+[y]+1 <>
-[.r] + [y] < -Ix - yl< -[x] + [y] + I
afirma{ie echivalentd cu a doua afirmagie din proprietatea 0.10. A treia afirma{ie
se obtine
din prima in cazul y = y .
8
e din primele dou6, aga cb e Proprietatea0.l2. Pentru orice x,yeR, x,y>0, avem
14 e suficient si demonstrdm
< [xy] < [x][y] + [x] +
[x][y] [y] ,
bl2 <[x2]<[x]2 +2[xl.
13V-.P*1 <>
[Y]=-
qi prima afirma{ie este demonstratd.
Folosind prima ahrmalie deja demonstratd dar qi proprietatea 0.7. , avem
[*+xl Itl+xll ft+t*]l
c9
L;J=L,I:L , ]
inlocuind pe .x cu ru in prima afirmalie obtinem ceade atreia afirmaJie.
v-Itl <=>
Demonshatie. Si punem
[og" ,]= ft . Avem atunci, folosind qi proprietatea 0.3. ,
k <7ogn x < k +l €> nk < * < nk*t €) nk <y*1< nk*r <+
ft < lc,g, [.r] < /r + I <) [og, 1"r]]= f
gi prima afirma{ie este demonstratd.
inlocuind pe .r cu nv In prrmaafirmatie, o oblinem pe a doua.
Proprietatea 0.16. catul imparfirii lui t e z la n rv. [t-l iar resful este
"rt. Ln)
I r')
n<->.
ln)
o,=r=nl
l0
Proprietatea 0.18. Pentruorice keZ qiorice reN, r>2,avem
It 1 [r-r.]
L;l:L;j.r <+ ntk'
rl Ir-r-l <+ ntk
I
L;l=L;i
Demonstratie. E suficient sd demonstrim implicaJiile
ntk + [i.l=|-4:.Ll,
rsind gi propri etatea 0.3 . , Ln) L n )'
,k <yr1< rk*r <+
ntk + lll:[{_r1.,
1l= r
' l")Ln l'
pentru cd implicaliile inverse se demonstreazd uqor prin reducere la absurd.
a doua.
Siconsiderdm c|r nl k gi si punem I t1= Avem atunci
lnl ^.
lr.Lr. lr+t <+ nh<k<n(h+l) => nh<k-l<n(h+l) . e
n
h_l=hn-n.hn-l =k-l .h
nnn
de unde oblinem [41.l : h -l =fll- r qt a doua implicalie
' ln) Lnl
este demonsrratd.
ll
1r-1=i!1h-1yn <\lhu -l:\lk-t <\lh, =h
de unde oblinem t-n-l: nt:fui]t si demonstraJia celei de a doua implicalii se
incheie.
L,r.[,.;] =b,l
orice xeR.Avem
t('. :
:)= [,. ;]. [x r]- [zx + [",. ;]. [x]+ r- [zx] r r @)
+ 1r :
ceea ce inseamnd cd / este periodicd de perioadd Il2 .E suficient sd demonshdm atunci
cit f (x)= 0 , pentru orice x . , ceea ce este adevarat, pentru ci, pentru x .
[t,;) [t,;)
avem [x]=["+]=[2,]=o
t2
dn" =n
a celei de a doua implicaJii se
Capitolul 1
Identititi
rg,fteN,
;,fteN.
Problema 1.1. Si se arate c6, pentru orice keZ, avem
lu*n'l_l *l_lzr,+zl
(fr-r)1,
;-1)]+1,
[ : ] L,l-L r l'
r
m
absurd.
<k-l<nh*l
tq"l t+l t+t Vasile Zidaru
<+
-Dl= h
Solulle. Prima identitate se verific[ uqor dacd gtim restul impdrfirii lui k la 3. Avem,
in cazul k =3q, q eZr[in6nd seama gi de proprietatea 0.7. ,
l&+u'l_lLl=lLt2l
<log, nh = h
I I I LrJ | : I <+-
lrn'
*rr*!]-b"]=lr.i) <+ gq' *zq)-y' - 2q .
f+r-[2"]-r = f@)
in cazul k =2q , q eZ, adoua identitate devine
<> (a,*o)_u,=a
nrficient sd demonstrim atunci
13
Solutie. Este aproape evident cd penhu orice n e N avem (+*eJs),
, = A, + BnJ6
cu An,B, € N* , totuqi afirmalia ftcutd necesitd o demonstralie riguroasi care se face
prin inducfie. in cazul n = I afirmalia este evident adevdratd,
cu A, =14 qi 81 = 6 . 56
presupunem cd afttmalia frcutd este adevdraldpentru
un n> 1 arbitrar gi sd o demonshdm
pentru n +l.AvemAeU (1++0fi)' =o,,+n,J6 cu A,,,B,e
N* giatunci
( o * sJ al.' = (,t, * a, J afr + * oJo
)=
t 4 A n + 3 6 B + (e z
n + u a,)J e
ceea ce inseamni cd afirmatia ftcutd este adeviratd in ^
cazul n+r cu alegerea
An*1 =l4Ar+368n $i Bn+r=6An+l4Bn.
Si ardtdm, tot prin induc{ie, cd (+-AJAI' =A,-8,J6. Afirma}ia esre evident
pentru n = 1 a$a cd sd o presupunem adevdratd pentru
adevbratd
un n>i arbikar gi sd o
demonstrdm pentru n+I. Avem
Avem atuncl (++o Juy*t *(+-eJa)"+r =2A2,*r eeea ce ne poate ajuta s6 afldm
_
{(to*uG)".'}.
nu.* t4-6J6e (-r,o) ei atunci ei (+-eJs)r,.'. (-r,o).
Deducem n*t
cFt zAz,+r -l . (l+* eG)' .2Arn*r. Inseamni c5
qi atunci
i+i+*+).+l=,
Solutie. Avem, folosind gi proprietatea 0.,/. ,
[f -'IG*',. .r)ll=,
LtL,'"I
T4