{"id":"n-6dca6e79e178d866","revision":1,"first_index":0,"fingerprint":"f6-ec0bf7acaf45f506","name":"obreschkoff_combination of Triangle of coefficients in expansion of (1+5x)^n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":3,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["2","25","100","125"],["2","35","225","625","625"],["2","45","400","1750","3750","3125"],["2","55","625","3750","12500","21875","15625"],["2","65","900","6875","31250","84375","125000","78125"],["2","75","1225","11375","65625","240625","546875","703125","390625"],["2","85","1600","17500","122500","568750","1750000","3437500","3906250","1953125"],["2","95","2025","25500","210000","1181250","4593750","12187500","21093750","21484375","9765625"],["2","105","2500","35625","337500","2231250","10500000","35156250","82031250","126953125","117187500","48828125"],["2","115","3025","48125","515625","3918750","21656250","87656250","257812500","537109375","751953125","634765625","244140625"],["2","125","3600","63250","756250","6496875","41250000","195937500","696093750","1826171875","3437500000","4394531250","3417968750","1220703125"],["2","135","4225","81250","1072500","10278125","73734375","402187500","1675781250","5306640625","12568359375","21582031250","25390625000","18310546875","6103515625"],["2","145","4900","102375","1478750","15640625","125125000","770859375","3686718750","13685546875","39101562500","84423828125","133300781250","145263671875","97656250000","30517578125"],["2","155","5625","126875","1990625","23034375","203328125","1396484375","7541015625","32119140625","107529296875","279931640625","555419921875","811767578125","823974609375","518798828125","152587890625"],["2","165","6400","155000","2625000","32987500","318500000","2413125000","14523437500","69824218750","268125000000","817578125000","1955078125000","3588867187500","4882812500000","4638671875000","2746582031250","762939453125"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["252","1512","9072","54432","326592","1959552","11757312","70543872","423263232","2539579392","15237476352","91424858112","548549148672","3291294892032","19747769352192"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2","25","100","125"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162807,"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-0f5b357fc0453aeb"]}],"region_exact":{},"incoming_edges":[{"id":"e-0f5b357fc0453aeb","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-6dca6e79e178d866","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":"96f00bbb93536ff5b7070347cb086df049681cbd328135c75e62e7a6c0fddab5","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-bbfc5a54ff13a785","role":"sequence","name":"Triangle of coefficients in expansion of (1+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-bbfc5a54ff13a785","role":"sequence","name":"Triangle of coefficients in expansion of (1+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-0e175314b46f7dca","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A168780","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168780","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-0eb06e6f8872be0e","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A168876","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168876","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-2668de23f1a40ffb","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A168828","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168828","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-37b663dfe1a29747","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A168972","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168972","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-38c0052bccd88ced","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A168732","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168732","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7380680c96a9a40d","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A003949","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A003949","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-753ffc2d058ac4a0","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A169020","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A169020","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fa5a0506add8fb36","kind":"oeis_match","node_a_id":"n-6dca6e79e178d866","node_b_id":null,"fingerprint":null,"oeis_id":"A168924","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":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168924","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A003949","relation":"match_row_sums"},{"oeis_id":"A168732","relation":"match_row_sums"},{"oeis_id":"A168780","relation":"match_row_sums"},{"oeis_id":"A168828","relation":"match_row_sums"},{"oeis_id":"A168876","relation":"match_row_sums"},{"oeis_id":"A168924","relation":"match_row_sums"},{"oeis_id":"A168972","relation":"match_row_sums"},{"oeis_id":"A169020","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: 2,  25,  100,   125;\n  1: 2,  35,  225,   625,    625;\n  2: 2,  45,  400,  1750,   3750,    3125;\n  3: 2,  55,  625,  3750,  12500,   21875,    15625;\n  4: 2,  65,  900,  6875,  31250,   84375,   125000,    78125;\n  5: 2,  75, 1225, 11375,  65625,  240625,   546875,   703125,    390625;\n  6: 2,  85, 1600, 17500, 122500,  568750,  1750000,  3437500,   3906250,   1953125;\n  7: 2,  95, 2025, 25500, 210000, 1181250,  4593750, 12187500,  21093750,  21484375,   9765625;\n  8: 2, 105, 2500, 35625, 337500, 2231250, 10500000, 35156250,  82031250, 126953125, 117187500,  48828125;\n  9: 2, 115, 3025, 48125, 515625, 3918750, 21656250, 87656250, 257812500, 537109375, 751953125, 634765625, 244140625;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 2 + 25*x + 100*x^2 + 125*x^3.","mathematica":"P[0, x_] := 2 + 25*x + 100*x^2 + 125*x^3;\nP[n_, x_] := P[n, x] = Expand[(1 + 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] = 2 + 25*x + 100*x^2 + 125*x^3; for(n = 1, N, my(i = n + 1); v[i] = (1 + 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-bbfc5a54ff13a785","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-0f5b357fc0453aeb"],"text":"A013612 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A013612 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}