(One intermediate revision by the same user not shown) Line 1:
Line 1:
'''[[28868]] (Andre Horvat-Marc)'''
'''[[28868]] (Andrei Horvat-Marc)'''
''Fie <math>n\in \mathbb{N^\ast}</math> și funcțiile <math>f:\left[0,2n^2+3n\right] \to \left[1,2n+1\right]</math>, <math> f\left(x\right) = \frac{\sqrt{8x+9}-1}{2}</math> ''și ''<math> g:\left[1,2n+1\right] \to \left[0,2n^2+3n\right]</math>, <math> g\left(x\right) = f^{-1}\left(x\right)</math>.''
''Fie <math>n\in \mathbb{N^\ast}</math> și funcțiile <math>f:\left[0,2n^2+3n\right] \to \left[1,2n+1\right]</math>, <math> f\left(x\right) = \frac{\sqrt{8x+9}-1}{2}</math> ''și ''<math> g:\left[1,2n+1\right] \to \left[0,2n^2+3n\right]</math>, <math> g\left(x\right) = f^{-1}\left(x\right)</math>.''
Line 26:
Line 26:
Se obține
Se obține
<math display="block">M_n = \dfrac{1}{6}\left(12n^4+28n^3-3n^2-43n+24\right), n\in \mathbb{N}^\ast.</math>
<math display="block">M_n = \dfrac{1}{6}\left(12n^4+28n^3-3n^2-43n+24\right), n\in \mathbb{N}^\ast.</math>
[[File:Laticeale-5-2024.png|thumb|304x304px]]
'''Cazuri particulare:'''
'''Cazuri particulare:'''
<math>M_1 = 3</math> este ușor de construit și verificat,
<math>M_1 = 3</math> este ușor de construit și verificat,
[[File:Laticeale-5-2024.png|thumb|304x304px]]
<math>M_2 = 57</math> este reprezentat în figura alăturată,
<math>M_2 = 57</math> este reprezentat în figura alăturată,
28868 (Andrei Horvat-Marc)
Fie
n
∈
N
∗
{\displaystyle n\in \mathbb {N^{\ast }} }
și funcțiile
f
:
[
0
,
2
n
2
+
3
n
]
→
[
1
,
2
n
+
1
]
{\displaystyle f:\left[0,2n^{2}+3n\right]\to \left[1,2n+1\right]}
,
f
(
x
)
=
8
x
+
9
−
1
2
{\displaystyle f\left(x\right)={\frac {{\sqrt {8x+9}}-1}{2}}}
și
g
:
[
1
,
2
n
+
1
]
→
[
0
,
2
n
2
+
3
n
]
{\displaystyle g:\left[1,2n+1\right]\to \left[0,2n^{2}+3n\right]}
,
g
(
x
)
=
f
−
1
(
x
)
{\displaystyle g\left(x\right)=f^{-1}\left(x\right)}
.
Fie punctele
A
(
2
n
2
+
3
n
,
2
n
+
1
)
{\displaystyle A\left(2n^{2}+3n,2n+1\right)}
,
B
(
2
n
+
1
,
2
n
2
+
3
n
)
{\displaystyle B\left(2n+1,2n^{2}+3n\right)}
și mulțimea
M
{\displaystyle M}
a punctelor din plan cuprinse între graficele funcțiilor
f
{\displaystyle f}
și
g
{\displaystyle g}
și dreapta
A
B
{\displaystyle AB}
. Aflați numărul punctelor din
M
{\displaystyle M}
care au ambele coordonate întregi.
Soluție.
Cum
g
=
f
−
1
{\displaystyle g=f^{-1}}
, se obține că funcția
g
:
[
1
,
2
n
+
1
]
→
[
0
,
2
n
2
+
3
n
]
{\displaystyle g:\left[1,2n+1\right]\to \left[0,2n^{2}+3n\right]}
este definită prin
g
(
x
)
=
(
x
−
1
)
(
x
+
2
)
2
{\displaystyle g\left(x\right)={\dfrac {\left(x-1\right)\left(x+2\right)}{2}}}
. Mai mult,
g
(
k
)
∈
N
{\displaystyle g\left(k\right)\in \mathbb {N} }
oricare ar fi
k
∈
[
1
,
2
n
+
1
]
∩
N
{\displaystyle k\in \left[1,2n+1\right]\cap \mathbb {N} }
.
Avem
B
(
2
n
+
1
,
2
n
2
+
3
n
)
∈
G
g
{\displaystyle B\left(2n+1,2n^{2}+3n\right)\in G_{g}}
,
A
(
2
n
2
+
3
n
,
2
n
+
1
)
∈
G
f
{\displaystyle A\left(2n^{2}+3n,2n+1\right)\in G_{f}}
și
G
f
∩
G
g
=
{
D
(
2
,
2
)
}
{\displaystyle G_{f}\cap G_{g}=\left\{D\left(2,2\right)\right\}}
.
Au loc inegalitățile
f
(
x
)
≤
x
{\displaystyle f\left(x\right)\leq x}
oricare ar fi
x
∈
[
2
,
2
n
2
+
3
n
]
{\displaystyle x\in \left[2,2n^{2}+3n\right]}
și
g
(
x
)
≥
x
{\displaystyle g\left(x\right)\geq x}
oricare ar fi
x
∈
[
2
,
2
n
+
1
]
{\displaystyle x\in \left[2,2n+1\right]}
.
Considerăm că mulțimea
M
{\displaystyle M}
este mulțimea tuturor punctelor din plan cuprinse în interiorul triunghiului curbiliniu
A
B
D
{\displaystyle ABD}
, deci este necesar să numărăm punctele laticeale din interiorul triunghiului curbiliniu
A
B
D
{\displaystyle ABD}
, vom nota cu
M
n
{\displaystyle M_{n}}
acest număr.
Între segmentele
G
f
{\displaystyle G_{f}}
și
G
g
{\displaystyle G_{g}}
se situează și punctul
Q
(
1
,
1
)
{\displaystyle Q\left(1,1\right)}
, însă considerăm
M
{\displaystyle M}
ca fiind mulțimea închisă delimitată de
G
f
{\displaystyle G_{f}}
,
G
g
{\displaystyle G_{g}}
și
[
A
B
]
{\displaystyle \left[AB\right]}
.
Fie punctele
C
(
2
n
2
+
3
n
,
2
n
2
+
3
n
)
{\displaystyle C\left(2n^{2}+3n,2n^{2}+3n\right)}
,
E
(
2
,
2
n
2
+
3
n
)
{\displaystyle E\left(2,2n^{2}+3n\right)}
,
F
(
2
n
2
+
3
n
,
2
)
{\displaystyle F\left(2n^{2}+3n,2\right)}
. Observăm că, datorită simetriei, triunghiurile curbilinii
D
B
E
{\displaystyle DBE}
și
D
A
F
{\displaystyle DAF}
conțin același număr de puncte laticeale.
Notăm cu
A
n
{\displaystyle A_{n}}
numărul punctelor laticeale din interiorul și de pe frontiera pătratului
D
F
C
E
{\displaystyle DFCE}
., cu
T
n
{\displaystyle T_{n}}
numărul punctelor laticeale din interiorul și de pe frontiera triunghiului
C
A
B
{\displaystyle CAB}
și cu
S
n
{\displaystyle S_{n}}
numărul punctelor laticeale din interiorul și de pe frontiera triunghiului curbiliniu
D
B
E
{\displaystyle DBE}
.
Avem
A
n
=
(
2
n
2
+
3
n
−
1
)
2
,
{\displaystyle A_{n}=\left(2n^{2}+3n-1\right)^{2},}
T
n
=
∑
k
=
1
2
n
2
+
n
k
=
1
2
n
(
2
n
+
1
)
(
2
n
2
+
n
+
1
)
,
{\displaystyle T_{n}=\sum \limits _{k=1}^{2n^{2}+n}k={\dfrac {1}{2}}n\left(2n+1\right)\left(2n^{2}+n+1\right),}
și
S
n
=
∑
k
=
2
2
n
+
1
(
2
n
2
+
3
n
+
1
−
g
(
k
)
)
=
1
3
n
(
2
n
+
1
)
(
4
n
+
1
)
.
{\displaystyle S_{n}=\sum \limits _{k=2}^{2n+1}\left(2n^{2}+3n+1-g\left(k\right)\right)={\dfrac {1}{3}}n\left(2n+1\right)\left(4n+1\right).}
Atunci
M
n
=
A
n
−
2
S
n
−
T
n
+
3
,
{\displaystyle M_{n}=A_{n}-2S_{n}-T_{n}+3,}
în formula precedenă de adaugă
3
{\displaystyle 3}
pentru a corecta faptul că punctele
A
{\displaystyle A}
,
B
{\displaystyle B}
, respectiv
D
{\displaystyle D}
, sunt puncte comune ale regiunilor
A
D
F
{\displaystyle ADF}
,
B
D
E
{\displaystyle BDE}
, respectiv
C
A
B
{\displaystyle CAB}
.
Se obține
M
n
=
1
6
(
12
n
4
+
28
n
3
−
3
n
2
−
43
n
+
24
)
,
n
∈
N
∗
.
{\displaystyle M_{n}={\dfrac {1}{6}}\left(12n^{4}+28n^{3}-3n^{2}-43n+24\right),n\in \mathbb {N} ^{\ast }.}
Cazuri particulare:
M
1
=
3
{\displaystyle M_{1}=3}
este ușor de construit și verificat,
M
2
=
57
{\displaystyle M_{2}=57}
este reprezentat în figura alăturată,
M
3
=
266
{\displaystyle M_{3}=266}
și
M
4
=
778
{\displaystyle M_{4}=778}
.
Observație
Problema de mai sus este echivalentă cu următoarea problemă
Fie
n
∈
N
∗
{\displaystyle n\in \mathbb {N} ^{\ast }}
un număr natural și funcția
f
:
[
0
,
2
n
2
+
3
n
]
→
[
1
,
2
n
+
1
]
{\displaystyle f:\left[0,2n^{2}+3n\right]\to \left[1,2n+1\right]}
, cu
f
(
x
)
=
8
x
+
9
−
1
2
{\displaystyle f\left(x\right)={\dfrac {{\sqrt {8x+9}}-1}{2}}}
. Determinați valoarea sumei
S
(
n
)
=
∑
k
=
0
2
n
2
+
3
n
[
f
(
k
)
]
{\displaystyle S\left(n\right)=\sum \limits _{k=0}^{2n^{2}+3n}\left[f\left(k\right)\right]}
, unde prin
[
a
]
{\displaystyle \left[a\right]}
s-a notat partea întreagă a numărului real
a
∈
R
{\displaystyle a\in \mathbb {R} }
.