MathDB

Problems(4)

\angle QXY = \angle ACP, \angle QYX = \angle ABP

Source: Iran MO Third Round 2021 G3

9/25/2021
Given triangle ABCABC variable points XX and YY are chosen on segments ABAB and ACAC, respectively. Point ZZ on line BCBC is chosen such that ZX=ZYZX=ZY. The circumcircle of XYZXYZ cuts the line BCBC for the second time at TT. Point PP is given on line XYXY such that PTZ=90\angle PTZ = 90^ \circ. Point QQ is on the same side of line XYXY with AA furthermore QXY=ACP\angle QXY = \angle ACP and QYX=ABP\angle QYX = \angle ABP. Prove that the circumcircle of triangle QXYQXY passes through a fixed point (as XX and YY vary).
geometrycircumcircle
f(x+P(x)f(y)) = (y+1)f(x)

Source: Iran MO Third Round A3

9/25/2021
Polynomial PP with non-negative real coefficients and function f:R+R+f:\mathbb{R}^+\to \mathbb{R}^+ are given such that for all x,yR+x, y\in \mathbb{R}^+ we have f(x+P(x)f(y))=(y+1)f(x)f(x+P(x)f(y)) = (y+1)f(x) (a) Prove that PP has degree at most 1. (b) Find all function ff and non-constant polynomials PP satisfying the equality.
algebrapolynomialfunctionfuctional equation
x_{n+1} = x_n^{s(n)} + 1, s(n)

Source: Iran MO Third Round 2021 N3

9/25/2021
x1x_1 is a natural constant. Prove that there does not exist any natural number m>2500m> 2500 such that the recursive sequence {xi}i=1\{x_i\} _{i=1} ^ \infty defined by xn+1=xns(n)+1x_{n+1} = x_n^{s(n)} + 1 becomes eventually periodic modulo mm. (That is there does not exist natural numbers NN and TT such that for each nNn\geq N, mxnxn+Tm\mid x_n - x_{n+T}). (s(n)s(n) is the sum of digits of nn.)
number theory
f(P \cdot Q) = f(P) + f(Q) f(P(Q(x))) f(P \circ Q)

Source: Iran MO Third Round 2021 F3

9/25/2021
Find all functions f:Q[x]Rf: \mathbb{Q}[x] \to \mathbb{R} such that: (a) for all P,QQ[x]P, Q \in \mathbb{Q}[x], f(PQ)=f(QP);f(P \circ Q) = f(Q \circ P); (b) for all P,QQ[x]P, Q \in \mathbb{Q}[x] with PQ0PQ \neq 0, f(PQ)=f(P)+f(Q).f(P\cdot Q) = f(P) + f(Q).
(PQP \circ Q indicates P(Q(x))P(Q(x)).)
functionalgebra