Okruzno takmicenje (Regional round) 2023 · Lemma

1Logic and setsProofLet \(\varrho\) be a binary relation on the set \(\mathbb{N}\) defined, for all \(x, y \in \mathbb{N}\), by \[ x \varrho y \iff (\exists k \in A)\ x + 2y = 3k \cdot x. \] In each of the cases \[ \text{(a) } A = \mathbb{N}, \qquad \text{(b) } A = \mathbb{T}, \qquad \text{(c) } A = \mathbb{Q}, \] …2GeometryProofOn the sides of an acute triangle \(ABC\) points \(A_1 \in BC\), \(B_1 \in CA\) and \(C_1 \in AB\) are chosen so that \[ \angle CC_1B = \angle AA_1C = \angle BB_1A = \varphi, \] where \(\varphi\) is an …3Number theoryProofLet \(S\) be a finite set of natural numbers with the property that for every two elements \(x\) and \(y\) of \(S\) there exists an element \(z \in S\) such that \(z \mid x - y\). Prove that \(S\) contains …4Number theoryFree answerIn a school there are \(2023\) pupils and \(2023\) lockers, the lockers bearing the numbers \(1, 2, \ldots, 2023\). At the start every locker is closed. The pupils file past the lockers one after another …5AlgebraProofLet \(x, y \in \mathbb{R}\) be such that \(x + y\) and \(x^2 + y\) are rational numbers. (a) If \(x + y^2\) is rational as well, must \(x\) and \(y\) be rational? (b) If \(x^3 + y\) is rational as well, …

Work through the paper in order - each problem opens in the workspace with this paper as its trail.