{"id":"n-8ae41b2ed712d989","revision":1,"first_index":0,"fingerprint":"f6-ee71b88eaf7760c9","name":"obreschkoff_combination of Triangle of coefficients in expansion of (3+5x)^n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["4","5"],["12","35","25"],["36","165","250","125"],["108","675","1575","1625","625"],["324","2565","8100","12750","10000","3125"],["972","9315","37125","78750","93750","59375","15625"],["2916","32805","157950","421875","675000","646875","343750","78125"],["8748","112995","637875","2055375","4134375","5315625","4265625","1953125","390625"],["26244","382725","2478600","9355500","22680000","36618750","39375000","27187500","10937500","1953125"],["78732","1279395","9349425","40459500","114817500","223256250","301218750","278437500","168750000","60546875","9765625"],["236196","4231845","34445250","168125625","546750000","1243856250","2019937500","2341406250","1898437500","1025390625","332031250","48828125"],["708588","13876515","124494975","676603125","2480878125","6465318750","12279093750","17123906250","17402343750","12568359375","6123046875","1806640625","244140625"],["2125764","45172485","442867500","2652284250","10825650000","31800346875","69163875000","112767187500","137826562500","124716796875","81210937500","36035156250","9765625000","1220703125"],["6377292","146146275","1554464925","10171190250","45738371250","149529290625","366493359375","684120937500","977315625000","1063283203125","867216796875","514160156250","209472656250","52490234375","6103515625"],["19131876","470325285","5394126150","38285895375","188071065000","677279728125","1847126531250","3884829609375","6352551562500","8076427734375","7918066406250","5878564453125","3199218750000","1204833984375","280761718750","30517578125"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["9","72","576","4608","36864","294912","2359296","18874368","150994944","1207959552","9663676416","77309411328","618475290624","4947802324992","39582418599936"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["4","5"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162787,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-19ee20f31e12280f"]}],"region_exact":{},"incoming_edges":[{"id":"e-19ee20f31e12280f","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-8ae41b2ed712d989","premise_count":2,"theorem":"Hermite--Kakeya--Obreschkoff: real-rooted f, g with interlacing zeros give a zero or real-rooted a f + b g for all real a, b (Obreschkoff 1963; Fisk, Polynomials, roots, and interlacing, Thm 1.43)","lean_route":null,"lean_declarations":[],"certificate_hash":"92817b1b33137ad6d065c5a8c0b666c2b1879ee35b19fdc951b7d84634d92f8e","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-c44f7114310405ad","role":"sequence","name":"Triangle of coefficients in expansion of (3+5x)^n.","uses":{"claim":"real_rooted","from_index":0,"region":{}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-c44f7114310405ad","role":"sequence","name":"Triangle of coefficients in expansion of (3+5x)^n.","uses":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-101038015aaa5ede","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A168782","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168782","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-5b1e8b377bbb38ca","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A168830","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168830","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-5fa0d06f53606eae","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A168878","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168878","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-621c8d2a7b2abab7","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A167900","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A167900","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-804b1e574c8db481","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A168734","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168734","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b6ff90a3d772c35b","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A168686","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168686","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f8975846fcba09ec","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A003951","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A003951","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fa1ab4d99bc6ef3a","kind":"oeis_match","node_a_id":"n-8ae41b2ed712d989","node_b_id":null,"fingerprint":null,"oeis_id":"A168926","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168926","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A003951","relation":"match_row_sums"},{"oeis_id":"A167900","relation":"match_row_sums"},{"oeis_id":"A168686","relation":"match_row_sums"},{"oeis_id":"A168734","relation":"match_row_sums"},{"oeis_id":"A168782","relation":"match_row_sums"},{"oeis_id":"A168830","relation":"match_row_sums"},{"oeis_id":"A168878","relation":"match_row_sums"},{"oeis_id":"A168926","relation":"match_row_sums"}],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:     4,       5;\n  1:    12,      35,      25;\n  2:    36,     165,     250,      125;\n  3:   108,     675,    1575,     1625,       625;\n  4:   324,    2565,    8100,    12750,     10000,      3125;\n  5:   972,    9315,   37125,    78750,     93750,     59375,     15625;\n  6:  2916,   32805,  157950,   421875,    675000,    646875,    343750,     78125;\n  7:  8748,  112995,  637875,  2055375,   4134375,   5315625,   4265625,   1953125,    390625;\n  8: 26244,  382725, 2478600,  9355500,  22680000,  36618750,  39375000,  27187500,  10937500,  1953125;\n  9: 78732, 1279395, 9349425, 40459500, 114817500, 223256250, 301218750, 278437500, 168750000, 60546875, 9765625;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (3+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 4 + 5*x.","mathematica":"P[0, x_] := 4 + 5*x;\nP[n_, x_] := P[n, x] = Expand[(3 + 5*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 4 + 5*x; for(n = 1, N, my(i = n + 1); v[i] = (3 + 5*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-c44f7114310405ad","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-19ee20f31e12280f"],"text":"A013622 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A013622 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}