Hmm weird is this the same answer? I had all powers of 2 greater than 4 (4,8,16....) and then the recursively defined sequence (3,5,9,...,) where $ a_{m+1} = 2a_{m} - 1$ where a1=3 and its for n>=1 for base cases and it can be any of those odd bases times a integral power of 2 So I had like (3,4,5,6,8,9,10,12,16,17...) it seems like the same answer but what if i totally worded it differently

I'm glad I could complete this one! A friend of mine at school also qualified for USAMO and said he could do this problem too. I'm not certain how many points I'll get for it though, since I beat around the bush at first when I proved that $ n=4k+3$ where integer $ k>0$ doesn't fit the criteria. Later, I managed to prove that if $ n$ is odd, all $ 2^a+1$ work and are the only solutions, where $ a>0$.

frodo wrote: I'm glad I could complete this one! A friend of mine at school also qualified for USAMO and said he could do this problem too. I'm not certain how many points I'll get for it though, since I beat around the bush at first when I proved that $ n = 4k + 3$ where integer $ k > 0$ doesn't fit the criteria. Later, I managed to prove that if $ n$ is odd, all $ 2^a + 1$ work and are the only solutions, where $ a > 0$. uhh i think 5 works... which is 2^2+1 anyways, dang i seem to have gotten the right answer but i wrote it in such a bad format i hope they wont count off too much...

t0rajir0u wrote: We claim that $ P(n, n) = 1$ if and only if $ n = 2^a(2^b + 1), a, b \ge 0$. minor technicality that I discovered during the test: $ (a,b) = (0,0)$ yields $ n = 2$ which violates $ n \ge 3$. But if we allow degenerate polygons, then $ n = 2$ works.

the future wrote: Hmm weird is this the same answer? I had all powers of 2 greater than 4 (4,8,16....) and then the recursively defined sequence (3,5,9,...,) where $ a_{m + 1} = 2a_{m} - 1$ where a1=3 and its for n>=1 for base cases and it can be any of those odd bases times a integral power of 2 So I had like (3,4,5,6,8,9,10,12,16,17...) it seems like the same answer but what if i totally worded it differently That's what I got. And I semi-proved that those were the only ones by proving that the only odd numbers that existed were one more than a power of 2.

Do you guys think that only a rigorous solution like t0rajir0u's with nice notation and stuff will get full points, or will a solution that just sorta states everything (e.g. if n is odd, n-1 must be a power of 2 because as you keep on dividing the small polygons into smaller ones, they must have an odd number of sides) also get 6 or 7 points?

ARGG I got the right solution but I don't think my solution is rigorous enough I loosely defined an trapezoid-like polygon and showed that each regular n-gon must be divided into these trapezoid-like polygons if all the sides were to be used in isosceles triangles. In the end my solution was much like an essay

I divided the conclusion into three parts: 1. $ 2^p$ 2. $ 2^p + 2^q$ 3. $ 2^p + 1$ It's easy to prove that they work (actually you only need to prove 1, since the other two are just its application), but it's hard to prove that others don't. I used a lot of weird notations and wordy paragraphs to prove the converse. All I can remember is this point (I incoporated the converse into the proof of part 3): ($ n$ is not in form of power-of-2 or sum of non-zero-power of 2) Labelling the vertices $ 0,1,...,n-1$. WLOG let $ 0$ be connected to $ x$, if $ x$ is not a power-of-2, then $ x\geq \frac {n + 1}{2}$, and $ n - x$ is a power-of-2. Then I basically proved $ n - x$ must be $ 1$ by some shaky argument and then the above "lemma". Yeah, I know I'm due for deduction on lack of rigor, but hopefully let it be light... Math Geek wrote: That's what I got. And I semi-proved that those were the only ones by proving that the only odd numbers that existed were one more than a power of 2. How do you prove the even ones that don't work?

So this was a bit similar to IMO 2006 number 2. Pretty nice question.

t0rajir0u wrote:

Tiny flaw, though. If a = 0, and b = 0, we are left with a degenerate 2-sided polygon. Ah well, that's what I got too (except rectified the a,b both = 0) Xantos C. Guin wrote: t0rajir0u wrote: We claim that $ P(n, n) = 1$ if and only if $ n = 2^a(2^b + 1), a, b \ge 0$. minor technicality that I discovered during the test: $ (a,b) = (0,0)$ yields $ n = 2$ which violates $ n \ge 3$. But if we allow degenerate polygons, then $ n = 2$ works. If I remember correctly, i think they stated that $ n > 2$ in the beginning

