Answer: 2(n+1)(n+2)−3.
Denote by an (n,k)-trapezoidal array the figure obtained by removing from an n-th order triangular array an n−k-th order triangular array sharing a common vertex with it. Let A00,A01,A02,…,A0n denote in order the oranges on one base edge of the n-th order triangular array, and recursively define the orange labeled Aij so that Aij,A(i−1)j,A(i−1)(j+1) form a small equilateral triangle (Aij=A(i−2)(j+1)); we say that the orange Aij is the j-th orange in the i-th row.
(1) First we prove the upper bound. It suffices to prove the following:
Among A00,A01,A02,…,A0n, there must be at least one orange that is never selected.
This shows that the least upper bound must be strictly less than 2(n+1)(n+2), and since the least upper bound must be a multiple of 3, the result follows.
Proof of the Lemma: Suppose otherwise, i.e., assume that all these n+1 oranges can be removed.
* Let k be the smallest integer such that (A0(k+1),A0k,A1(k−1)) are simultaneously selected; if no such integer exists, let k=n+1;
* Let m be the largest integer less than k such that (A0(m−1),A0m,A1m) are simultaneously selected; if no such integer exists, let m=−1;
* Since A1(k−1) and A1m must be selected in different rounds, we must have k−1≥m+1. This guarantees the existence of m<i<k, and note that these A0i are not selected in either of the two selections mentioned above.
* Also note that, by the minimality of k and the maximality of m, the selection that includes A0i cannot simultaneously include another A0j, and must include at least one A1j. But note that there are a total of k−m−1 such A0i, while between A1(k−1) and A1m there are only (k−1)−m−1 possible A1j's to choose, so this is impossible. Contradiction!
(2) Next we construct a selection method that achieves the upper bound. We proceed by induction:
* n=1: no orange needs to be removed
* n=2: remove (A20,A10,A11)
* n=3: remove (A30,A20,A11); (A21,A12,A02)
* Suppose the case n=k−3 holds; consider n=k: first apply the induction hypothesis to the first k−3 rows. Consider the parity of k:
* If k=2m+1, we may select:
(A30, A21, A22); (A20, A11, A12); (A10, A01, A02); and
(A0(2i+1), A0(2i+2), A1(2i+2)); (A1(2i+1), A2(2i+1), A2(2i+2)), for 1≤i≤m−2, and
(A3(k−3), A2(k−2), A1(k−2)); (A0(k−2), A0(k−1), A1(k−1))
* If k=2m, we may select: (A30, A21, A11); (A20, A10, A01) and
(A0(2i+1), A0(2i+2), A1(2i+2)); (A1(2i+1), A2(2i+1), A2(2i+2)), for 1≤i≤m−2, and
(A3(k−3), A2(k−2), A1(k−2)); (A0(k−2), A0(k−1), A1(k−1))
By induction, the result follows.