{"id":"n-20136f1eca6c24ba","revision":0,"first_index":1,"fingerprint":"f6-52f747cbc56100f1","name":"Triangle read by rows giving coefficients of the trigonometric expansion of sin(n*x).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"irregular","degree_slope":null,"degree_intercept":null,"palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":false,"rows":[["1"],["2"],["3","0","-1"],["4","0","-4"],["5","0","-10","0","1"],["6","0","-20","0","6"],["7","0","-35","0","21","0","-1"],["8","0","-56","0","56","0","-8"],["9","0","-84","0","126","0","-36","0","1"],["10","0","-120","0","252","0","-120","0","10"],["11","0","-165","0","462","0","-330","0","55","0","-1"],["12","0","-220","0","792","0","-792","0","220","0","-12"],["13","0","-286","0","1287","0","-1716","0","715","0","-78","0","1"],["14","0","-364","0","2002","0","-3432","0","2002","0","-364","0","14"],["15","0","-455","0","3003","0","-6435","0","5005","0","-1365","0","105","0","-1"]],"degrees":[0,0,2,2,4,4,6,6,8,8,10,10,12,12,14],"row_sums":["1","2","2","0","-4","-8","-8","0","16","32","32","0","-64","-128","-128"],"nonn":false,"definitions":[{"position":0,"source":"oeis_catalog:A095704","source_kind":"oeis_catalog","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-1","0","-1"]]},"deriv_order":0,"offset":2,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":169272,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-7012213a5f97c642"]}],"region_exact":{},"incoming_edges":[{"id":"e-7012213a5f97c642","operation":{"operation":"theorem_check","theorem":"liu_wang_three_term"},"operation_detail":"liu_wang_three_term","conclusion_id":"n-20136f1eca6c24ba","premise_count":0,"theorem":"L. L. Liu and Y. Wang, Adv. Appl. Math. 38 (2007) 542-560, Theorem 2.1 and Corollary 2.4 (A unified approach to polynomial sequences with only real zeros; the lag row as the interlacer, b_n = 0), weak interlacing of consecutive rows, with nonnegativity of the coefficients replaced, where a root region is certified, by an exact root-location induction","lean_route":null,"lean_declarations":["RealRooted.MaWang.strictInterl_of_interlaces_evalCoeff_nonpos"],"certificate_hash":"a45922750cc24ed50d0999312e9320692499ff1091a2fcd297d488e87c6ab439","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{}}],"premises":[]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-410002d5cb83a56a","kind":"oeis_match","node_a_id":"n-20136f1eca6c24ba","node_b_id":null,"fingerprint":null,"oeis_id":"A099087","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":0,"details":{"alignment":{"first_row":1,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A099087","oeis_nonn":false},"other_id":null,"other":null},{"id":"l-ce86e69ef965a017","kind":"oeis_match","node_a_id":"n-20136f1eca6c24ba","node_b_id":null,"fingerprint":null,"oeis_id":"A009545","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":0,"details":{"alignment":{"first_row":1,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009545","oeis_nonn":false},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A095704","relation":"identification"},{"oeis_id":"A009545","relation":"match_row_sums"},{"oeis_id":"A099087","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-20136f1eca6c24ba","oeis_id":"A099087","target":"row_sums","oeis_offset":0,"first_row":1,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":49,"oeis_terms_available":49,"term_count":200,"raw_size":3330}],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:  1;\n   2:  2;\n   3:  3, 0,   -1;\n   4:  4, 0,   -4;\n   5:  5, 0,  -10, 0,   1;\n   6:  6, 0,  -20, 0,   6;\n   7:  7, 0,  -35, 0,  21, 0,   -1;\n   8:  8, 0,  -56, 0,  56, 0,   -8;\n   9:  9, 0,  -84, 0, 126, 0,  -36, 0,  1;\n  10: 10, 0, -120, 0, 252, 0, -120, 0, 10;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = 2*P(n-1,x) - (1+x^2)*P(n-2,x) for n >= 3, with P(1,x) = 1, P(2,x) = 2.","mathematica":"P[1, x_] := 1;\nP[2, x_] := 2;\nP[n_, x_] := P[n, x] = Expand[2*P[n - 1, x] - (1 + x^2)*P[n - 2, x]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = 2; for(n = 3, N, my(i = n); v[i] = 2*v[i - 1] - (1 + x^2)*v[i - 2]); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-20136f1eca6c24ba","steps":[],"edges":[],"text":"A095704"},"headline":"A095704: Triangle read by rows giving coefficients of the trigonometric expansion of sin(n*x).","chain":null}