They stated that $ n\ge 3$, yeah. Just to be safe, I wrote at the end that they couldn't both be equal to 0.

timwu wrote: How do you prove the even ones that don't work? umm for even ones i said that if you could divide the even ones some amount of time by 2 such that it will be come odd (so if the even number is a*2^k, you can divide by 2^k) and if a is a solution then so is a*2^k but if a wasnt, the a*2^k isnt either...thats where ill probably lose points... i manage to get the right answer and prove that it works for those ones but i can really prove the other ones dont work...

Yeah, at the end, I was like, "oh ****, it can't be 2." So I added a note in the margin next to my claim near the beginning. You know, I'm beginning to have doubts as to whether the graders will be able to make any sense of my unclear proof-writing. Eh, oh well. I think it works, but still. About 30 minutes in, I thought I had solved it, but my answer was completely off. Some random crap about $ 3(2^k), 4(2^k), 5(2^k), k \ge 0$.

so do you guys think that the answer format is a little different from the exact answer, they will count points off (i hope the graders notice its the same though instead of just skimming it and saying it looks different) for example, the answer is $ 2^{m + 1} + 2^{k}$ for $ m,k\geq0$ if you have something like this. All $ b_{n}*2^k$ work for all $ k\geq{0}$ and where $ b_{n}$ is any number that appears in the recursively defined sequence $ a_{n + 1} = 2a_{n} - 1$ where $ a_{1} = 2$. Then of course, you have to say that it cant equal 2 (only exception)...but you get the idea. If you make a set it will be (2*2, 2*2^2, 2*2^3....,3, 3*2, 3*2^2, 3*2^3, 5, 5*2....) if you notice since each of the base terms is 2^n+2^0 for n>0 you will get all the numbers covered. Unfortenlty i didnt exactly write that either. if you notice, its the same as the first but it looks totally different... i hope they dont count off too much.

Writing it as $ b_n \ast 2^k$ with blah definition for $ b_n$ is not closed form. Part of the solution should be determining the set of numbers in that sequence, which is a relatively easy to describe set. I doubt you will get full credit for that.

I messed up. Bad. I put $ n = 2^a + 2^b$ where $ a$ is nonnegative integer and $ b$ is positive integer and $ b > a$. I should've said $ b\ge a$ or not said the $ b > a$ part at all... By not saying that equal part, I eliminated all powers of two from the solution set... ($ 4, 8, 16, 32,$ etc). How do you prove the ones that don't work don't work?

Well, I didn't so much prove that others didn't work, as much as prove that all polygons that can be partitioned in the given way must be of the form $ 2^m + 2^n$. When I look back, my solution was kinda like the official one. Except more convoluted and with less precise notation.

The answer is all $n = 2^i+2^j$ for nonnegative integers $i, j$. First we show that these numbers work. We claim the following: Claim. If a regular polygon with $n$ sides can be triangulated subject to the given conditions, then a polygon with $2n$ sides can also be triangulated in that way. Draw the $n$ shortest diagonals in the $2n$-agon such that no two diagonals overlap. Hence we are left with an $n$-agon and valid isosceles triangles, so a polygon of $2n$ sides can be triangulated. $\blacksquare$ Therefore we only need to prove existence for $2^i+1$-agons for $i$ nonnegative. Before doing so we show the following lemma as well: Lemma. A polygon with one long side and $k$ shorter sides of equal length can be triangulated if and only if $k$ is a power of two. It suffices to show that such polygons with an odd number of equal sides cannot be triangulated. Observe that in a valid triangulation of any form, there must exist a triangle with one of its sides being the bottom side, and thus two of its vertices being the bottom two vertices. But there does not exist any vertex which we can form an isosceles triangle with the bottom two vertices, and hence the construction is impossible for odd $n$. To note that all powers of 2 work, simply induct upwards -- if $k=i$ can be triangulated, then $k=2i$ can also be triangulated by connecting the topmost vertex with the bottom two vertices, thus leaving two polygons with $k=i$. All other numbers do not work since at every step, we must triangulate the bottom two vertices with the topmost vertex, and thus at some point we will be left with such polygons with $k$ odd remaining, which are impossible to triangulate as we have shown. $\blacksquare$ With this, we first present our construction for $n = 2^i+1$. Triangulate the topmost vertex with its two opposite vertices. This leaves us with two polygons with $2^{i-1}$ equal sides and one longer bottom side. By the Lemma, each of these can be triangulated, so the polygon can also be triangulated. Now, if $n \neq 2^i+1$, notice first that we must triangulate the top vertex with the bottommost two vertices. If we do not, then we will be left with a polygon as described in the Lemma with an odd number of equal sides at the ``bottom" of the polygon, which cannot be triangulated validly. However, then we are left with two polygons in the Lemma that do not have $2^n$ equal sides. Thus, they cannot be triangulated validly, and the $n$-agon can never be triangulated validly, as desired.

