1
$\begingroup$

I could use some help figuring out what the next row is in the pattern below (and what the rule is generally for each number in the series). I put it in a triangle because I'm pretty sure it has something to do with Pascal's triangle. The only other thing that's clear to me is that the left side of the triangle is the factorials $2!,3!,4!$ etc., and the right side increases by multiples of $4,6,8,10$, etc.

There's also some interesting stuff going on with the digits in some of the numbers adding up to multiples of 3 (6, 9, 12, 15, etc.) but this doesn't really help in terms of figuring out the rule behind the pattern.

$$\begin{array} &&&&&&&2\\ &&&&&6&&8\\ &&&&24&&72&&48\\ &&&120&&600&&864&&384\\ &&720&&5280&&12240&&11520&&3840\\ &5040&&50400&&166320&&247680&&172800&&46080\\ \end{array}$$

Thanks

  • 1
    Where are these triangles coming from?2012-01-05
  • 0
    +1 to J.M.; OEIS doesn't have anything of this form either that is if you type in left-to-right fashion.2012-01-05
  • 0
    Yes I already checked with OEIS too. These are coefficients that appear in the derivatives of a particular function. I guess I could figure it out if I really sat down and spent a couple hours on it. But I wanted to check and see if someone had some insight right off the bat. I just added another row to the triangle in the original post.2012-01-05
  • 1
    @ben: it might help if you gave us the original function.2012-01-05
  • 0
    The alternating sum of all rows except the first two is $0$; equivalently, if you view the rows as coefficients of a polynomial they all have $-1$ as a root. Some of these polynomials have rather simple factorizations: $24 x^2+72 x+48 =24(x+1)(x+2)$ and $720x^4+5280x^3+12240x^2+11520x+3840=240 (x+1)^2 (x+4) (3 x+4) $.2012-01-05
  • 0
    The function in question is $\frac{1}{1+\frac{1}{x^2}}$. The apex of triangle is the coefficient on the first derivative, second row of triangle are the coefficients appearing in the second derivative, etc.2012-01-05
  • 1
    The coefficients of what?2012-01-05
  • 0
    Suggestion: divide each entry in the 2nd row by 2, in the 3rd row by 4, 4th row by 8, then 16, etc., to get smaller numbers where a pattern might become apparent. It also looks like you can divide through by 3 in rows 2 to 4, then by 9 in higher rows.2012-01-05
  • 0
    If you leave the original function in the derivatives as I have written it (do not simplify or factorize it), you will see these triangle numbers appear as coefficients attached to this function (the function will be slightly modified in each derivative, raised to different powers etc.).2012-01-05
  • 0
    The numbers are divisible by the corresponding binomial coefficients, and the result of the division is a roughly linear progression in each row: $$ \begin{array}{cccccc} 2\\ 6&8\\ 24&36&48\\ 120&200&288&384\\ 720&1320&2040&2880&3840\\ 5040&10080&16632&24768&34560&46080 \end{array} $$2012-01-05

2 Answers 2

3

The left side of the triangle, as you note, is $(n+1)!$; the right side of the triangle is $2^n n!$. Just like last time, the trick is to divide out by the common factor $n!$ and search from there. Doing so gives the triangle:

$$\begin{array}{cccccccccccc} &&&&&2\\ &&&&3&&4\\ &&&4&&12&&8\\ &&5&&25&&36&&16\\ &6&&44&&102&&96&&32\\ 7&&70&&231&&344&&240&&64\\ \end{array}$$ and then searching on the last row in OEIS finds http://oeis.org/A181289 , which is (up to that factorial factor) the sequence you're after. Note that OEIS claims no closed form for these numbers, just a summation, which shouldn't be too surprising; in general, there's no reason to expect a closed form for this sort of thing, and in fact the existence of a closed form is usually a sign that there's something more than meets the eye going on.

  • 1
    "...in general, there's no reason to expect a closed form for this sort of thing, and in fact the existence of a closed form is usually a sign that there's something more than meets the eye going on." - I gave a +1 for this.2012-01-05
  • 0
    @Steven Stadnicki : What do you mean there is no closed form. Isn't the closed form the summation $\sum (-1)^j2^{k-j}{k\choose j}{n+k-j-1 \choose 2k-1}$ (Although it's not clear from this what's being summed over)2012-01-05
  • 1
    @ben: generally 'closed-form' is used to mean an expression without a summation in it; to put it in CS-y terms, an expression that takes constant time to evaluate, as opposed to a summation, which (generally) takes time linear in $n$. In this case, I presume $j$ is the index of summation, with $n$ representing the row of the table and $k$ the position within the row.2012-01-05
  • 0
    Thanks, got it to work in my CAS. Man I would have never figured this out without OEIS.2012-01-05
0

If these numbers are numerators in derivative of $1 / (1 + 1/x ^ 2)$ then the next row is: $$ 40320\quad 524160\quad 2298240\quad 4798080\quad 5241600\quad 2903040\quad 645120 $$ But in this case second row should be $(8, 6)$ not $(6, 8)$ $$ f(x) = \frac{1}{1 + \frac{1}{x^2}} $$ $$ f'(x) = \frac{2}{{\left( \frac{1}{{x}^{2}}+1\right) }^{2}\,{x}^{3}} $$

$$ f^{(2)}(x) = \frac{8}{{\left( \frac{1}{{x}^{2}}+1\right) }^{3}\,{x}^{6}}-\frac{6}{{\left( \frac{1}{{x}^{2}}+1\right) }^{2}\,{x}^{4}} $$ ... $$ f^{(6)}(x) = -\frac{5040}{(\frac{1}{x^2} + 1)^2x^8}+\frac{504000}{(\frac{1}{x^2} + 1)^3x^{10}} - \frac{166320}{(\frac{1}{x^2} + 1)^4x^{12}} + \frac{247680}{(\frac{1}{x^2} + 1)^5x^{14}} - \frac{172800}{(\frac{1}{x^2} + 1)^6x^{16}} + \frac{46080}{(\frac{1}{x^2} + 1)^7x^{18}} $$ $$ f^{(7)}(x) = \frac{40320}{{\left( \frac{1}{{x}^{2}}+1\right) }^{2}\,{x}^{9}}-\frac{524160}{{\left( \frac{1}{{x}^{2}}+1\right) }^{3}\,{x}^{11}}+\frac{2298240}{{\left( \frac{1}{{x}^{2}}+1\right) }^{4}\,{x}^{13}}-\frac{4798080}{{\left( \frac{1}{{x}^{2}}+1\right) }^{5}\,{x}^{15}}+\frac{5241600}{{\left( \frac{1}{{x}^{2}}+1\right) }^{6}\,{x}^{17}}-\frac{2903040}{{\left( \frac{1}{{x}^{2}}+1\right) }^{7}\,{x}^{19}}+\frac{645120}{{\left( \frac{1}{{x}^{2}}+1\right) }^{8}\,{x}^{21}} $$

  • 0
    Do you mean numerators or denominators?2012-01-05
  • 0
    @joriki sorry, it is numerators2012-01-05