Find all binary operations (meaning takes pairs of positive real numbers to positive real numbers) such that for any real numbers , - the equation holds; and - if then .
TSTST 2019
USA TST for the TST 2019.
Other problems
Let be an acute triangle with circumcircle and orthocenter . Points and lie on segments and respectively, such that . The lines through and parallel to intersect again at and , respectively. Denote by the circumcircle of . (a) Show that lines and meet on . (b) Prove that if passes through , then lines and meet on as well.
On an infinite square grid we place finitely many cars, which each occupy a single cell and face in one of the four cardinal directions. Cars may never occupy the same cell. It is given that the cell immediately in front of each car is empty, and moreover no two cars face towards each other (no right-facing car is to the left of a left-facing car within a row, etc.). In a move, one chooses a car and shifts it one cell forward to a vacant cell. Prove that there exists an infinite sequence of valid moves using each car infinitely many times.
Consider coins with positive real denominations not exceeding 1. Find the smallest such that the following holds: if we are given any 100 such coins with total value 50 , then we can always split them into two stacks of 50 coins each such that the absolute difference between the total values of the two stacks is at most .
Let be an acute triangle with orthocenter and circumcircle . A line through intersects segments and at and , respectively. Let be the circumcenter of , and suppose line intersects again at a point . Prove that line and the line through perpendicular to meet on .
Suppose is a polynomial with integer coefficients such that for every positive integer , the sum of the decimal digits of is not a Fibonacci number. Must be constant?
Let be a function satisfying for all integers and . Show that there exist positive integers and such that for all integers .
Let be a set of 16 points in the plane, no three collinear. Let denote the number of ways to draw 8 line segments with endpoints in , such that no two drawn segments intersect, even at endpoints. Find the smallest possible value of across all such .
Let be a triangle with incenter . Points and are chosen on segment such that the incircles of and are tangent at , and the incircles of and are tangent at . Prove that .