The anser is all numbers of the form $(2^a)(2^b+1)$. Let the polygon be defined by $A_1A_2\ldots A_n$. We begin by showing that all powers of $2$ work. Claim: Even $n$ work if and only if $\frac{n}{2}$ works. Proof of the claim. From the definition of triangulation, it follows that each side $A_{2i}A_{2i+1}$ must be part of a triangle. If $n$ is even, it is easy to that this triangle must in fact be $\triangle A_{2i}{A_{2i+1}}A_{2i+2}$, we will call it "small". So after drawing all the lines $A_{2i}A_{2i+2}$ in (we obtain $\frac{n}{2}$ triangles), we obtain a regular $\frac{n}{2}$-gon. From here the result is immediate. $\square$ Now we look at numbers of the form $n2^kr$, where $r$ is odd. Because of parity reasons, there exists a side $A_iA_{i+1}$ which cannot be part of a small triangle, say $A_1A_2$. The only vertex which can make this triangle be isoceles is the point $A_{1/2(n+3)}$. Now each of the polygons $A_1A_{n}A_{n-1}\ldots A_{1/2(n+3)}$ and $A_2A_3\ldots A_{1/2(n+3)}$ must be further disected. Using the small triangle argument it is easy to see that this can only happen when their number of sides is each a power of $2$, which must be the same power of $2$ as they have equal sides. Hence, $n$ must be of the form $2^b+1$ as desired.

badly written sol The answer is all numbers n of the form 2^a+2^b, a,b nonnegative. Notice 2n works if n works because you can take A_iA_{i+2} as a side which makes isosceles triangle A_iA_{i+1}A_{i+2}, which we'll classify as short triangles. It's evident that doing this for the entire polygon reduces each two segments into one, effectively halving the sides. On the other hand, we show that a polygon with one long side and l shorter sides can be triangulated iff l=2^k (we would think of this by drawing any diagonal which motivates it by reading this proof backwards). From the 2n<->n footnote, we only need to consider odd # of sides polygon not of the form 2^k+1 and show they don't work (since this will effectively cover all evens as well), and also show 2^k+1 works. WLOG orient the longest side to be at the bottom. Since 2^k+1 is odd, for the longest side to form an isosceles triangle, it needs to connect to the top most vertex. But this reduces the problem to (2^k+1-1)/2=2^{k-1}, which we know works. On the other hand, if it's not 2^k+1 sides, then by connecting the same vertices we reduce to a problem that is the form $2^ij\forall j=2m+1$, which by induction hypothesis we know cannot be triangulated. Hence all numbers of the form $2^a(2^b+1)$ work.

We claim that all the numbers of the form $2^m+2^n$ for nonnegative $m,n$ work. Label the vertices of a regular n-gon from $0$ to $n-1$. Notice that all edges must be part of some triangle, so edge $(k,k+1)$, vertices taken mod $n$, must be a part of one of the following three triangles \begin{align*} &(k,k+1) - (k+1, k+2) - (k, k+2)\\ &(k-1,k) - (k, k+1) - (k-1,k+1)\\ &(k,k+1) - (k+1, k+1 + \frac{n-1}{2}) - (k+1 + \frac{n-1}{2}, k)\\ \end{align*}When $n$ is even, we must use either option 1 or 2 repeatedly for all the edges, so we see that $n$ has a triangulation if and only if $n/2$ has a triangulation. However, when $n$ is odd, we must use option 3 exactly once. WLOG, $(n-1,0)$ is the edge that uses option 3, so we can't have vertex $\frac{n-1}{2}$ be blocked by $(\frac{n-3}{2},\frac{n+1}{2})$, so we need $2\mid \frac{n-1}{2}$, giving $n=4c+1$. Now, the polygon is split into two halves, and for each half, we must be able to connect consecutive edges, because we can't use option 3 more than once. From this, we can arrive at $n=2^t+1$ for some nonnegative $t$. Using the previous two cases, we can have $n=2^t(2^u+1)$ or $n=2^t$, which is equivalent to what we claimed.

