OSP Matematika SMA Tahun 2024 diadakan pada 6 Mei 2024 secara daring
Isian Singkat
Catatan: fungsi linear adalah fungsi berbentuk $h(x)$$=$$ax+b$ dengan $a,b$ konstanta bilangan real.
- Kasus 1: $11|a-1$ dan $19|a+1$
Karena $11|a-1$ maka $a=$ $11k+1.$ Akibatnya $$\begin{array}{clcl}11k+2 &\equiv & 0 &(\text{mod }19)\\11k &\equiv & -2&(\text{mod }19)\\&\equiv & -2+57&(\text{mod }19)\\&\equiv & 55&(\text{mod }19)\\k&\equiv & 5&(\text{mod }19)\end{array}$$ Misalkan $k=$ $19l+$ $5.$ Sehingga $a=$ $11k+$ $1=$ $11(19l+5)$ $+1=$ $209l+$ $56.$ Artinya $56$ harus dicoret. - Kasus 2:$11|a+1$ dan $19|a-1$
Karena $11|a+1$ maka $a=$ $11k-1.$ Akibatnya $$\begin{array}{clcl}11k-2 &\equiv &0 &(\text{mod }19)\\11k &\equiv & 2&(\text{mod }19)\\&\equiv &2-57&(\text{mod }19)\\&\equiv & -55&(\text{mod }19)\\k&\equiv & -5&(\text{mod }19)\\k &\equiv & 14&(\text{mod }19)\end{array}$$ Misalkan $k=$ $19l+$ $14.$ Sehingga $a=$ $11k-$ $1=$ $11(19l+14)$ $-1=$ $209l+$ $153.$ Artinya $153$ juga harus dicoret.
Catatan: notasi $\lfloor x\rfloor$ menyatakan bilangan bulat terbesar yang kurang dari atau sama dengan $x.$
Catatan : Notasi $|X|$ menyatakan banyaknya anggota himpunan $X.$
Kasus 1: $\lvert A\cap B\rvert=0$
Maka setiap anggota $S$ akan mempunyai $3$ pilihan yaitu $$\left\lbrace\begin{array}{rl}&\text{ masuk }A\\&\text{ masuk }B\\&\text{ tidak masuk keduanya}\end{array}\right.$$ Oleh karena itu banyak kemungkinan dari kasus 1 adalah $3^{18}.$
Kasus 2: $\lvert A\cap B\rvert=1$
Maka kita perlu dulu pilih satu anggota $S$ yang akan menjadi anggota $A\cap B.$ Banyaknya kemungkinan ada sebanyak $\binom{18}{1}=18.$ Selanjutnya anggota $S$ lain akan mempunyai $3$ pilihan seperti pada kasus nomor 1. Sehingga banyak kemungkinan untuk kasus 2 adalah $18\cdot 2^{17}.$
Kasus 3: $\lvert A\cap B\rvert=2$
Maka seperti yang terjadi pada kasus 2, kita punya banyak kemungkinan untuk kasus ini adalah $$\begin{array}{rl}\binom{18}{2}3^{16}=9\cdot 17\cdot 3^{16}\end{array}$$
Jadi $$\begin{array}{rl}\dfrac{N}{3^{16}}&=\dfrac{3^{18}+18\cdot 3^{17}+153\cdot 3^{16}}{3^{16}}\\&=9+54+153\\&=216\end{array}$$
Selanjutnya saat $x=\frac{1}{2}$ maka diperoleh $\lvert \frac{1}{4}a+\frac{1}{2}b+$$c\rvert\le 16.$ Maka $-64\le a+$ $2b+4c\le$ $64.$
Akibatnya diperoleh $-89\le a+$ $2b+5c\le $ $89.$ Kesamaan terjadi saat $ax^2+bx+$ $c=$ $-(18x-5)^2=$ $-324x^2+180x-$ $25.$
Uraian
Perhatikan bahwa dari QM – AM, kita punya
\[ \sqrt{\frac{x^2 + y^2}{2}} \geq \frac{x + y}{2} \]Maka
\[ \sqrt{\frac{x^2 + y^2}{2}} \geq \frac{x + y}{2} \geq \frac{C}{x + y} \]Lalu, perhatikan dari AM – GM inequality, maka
\[ x + y \geq 2\sqrt{xy} \geq 2 \geq C \]Maka, diperoleh
\[ \frac{x + y}{2} \geq 1 \geq \frac{C}{x + y} \]Sehingga,
\[ \left(\frac{x + y}{2} \right) - 1 \left(\frac{1 - C}{x + y} \right) \geq 0 \] \[ \frac{x + y}{2} \geq 1 + \frac{C}{2} \]Dengan menggabungkan kedua ketaksamaan yang telah kita peroleh, maka
\[ \sqrt{\frac{x^2 + y^2}{2}} \geq \frac{x + y}{2} \geq 1 + \frac{C}{2}\boxed{QED} \]Perhatikan bahwa pada papan \( n \times n \), terdapat \( (n-1)n \) buah domino \( 2 \times 1 \) dan \( (n-1)n \) buah domino \( 1 \times 2 \) yang dapat diletakkan. Maka,
\[ 2n(n-1) \geq 2024 \Rightarrow n(n-1) \geq 1012 \Rightarrow 32 \times 31 \]Sehingga nilai \( n \geq 33 \). Setelah itu, \( \mathbf{n = 33} \) memenuhi dengan konfigurasi berikut. Berikut adalah beberapa contoh konfigurasi yang dapat dilakukan.
(a) Konfigurasi
Warnai \( 32 \times 32 \) petak di kanan atas seperti papan catur. Lalu, warnai hitam pada petak \( (33,3) \), \( (3,33) \), dan \( (33,33) \). Dapat dicek bahwa konfigurasi tersebut memenuhi karena
\[ 2 \times (32 - 1) \times 32 + (16 + 3) \times 2 + 2 = 2024 \](Catatan : Untuk bilangan bulat $a$ dan $b,$ notasi $a | b$ berarti terdapat suatu bilangan bulat $c$ sehingga $ac = b$)
Perhatikan bahwa 2027 adalah bilangan prima. Kita akan bekerja dalam aritmetika modulo 2027.
Klaim 1:
Nilai yang dicakup oleh \( k^3 \mod 2027 \) ada sebanyak 2027 buah.
Bukti:
Apabila ada \( k \) dan \( \ell \) sehingga \( k^3 \equiv \ell^3 \pmod{2027} \), maka
\[ (k^3)^{676} \equiv (\ell^3)^{676} \Rightarrow k^{2028} \equiv \ell^{2028} \Rightarrow k^{2027} k \equiv \ell^{2027} \ell \pmod{2027}. \]Apabila \( k \equiv 0 \pmod{2027} \), maka harus \( \ell \equiv 0 \pmod{2027} \) dan begitu juga sebaliknya. Tinjau untuk \( k, \ell \neq 0 \).
Lalu, \( k^{2027} \equiv k \pmod{2027} \) dan \( \ell^{2027} \equiv \ell \pmod{2027} \), sehingga \( k^2 \equiv \ell^2 \pmod{2027} \). Karena \( k^3 \equiv \ell^3 \) dan \( k^2 \equiv \ell^2 \), maka \( k \equiv \ell \pmod{2027} \). Maka, setiap nilai \( b \) berbeda menghasilkan nilai \( b^3 \) yang unik. Ada 2027 nilai \( b \mod 2027 \) yang mungkin sehingga nilai yang dicakup \( b^3 \mod 2027 \) juga 2027. □
Klaim 2:
Nilai yang dicakup oleh \( k^2 \mod 2027 \) ada sebanyak 1014 buah.
Bukti:
Apabila ada \( k \) dan \( \ell \) berbeda sehingga \( k^2 \equiv \ell^2 \pmod{2027} \), maka
\[ k^2 - \ell^2 \equiv 0 \Rightarrow (k + \ell)(k - \ell) \equiv 0 \Rightarrow k \equiv -\ell. \]Maka, \( 1^2, 2^2, \dots, 1013^2 \) berturut-turut menghasilkan nilai modulo yang sama dengan \( 2026^2, 2025^2, \dots, 1014^2 \).
Maka, \( 0^2, 1^2, 2^2, \dots, 1013^2 \) mencakup semua 1014 nilai modulo berbeda yang bisa dicakup oleh \( k^2 \). □
Klaim 3:
-1 bukan QR modulo 2027.
Bukti:
Karena \( 1^2 = 1 \), maka 1 adalah QR. Asumsikan ada \( k \) sehingga \( k^2 \equiv -1 \pmod{2027} \). Maka,
\[ (k^2)^{1013} \equiv (-1)^{2023} \pmod{2027} \Rightarrow k^{2026} \equiv -1 \pmod{2027}. \]Dimana ini jelas salah dengan FLT, yang menyatakan bahwa \( k^{2026} \equiv 1 \pmod{2027} \) jika \( k \not\equiv 0 \pmod{2027} \). Maka, asumsi salah sehingga -1 bukan QR modulo 2027. Terbukti bahwa -1 bukan QR modulo 2027. □
Lalu,
\[ 2027 \mid (a^6 + b^5 + b^2) \Rightarrow a^6 \equiv -b^2 (b^3 + 1) \pmod{2027}. \]- Jika \( -b^2 (b^3 + 1) \not\equiv 0 \pmod{2027} \), maka \( \left(\frac{a^3}{b}\right)^2 \equiv -(b^3 + 1) \pmod{2027} \). Karena -1 bukan QR, hanya ada setengah nilai QR yang mungkin. Maka, terdapat 1014 nilai \( b \) yang memenuhi dan masing-masing memiliki dua solusi \( a \). Sehingga total solusi adalah \( 2 \times 1013 = 2026 \) pasangan \( (a,b) \).
- Jika \( -b^2 (b^3 + 1) \equiv 0 \pmod{2027} \), maka hanya ada 2 pasangan solusi yaitu \( b = 2026 \) atau \( b = 2027 \), dengan \( a = 2027 \). Maka terdapat total 2 solusi.
Jadi total solusi adalah:
\[ \boxed{2028}. \]