Opublikowane na Archiwum Olimpiady Matematycznej (https://archom.ptm.org.pl)

Strona główna > Wersja do wydruku > Wersja do wydruku

LIII OM - II etap

II etap LIII Olimpiady Matematycznej

ZałącznikWielkość
LIII OM II etap - Zadania [1]77.2 KB
LIII OM II etap - Zadania z rozwiązaniami [2]105.94 KB

LIII OM - II - Zadanie 1

Zawody matematyczne: 
LIII OM, 2001-2002
Etap: 
II

Dana jest taka funkcja $ f: \mathbb{R} \to \mathbb{R} $, że dla każdej liczby rzeczywistej $ x $ zachodzą równości

\[<br />
f(x) = f(2x) = f(1 - x) .<br />
\]

Dowieść, że funkcja $ f $ jest okresowa.

Rozwiązanie

Na mocy danych w treści zadania równości, otrzymujemy dla dowolnej liczby rzeczywistej $ x $:

\[<br />
\begin{array}{rcl}<br />
f (x) &=& f (2x) = f (1 - 2x) =\\<br />
&=& f(\frac{1}{2} (1 - 2x)) = f(\frac{1}{2} -x) = f(1 - (\frac{1}{2} -x)) = f(x + \frac{1}{2}),<br />
\end{array}<br />
\]

co dowodzi, że funkcja $ f $ jest okresowa o okresie $ \frac{1}{2} $.

LIII OM - II - Zadanie 2

Zawody matematyczne: 
LIII OM, 2001-2002
Etap: 
II

W czworokącie wypukłym $ ABCD $ zachodzą równości

\[<br />
\measuredangle ADB = 2 \measuredangle ACB \  \textrm{oraz}\   \measuredangle BDC = 2\measuredangle BAC.<br />
\]

Udowodnić, że $ AD = CD $.

Rozwiązanie

Z danych w zadaniu równości kątów oraz z nierówności $ \measuredangle ADC < 180^\circ $ wynika, że

\[<br />
\measuredangle ACB + \measuredangle BAC = \frac{1}{2} (\measuredangle ADB + \measuredangle BDC) = \frac{1}{2} \measuredangle ADC < 90^\circ.<br />
\]

Kąty $ ACB $ i $ BAC $ są więc ostre, co oznacza, że środek $ O $ okręgu opisanego na trójkącie $ ABC $ leży wewnątrz kąta $ ABC $ (rys. 1). Stąd w szczególności wynika, że punkty $ O $ i $ D $ leżą po tej samej stronie prostej $ BC $. Ponadto

\[<br />
\measuredangle BDC = 2\measuredangle BAC = \measuredangle BOC.<br />
\]

Zatem punkty $ B $, $ C $, $ O $, $ D $ leżą na jednym okręgu $ o_1 $.

om53_2r_img_1.jpg

Analogicznie dowodzimy, że punkty $ A $, $ B $, $ O $, $ D $ leżą na jednym okręgu $ o_2 $. Okręgi $ o_1 $ i $ o_2 $ są różne - w przeciwnym razie okrąg opisany na trójkącie $ ABC $ przechodziłby przez punkt $ O $, czyli swój środek. Okręgi $ o_1 $ i $ o_2 $ mają jednak trzy punkty wspólne: $ B $, $ D $ i $ O $. Ponieważ $ B \ne D $, więc musi być $ O = D $, czyli $ AD = CD $.

LIII OM - II - Zadanie 3

Zawody matematyczne: 
LIII OM, 2001-2002
Etap: 
II

W $ n $-osobowym stowarzyszeniu działa sześć komisji. W skład każdej z nich wchodzi nie mniej niż $ n/4 $ osób. Dowieść, że istnieją dwie komisje oraz grupa licząca nie mniej niż $ n/30 $ osób, należących do obu tych komisji.

Rozwiązanie

Ponumerujmy komisje liczbami $ 1,2,\ldots,6 $ i oznaczmy przez $ K_i $ liczbę tych członków $ i $-tej komisji, którzy nie są członkami żadnej komisji o numerze mniejszym od $ i $.

$ K_1 $ to liczba wszystkich członków komisji nr $ 1 $, co daje $ K_1 \geq n/4 $.

Przypuśćmy, że część wspólna dowolnych dwóch komisji liczy mniej niż $ n/30 $ osób.

Ponieważ w skład komisji nr $ 2 $ wchodzi co najmniej $ n/4 $ osób, więc liczba tych członków komisji nr $ 2 $, którzy nie są w komisji nr $ 1 $ musi być większa od $ n/4 $ - $ n/30 $. Stąd

\[<br />
K_{2}>\frac{n}{4}-\frac{n}{30}.<br />
\]

Analogicznie stwierdzamy, że

\[<br />
K_{i}>\frac{n}{4}-(i-1)\frac{n}{30}\ \textrm{dla}\ i=3,4,5,6.<br />
\]

Dodając stronami powyższe nierówności uzyskujemy

\[<br />
K_{1}+K_{2}+K_{3}+K_{4}+K_{5}+K_{6}>\frac{6n}{4}-(1+2+3+4+5)\frac{n}{30}=n.<br />
\]

Otrzymaliśmy sprzeczność, gdyż wielkość $ K_{1}+K_{2}+\ldots+K_{6} $ jest nie większa od liczby wszystkich członków stowarzyszenia, czyli $ n $. Zatem do części wspólnej pewnych dwóch komisji należy co najmniej $ n/30 $ osób.

LIII OM - II - Zadanie 4

Zawody matematyczne: 
LIII OM, 2001-2002
Etap: 
II

Wyznaczyć wszystkie takie trójki liczb pierwszych $ p \leq q \leq r $, że liczby

\[<br />
pq+r,\ pq+r^{2},\ qr+p,\ qr+p^{2},\ rp+q,\ rp+q^{2}<br />
\]

są pierwsze.

Rozwiązanie

Gdyby wszystkie trzy liczby pierwsze $ p $, $ q $, $ r $ były większe od $ 2 $, to liczba $ pq + r $ jako liczba parzysta większa od $ 2 $ byłaby złożona. Zatem co najmniej jedna z liczb $ p $, $ q $, $ r $ jest równa $ 2 $, co na mocy nierówności $ p \leq q \leq r $ daje $ p = 2 $.

Ponadto $ q> 2 $, gdyż przy $ q = 2 $ mielibyśmy $ qr + p = 2(r + 1) $, co jest liczbą złożoną.

Gdyby obie liczby pierwsze $ q $, $ r $ były większe od $ 3 $, to liczba $ qr $ byłaby niepodzielna przez $ 3 $, a zatem jedna z liczb $ qr+ 2 $, $ qr+ 4 $ byłaby podzielna przez $ 3 $ i większa od $ 3 $, czyli złożona. Stąd wynika, że jedna z liczb $ q $, $ r $ jest równa $ 3 $, co na mocy nierówności $ 2 < q \leq r $ daje $ q = 3 $.

Pozostało wyznaczyć wszystkie takie liczby pierwsze $ r \geq 3 $, aby liczby

\[<br />
(1) \qquad 6 + r,\   6 + r^2,\   3r + 2,\   3r + 4,\   2r + 3,\   2r + 9<br />
\]

były pierwsze.

Gdyby liczba pierwsza $ r $ była różna od $ 5 $, to przez $ 5 $ dzieliłaby się jedna z liczb $ r+ 1 $, $ r+ 2 $, $ r+ 3 $, $ r+ 4 $, a co za tym idzie, również jedna z liczb

\[<br />
\begin{array}{rcl}<br />
6+ r = (r+ 1) + 5 , &  2r+ 9 = 2(r+ 2) + 5 ,\\<br />
3r + 4 = 3(r + 3) - 5 , &  2r + 3 = 2(r + 4) - 5 .<br />
\end{array}<br />
\]

Zatem musi być $ r = 5 $. Wtedy liczby (1) przyjmują odpowiednio wartości $ 11 $, $ 31 $, $ 17 $, $ 19 $, $ 13 $, $ 19 $ i wszystkie one są pierwsze.

Odpowiedź: Warunki zadania spełnia jedna trójka $ (p,q,r) = (2,3,5) $.

LIII OM - II - Zadanie 5

Zawody matematyczne: 
LIII OM, 2001-2002
Etap: 
II

Trójkąt $ ABC $, w którym $ \measuredangle A = 90^\circ $, jest podstawą ostrosłupa $ ABCD $. Ponadto zachodzą równości

\[<br />
AD = BD \  \textrm{oraz}\   AB = CD.<br />
\]

Udowodnić, że $ \measuredangle ACD \geq 30^\circ $ .

Rozwiązanie

Trójkąt $ BAC $ uzupełniamy do prostokąta $ BACE $. Wówczas z równości $ AD = BD $ wynika, że $ CD = ED $. To w połączeniu z $ AB = CD $ dowodzi, że trójkąt $ CDE $ jest równoboczny. Zatem

\[<br />
\measuredangle ACD \geq \measuredangle ACE - \measuredangle DCE = 90^\circ - 60^\circ = 30^\circ.<br />
\]

LIII OM - II - Zadanie 6

Zawody matematyczne: 
LIII OM, 2001-2002
Etap: 
II

Wyznaczyć wszystkie takie liczby naturalne n, że dla dowolnych liczb rzeczywistych $ x_{1},x_{2},\ldots,x_{n}, $ $ y_{1},y_{2},\ldots,y_{n} $ zachodzi nierówność

\[<br />
(1) \qquad x_{1}x_{2}\ldots  x_{n}+y_{1}y_{2}\ldots y_{n}\leq\sqrt{x_{1}^{2}+y_{1}^{2}}\cdot\sqrt{x_{2}^{2}+y_{2}^{2}}\cdot\ldots\cdot\sqrt{x_{n}^{2}+y_{n}^{2}}.<br />
\]

Rozwiązanie

Dla $ n = 1 $ dana nierówność przybiera postać

\[<br />
x_{1}+y_{1}\leq\sqrt{x_{1}^{2}+y_{1}^{2}},<br />
\]

co nie dla dowolnych liczb rzeczywistych $ x $ , $ y $ jest prawdą - wystarczy przyjąć $ x_1 = y_1 = 1 $.

Wykażemy, że nierówność (1) jest prawdziwa, jeśli $ n \geq 2 $.

Jeśli któryś z czynników stojących po prawej stronie nierówności (1), np.

\[<br />
\sqrt{x_{k}^{2}+y_{k}^{2}}<br />
\]

jest równy $ 0 $, to obie liczby $ x_k $ i $ y_k $ muszą być zerami. Wtedy nierówność (1) jest spełniona.

Przyjmijmy więc, że liczba stojąca po prawej stronie nierówności (1) jest różna od $ 0 $, a zatem dodatnia. Wówczas dowodzoną nierówność możemy sprowadzić do postaci

\[<br />
(2)\qquad \frac{x_{1}}{\sqrt{x_{1}^{2}+y_{1}^{2}}} \cdot \ldots \cdot \frac{x_{n}}{\sqrt{x_{n}^{2}+y_{n}^{2}}}+ \frac{y_{1}}{\sqrt{x_{1}^{2}+y_{1}^{2}}}\cdot\ldots\cdot \frac{y_{n}}{\sqrt{x_{n}^{2}+y_{n}^{2}}}\leq 1.<br />
\]

Podstawmy:

\[<br />
a_{k}=\frac{x_{k}^{2}}{x_{k}^{2}+y_{k}^{2}},\ b_{k}=\frac{y_{k}^{2}}{x_{k}^{2}+y_{k}^{2}}\ (k=1,2,\ldots,n).<br />
\]

Liczby $ a_{1},a_{2}, \ldots, a_{n}, $ $ b_{1},b_{2}, \ldots, b_{n} $ należą do przedziału $ \langle 0,1 \rangle $ oraz $ a_k + b_k = 1 $. Stąd oraz z nierówności pomiędzy średnią geometryczną a średnią arytmetyczną uzyskujemy

\[<br />
\begin{split}<br />
\sqrt{a_{1}a_{2}\ldots a_{n}}+\sqrt{b_{1}b_{2} \ldots b_{n}}& \leq\sqrt[n]{a_{1}a_{2}\ldots a_{n}}+\sqrt[n]{b_{1}b_{2}\ldots b_{n}}\leq\\<br />
&\leq\frac{1}{n}(a_{1}+a_{2}+\ldots+a_{n})+\frac{1}{n}(b_{1}+b_{2}+\ldots+b_{n})=1,<br />
\end{split}<br />
\]

czyli

\[<br />
(3)\qquad \frac{|x_{1}|}{\sqrt{x_{1}^{2}+y_{1}^{2}}}\cdot\ldots \cdot\frac{|x_{n}|}{\sqrt{x_{n}^{2}+y_{n}^{2}}} + \frac{|y_{1}|}{\sqrt{x_{1}^{2}+y_{1}^{2}}}\cdot\ldots \cdot \frac{|y_{n}|}{\sqrt{x_{n}^{2}+y_{n}^{2}}}\leq 1.<br />
\]

Lewa strona nierówności (2) jest nie większa niż lewa strona nierówności (3). To oznacza, że udowodniona właśnie nierówność (3) pociąga za sobą nierówność (2), a tym samym dowodzi nierówności (1).

  • Pliki
  • Olimpiada Matematyczna
© Prawa autorskie Polskie Towarzystwo Matematyczne | Serwis znajduje się na serwerze MIMUW | Projekt: Krystyna Jaworska | Realizacja: Paweł Witkowski INTools, Tomasz Filar

Adres źródła: https://archom.ptm.org.pl/?q=node/325

Odnośniki:
[1] https://archom.ptm.org.pl/sites/default/files/om53_2.pdf
[2] https://archom.ptm.org.pl/sites/default/files/om52_2r.pdf