The answer is $n=\boxed{2^a(2^b+1)}$ for nonnegative integers $a,b$. For the sake of definitions, begin with a regular $(2n+1)$-gon with points $A_1, A_2, \dots, A_{2n+1}$ in that order. Define a \textit{small} triangle to be a triangle likewise to $A_1A_2A_3$ and define a \textit{large} triangle to be a triangle likewise to $A_1A_{n+1}A_{2n+1}$. Claim: If a $n$-gon can be triangulated, so can a $2n$-gon. Proof: Notice that filling out the $2n$-gon with small triangles will result in an $n$-gon, which proves the claim. $\square$ Now, consider the aforementioned regular $(2n+1)$-gon. Evidently, there must be at least one large triangle. Upon further inspection, we see that each of the large triangles contains the center and thus, there are only $1$ such triangle. The large triangle splits the polygon into two $n+1$ sided polygons with $n$ equal sides. Then, it is clear that $n$ must be a power of two, so the only $k$-gons with an odd number of sides must have $k=2^b+1$ for a nonnegative integer $b$. Then, we can multiply this by any factor of $2$, so our answer results.

Our answer is $n = 2^x (2^y + 1).$ We will first need the following: Claim: $2n$ works if and only if $n$ works. Proof: If $n$ works, then $2n$ works because we can connect two corners that are not connected but closest possible with an edge. This gives $n$ isosceles triangles (which we will call $1-1-2$ triangles) on the side. Now, if $2n$ works, we note that every edge is contained in some triangle. Suppose that two adjacent vertices of a $2n$-gon are $A$ and $B,$, where $A$ and $B$ are in the same triangle. There is no point diametrically opposite an edge on a $2n$-gon, so to make an isosceles triangle, so the third point of this triangle $C$ must be adjacent to either $A$ or $B,$ creating a $1-1-2$ triangle. This repeats for every edge, giving a regular $n$-gon in the middle. Since $2n$ works, that forces $n$ to work, as claimed. Since $n = 4$ clearly works, all powers of $2$ work, at which point we can note that $2^k = 2^{k-1}(2^0 + 1).$ Therefore, we only need to consider odd $n.$ There are two parts to the problem from here: proving that odd numbers of the form $2^k + 1$ work, and proving that the rest don't. Part 1: Proving that $2^k + 1$ work. We attach a construction for $k = 5;$ it is obvious how to generalize. Part 2: Proving that the rest don't work. Suppose that we have adjacent vertices $A$ and $B$ in our $(2k + 1)$-gon. Then they must be part of the same triangle. There are $2$ ways that this triangle is isosceles: the first is if $A$ and $B$ are in a $1-1-2$ triangle, and the second is if this triangle includes the point diametrically opposite segment $AB,$ which we will call $C.$ Call a triangle $ABC$ very long. Note that every $1-1-2$ triangle covers $2$ edges of the polygon, but there are $2k + 1$ edges. Therefore, there is exactly one very long triangle in such a triangulation. This very long triangle splits the polygon into $2$ congruent regions, each with $k$ edges facing outward and $1$ edge being inside the polygon. Note that $k$ is even, otherwise we cannot include the outward edges inside our triangulation (triangles containing outward edges are forced to be $1-1-2$). Similarly, $\frac{k}{2}$ is even, and so is $\frac{k}{4},$ and so on. This forces $k$ to be a power of $2,$ so $2k + 1 = 2^{x} + 1.$ Therefore, the only odd $n$ that work are $n$ of the form $2^x + 1.$ As a result, the only $n$ that work are $n$ of the form $2^x (2^y + 1),$ as claimed at the beginning.

