This Demonstration counts the number of partition subsum polynomials without repeated roots. Let be an integer partition of , so that ; assume . For example, . (The notation means " is a partition of .") That partition can be written more compactly as . Define the partition subsum polynomial of by . The similarlooking product generates the number of distinct partitions [1]. For example, . The possible subsums of are over all possible choices of . Expanding gives , where is the number of ways to form the subsum . For example, . The term indicates that there are three ways to get the subsum 1, as there are three parts that are 1. In this polynomial, each power happens to have a nonzero coefficient, which means that the partition has a subsum for each number from 1 to ; so is called a complete partition [2]. The list of coefficients is always symmetric: if summing the subset of gives , then summing gives , so in , the coefficients of and are equal. The semiFibonacci sequence [3] is defined by , , . The sequence starts: 1, 1, 2, 1, 3, 2, 5, 1, 6, 3, …. Theorem: The number of partitions for which has no repeated root is the semiFibonacci sequence. See the details for a proof. The first tab gives the semiFibonacci sequence and the semiFibonacci partitions. The second tab shows the lattice points (as squares) that satisfy the condition stated in the tab. The third tab shows when the roots of the two equations stated in the tab overlap.
, and if is a partition of with one odd part, say , define: . If is a set of partitions, define , , and if contains only partitions with one odd part, . This defines the semiFibonacci partitions of : First check the roots: . Now check the roots are distinct: Suppose , , and . Then . Since , , so . Therefore the are distinct and are the roots of . ■ The polynomials and have a common root iff and are both odd, in which case there are common roots. Therefore the polynomials have no common root iff is odd. If the two polynomials have a common root, then there are integers and , , such that so . Therefore , which implies that the highest powers of 2 dividing and are equal, so that and are both odd. If and are both odd, let and be such that and . Then so , which gives a common root of the two polynomials. Suppose and have a common root. Let and . Then the equations and also have a common root, say . Then with , , so is also a solution of and likewise of . For the last statement, and cannot both be even—the GCD would absorb the 2. So the polynomials have no common root iff one of or is odd and the other even, or, equivalently, is odd. ■ The polynomial has no repeated root iff is odd for each pair of parts , of . Apply lemma 2 to the definition . ■ If , then has only even parts. If , then has exactly one odd part. In the definition , the union is disjoint. The parts of a partition in are clearly all even. For induction, assume each partition in has at exactly one odd part; this is true for the base case . Suppose for some . Since has at most one odd part, the same is true for . Suppose for some . Since has no odd parts, has exactly one odd part, namely 1. The union is disjoint because the odd parts of are all 1 and the odd parts of are all greater than 1. ■ iff for each pair of parts and of , is odd. This is vacuously true for the partitions with one part, . For induction, assume the statement is true up to . If is even and , then is odd by the induction hypothesis, so the condition holds for 2 . If is odd and , either there is a such that or there is a such that . In the first case, there is only one new part, 1; because and all the other parts are even, is odd. In the second case, by lemma 4, has exactly one odd part, so is odd and the others follow by induction, since the even parts belonged to partitions in . ■ . For induction, the base case is . By definition of , . By lemma 4, since the union is disjoint, . Therefore satisfies the same conditions as and they are the same sequence. ■ The number of partitions for which has no repeated root is the semiFibonacci sequence. By lemma 3, has no repeated root iff is odd for each pair of parts , of . By lemma 5, the latter statement is equivalent to . By lemma 6, the number of with no repeated root is counted by . ■
