SIMO Retiree Blog

(David here.) I'm back with another interesting problem - this time, it's about arranging numbers in a grid.

Glen here. At some point about a year ago, I scrolled through the blogger interface and found an old draft by Dylan, a skeletal outline of a post featuring a problem and a few section headings. The problem happened to be one I recognised: Show that $2^{2000}$ divides the numerator of $2+\frac{2^2}2 + \frac{2^3}3 + \cdots + \frac{2^{2024}}{2024}$ when expressed as a simplified improper fraction. I remembered first seeing this as a bonus problem in some old SIMO National Team set, when I'd looked at it, had absolutely no idea how to approach it, and promptly given up. But this time, having learnt some more math in the intervening years, I did  have an idea of what to do, and ended up solving it it in my head during some seminar that I wasn't quite following. The solution turned out to be pretty cool, so I made a note to myself to write a blog post about it at some point if Dylan's post never manifested. I then promptly forgot about it. Fast forward to this week. Some of the i...

(David here.) It's been a while since the last blog post, so I thought I'd share a problem that I found interesting recently.

Glen & Sheldon here. At last, our schedules aligned enough for us to try this year's SMO Open together. Here's an outline of our thought process while solving the problems, featuring some screenshots from our Cocreate whiteboard. Problem 1 In the triangle $ABC$, $\angle B>90^\circ$, the incircle touches the sides $BC$ and $CA$ at $D$ and $E$, respectively. The lines $ED$ and $AB$ intersect at $P$. The incircle of the triangle $AEP$ touches the sides $PE$ and $AP$ at $D_1$ and $E_1$, respectively. The lines $E_1D_1$ and $AE$ intersect at $P_1$. Suppose $P,C,E,B$ are concyclic. Prove that $BE$ is parallel to $PP_1$. Weird-looking problem. The concyclic condition means $\angle ABC = \angle AED$. Maybe it could be less weird if we write it in terms of the angles of the triangle, $\angle ABC = 90^\circ + \frac{\angle ACB}2$. Actually, the equal angles imply $\triangle ABC \sim \triangle AEP$. The parallel condition is equivalent to $\frac{AB}{AE} = \frac{AP}{AP_1}$, and the s...

(Glen here.) Recently, there was some discussion about this year's IOI in a group chat, and Ker Yang remarked that the first task, " Souvenirs ", was basically a math question. Of course, I had to have a look. The original description is pretty long, so here's a rewriting in a more math olympiad style: Sheldon is buying french fries from a fast food restaurant, which sells fries in $N$ different sizes (with packagings labelled from largest to smallest from $0$ to $N-1$), with integer costs $P_0 > P_1 > \ldots > P_{N-1} > 0$. To buy fries, Sheldon can pay $\$M$ where $M$ is a positive integer, and then define a sequence $i_1,i_2,\ldots$ as follows: $i_1$ is the smallest integer such that $P_{i_1}\le M$, and in general, $i_k$ is the smallest integer $>i_{k-1}$ such that $P_{i_k} \le M - P_{i_1} - \cdots P_{i_{k-1}}$. If no such $i_k$ can be defined, the sequence terminates. Then, Sheldon receives the fries with labels $i_1,i_2,\ldots$ along with his chang...

(Drew here.) As a retired contestant, I decided it would be fun to attempt the IMO 2025 paper and see how well I would do on it! Let's get started. Problem 1 (IMO 2025/1) A line in the plane is called sunny if it is not parallel to any of the $x$–axis, the $y$–axis, or the line $x+y=0$.  Let $n\ge3$ be a given integer. Determine all nonnegative integers $k$ such that there exist $n$ distinct lines in the plane satisfying both of the following: for all positive integers $a$ and $b$ with $a+b\le n+1$, the point $(a,b)$ lies on at least one of the lines; and exactly $k$ of the $n$ lines are sunny. To begin, I decided to try the $n=3$ case, as that's the smallest one. The points form a right triangle with $3$ points on each edge, and a sunny line is a line not parallel to any of the edges of the main triangle. We can shift the points a bit to instead form an equilateral triangle, and a sunny line is any line not parallel to any of the sides of the equilateral triangle. Important...