The key intuition is to consider the "small sides" of each shape we are triangulating. We use casework based on the value of $n$. $n$ is even: Each side must be the leg of an isosceles triangle rather than the base. Consequently, we are forced to pair the sides off at every other vertex, creating an interior $\frac n2$-gon. Repeating this, we see that an $n$-gon is successfully triangulated $\iff$ an $\frac{n}{2^{v_2(n)}}$-gon can be triangulated. The only special case to consider if when $n$ is a power of two, but we note these always work as we can use this algorithm to obtain a square. $n$ is odd: Let $n=2n_1+1$. We pair off the sides again, but this time 1 is left out. We are forced to use this side as the base with the vertex being the opposite vertex of the $n$-gon. Hence if $\frac{n_1}{2}<1$, we're done, but otherwise it must be an integer. Then let $n_1=2n_2$. After the previous move, we are left to triangulate two congruent polygons with $n_2$ small sides and one long side. This long side is longer than any diagonal in this new polygon, so it must be used as the base. Hence, if $\frac{n_2}{2}<1$, we're done, but otherwise it must be an integer. We continue, concluding that we require $n=2^x+1$ for a positive integer $x$. Hence our solutions for $n$ are $\boxed{2^x, 2^x+1, 2^x\left(2^y+1\right) \forall x,y \in \mathbb{Z}^+}$. $\blacksquare$

Case 1: n is even Claim: If n is even, it works if and only if $\frac{n}{2}$ works. Proof: If $\frac{n}{2}$ works, we can easily draw isosceles triangles on the top of every side of the old polygon. Now we have to prove the other direction. This can happen if we just pair up the adjacent sides of the polygon and draw the edges between them. This is the only such triangulation since the center of the polygon lies on the perpendicular bisector of a side, but no vertex lies on this bisector. Case 2: n is odd Claim: If n is odd, n works if $n = 2^k + 1$. Proof: Let a triangle be called big if it passes through the center of the n-gon. There is exactly one big triangle. Now this triangle divides the n-gon into two equal polygons. When each equal polygon has $2^{p-1}+1$ vertices for some p, we can triangulate it. Then the outer perimeter of the equal polygons concurrent with the side of the n-gon must be triangulated into small isosceles triangles, and we must continue this process $\Rightarrow$ it is only possible when $\frac{n-1}{2}$ is a power of 2 $\Rightarrow$ n works if n is of the form $n = 2^m(2^l +1)$.

The answer is all $n$ so that $n = 2^a + 2^b$. First we can show that a $n$-polygon is dissectible into isosceles triangles if and only if a $2n$-polygon is. Note that in a $2n$-polygon, the only isosceles triangle containing $V_iV_{i+1}$ is $\triangle V_{i}V_{i+1}V_{i+2}$(or $\triangle V_{i}V_{i+1}V_{i-1}$). So then this leaves us with the pairs of adjacent sides triangulated and a central $n$-gon, which must be dissectible into isosceles triangles if the $2n$-gon is. The reverse also holds true, clearly. We can then show all $2^a + 1$-gons are dissectible into isosceles triangles, with the attached construction. Our construction also shows the impossibility of $n \neq 2^a + 1$(which suffices as we can multiply by $2$ as much as we want). This is because we are forced to (WLOG) draw in $\triangle PGH$, and continuously group adjacent sides into triangles(thus dividing the number of sides by $2$) until we get a number of sides that is not a power of $2$, from which we can't draw in any more triangles.

Answer is $2^m(2^n+1)$ for any $m,n$ whole number. Claim: $2n$ work if and only if $n$ works If $n$ work, we can just add one vertex at midpoint of arc of each side, and hence so $2n$ works. Suppose $2n$ works, we have triangle \empty{good} if both of it's equal side are side of polygon. Now we claim all side of polygon are covered by \empty{good} triangles. Suppose some side of polygon is not coverd by \empty{good} triangle then as number of side are even, perpendicular bisector of side of polygon pass through midpoint of arc of opposite side (as we always get rectangle for even side polygon). Hence we can't have isosceles triangle with base side as polygon side. Therefore only way is all side of polygon are part of \empty{good} triangle. Which give us another polygon at side $n$. Hence if $2n$ is possible then so $n$. Claim: If an odd $n$ works, then $n = 2^k+1$ let $n=2m+1$. All side of polygon can't be side of \empty{good} triangle, Assume side $V_1V_2$ is base for some isosceles triangle. Then note it has to be $\triangle V_1V_2V_{m+2}$. Main observation is now we can't connect any vertex from ${V_3,V_4, \cdots V_{m+1}}$ so set ${V_{m+3},\cdots V_{2m+1}}$ By same arrgument as used in first claim, we have to use all side of polygon in \empty{good} triangle. then we have triangle $\triangle V_2V_3V_4, \cdots \triangle V_{m}V_{m+1}V_{m+2}$ as \empty{good} triangle. Note for this we should have $m+2$ even, hence $m$ is even. Now we observe that after this we have polygon with side $V_2V_4V_6\cdots V_{m+2}$ (for one side). And if we consider it's side, then by same logic we still have to make \empty{good} triangles only. Doing this many time, we will be always making \empty{good} triangle on exiting polygon made up. Hence we only increase $v_2(m)$ each time. We finally end up with $m = 2^k$ for some $k$. Hence $n=2^k+1$ for odd $n$. This give us only answer, are number of type $2^m(2^n+1)$.

