Partitioning the integers $1$ through $n$ so that the product of the elements in one set is equal to the sum of the elements in the other

It is known that, for $n \geq 5$, it is possible to partition the integers $\{1, 2, \ldots, n\}$ into two disjoint subsets such that the product of the elements in one set equals the sum of the elements in the other. One solution is the following:

Let $N = \{1, 2, \ldots, n\}$.

If $n$ is even, take $P = \{1, \frac{n-2}{2}, n\}$ and $N-P$ as the two sets.

If $n$ is odd, take $P = \{1, \frac{n-1}{2}, n-1\}$ and $N-P$ as the two sets.

My question is this:

Is this partition unique for infinitely many $n$?

One might be able to prove an even stronger result, as I don't know of any other solutions.

Update on progress: Derek Jennings has found another family of solutions for the case where $n$ is a multiple of 4, except for $n=8$, $28$, or $36$; see his answer below. And Matthew Conroy has verified that, for $n \leq 100$, the partition given above is unique only for $n = 5,6,7,8,9,13,18,$ and $34$.

Background: The problem of proving that the partition is possible was posed several years ago as Problem 2826 in the journal Crux Mathematicorum, with solutions in the April 2004 issue. Every one of the 20 or so solvers (including me, which is why I'm interested in the question) came up with the partition given here. The person who originally posed the problem also asked if the partition is unique for infinitely many $n$. I don't think anyone ever submitted an answer to that latter question to Crux (although I cannot verify that, as I no longer have a subscription). I thought someone here might be able to give an answer.



Here is an interesting observation:

If $\frac{n(n+1)}{2}+1$ is not a prime, nor a square of a prime, then the partition is not unique.

Proof

Look at the partition $P=\{a,b \}$ and $N-P$.

This works if and only if

$$ab=\frac{n(n+1)}{2}-a-b \,,$$

if and only if

$$ab+a+b+1=\frac{n(n+1)}{2}+1 \,.$$

if and only if

$$(a+1)(b+1)=\frac{n(n+1)}{2}+1 \,.$$

As long as the right side can be written as the product of two distinct proper divisors, we can find $a,b$.

Edit I pointed below I made an(other) elementary mistake, the actual claim should be if $\ \dfrac{n(n+1)}{2}+1$ is the product of two distinct proper divisors not exceeding $n$, then the solution is not unique.

Sorry, this is weaker than I thought.


This does not answer the question but it is progress towards.

For $n=4m$ we can obtain a partition with the required property by taking $P=\lbrace 8,m-1,m+1 \rbrace $ for $m>1 \textrm{ and } m \ne 7 \textrm{ or } 9.$

This partition is distinct from the one given in the question for all $m>2$ and hence the partition in the question is not unique for $n$ a multiple of $4$ and greater than $8.$ (Other solutions exist for $n=28$ and $n=36.$)