The idea for this problem is super fun. The answer is all numbers of the form $\boxed{2^m(2^n+1)}$ for nonnegative integers $m, n$. Call a number that can be triangulated "funny". Call an isosceles triangle consisting of two adjacent sides of a polygon an "edge" triangle. The problem is split into two main claims: Claim: A even number $2n$ is funny if and only if $n$ is funny. Proof: One direction is obvious by inscribing a $n$-gon inside of the $2n$-gon by making isosceles triangles out of adjacent sides. For the other direction, consider any side. Note that the triangle containing this side must have this small side as one of the two isosceles sides because $2n$ is even. Therefore we must have one corner cut out. Repeat this process around the $2n$-gon, proving the claim. $\blacksquare$. Claim: A odd number $n$ is funny if and only if $n = 2^m+1$ for some integer $m$. Proof: Direction 1: We wish to show that all $2^m+1$ are funny. Consider one side of this polygon and form an isosceles triangle with the diametrically opposite vertice. We then form these two hemispheres on the side (see the image in the beginning for a visual I don't feel like asying right now). We induct on these hemispheres. Note that the number of vertices in these hemispheres are also one more than a power of two. The base case is obvious, and to generalize to the next hemisphere (i.e. upping the power of two by one) by creating edge triangles on the sides of this new hemisphere. Thus by induction all $2^m+1$ work, because we can dissect each of these hemispheres into isosceles triangles. Direction 2: We wish to show that all funny $n$-gons with $n$ odd must satisfy $n=2^m+1$. Consider the sides of this $n$-gon: These sides are either part of an edge triangle or have the third vertice diametrically opposite. Note that because $n$ is odd we cannot have all edge triangles and must have at least one diameter triangle. But because it is a diameter and these cannot intersect, we have exactly one diameter triangle. Now consider the two hemispheres drawn. We wish to show all hemispheres must have a number of vertices one more than a power of two. Consider one side of these hemispheres adajcent to the long diameter drawn. Because we cannot have another diameter, this side must be part of an edge triangle. Continue this process around the hemisphere, forming another hemisphere. Therefore we have shown that if a $k$ vertice hemisphere is funny then the $\frac{k+1}{2}$ vertice hemisphere works as well. This process continues until we reach a triangle, i.e $3=2^1+1$. Now we work backwards to get the previous one to be $2(2^1+1)-1 = 2^2+1$. Now the result immediately follows by induction. Both directions are proven so the claim is done. $\blacksquare$. This is enough to finish. All odd $n$ are of the stated form, and all even $n$ are also of the stated form so we are done.

Sketch: Note that if $n$ was even, consider one of the edges of the polygon. Since it is part of an isosceles triangle, it cannot be the base since $n$ is even. Therefore, it must be paired with an adjacent edge, and using the same logic to the other edges reduces our problem to triangulating a regular $\frac{n}{2}$-gon. Thus, if $n$ is even it works if and only if $\frac{n}{2}$ works, so we consider when $n$ is odd. Clearly it is impossible to pair all the edges, so there must be one edge that is the base of an isosceles triangle. Once we construct this triangle, clearly the legs must be the base of another triangle (since there is no way to fit another one of that side length in each of the remaining two quadrilaterals). This works if and only if these remaining quadrilaterals have an odd amount of vertices. Continuing this logic, the following must be true: Let $a_i$ be a sequence of numbers such that $a_1=n, a_i = \frac{a_{i-1}+1}{2}$ for $i \geq 2,$ then at some point $a_i$ converges to $1.$ It is easy to show that only $n=2^k+1$ for some $k$ works. Therefore, in general if it is possible to write $n=2^i+2^j$ for nonnegative integers $i, j$ then $n$ works (because all odds of the form $2^k+1$ work while $n=4$ also clearly works.)