{
  "index": "2017-B-3",
  "type": "ANA",
  "tag": [
    "ANA",
    "NT"
  ],
  "difficulty": "",
  "question": "Suppose that $f(x) = \\sum_{i=0}^\\infty c_i x^i$ is a power series for which each coefficient $c_i$ is $0$ or $1$.\nShow that if $f(2/3) = 3/2$, then $f(1/2)$ must be irrational.",
  "solution": "Suppose by way of contradiction that $f(1/2)$ is rational. Then $\\sum_{i=0}^{\\infty} c_i 2^{-i}$ is the binary expansion of a rational number, and hence must be eventually periodic; that is, there exist some integers $m,n$ such that\n$c_i = c_{m+i}$ for all $i \\geq n$. We may then write\n\\[\nf(x) = \\sum_{i=0}^{n-1} c_i x^i + \\frac{x^n}{1-x^m} \\sum_{i=0}^{m-1} c_{n+i} x^i.\n\\]\nEvaluating at $x = 2/3$, we may equate $f(2/3) = 3/2$ with \n\\[\n\\frac{1}{3^{n-1}} \\sum_{i=0}^{n-1} c_i 2^i 3^{n-i-1} + \\frac{2^n 3^m}{3^{n+m-1}(3^m-2^m)} \\sum_{i=0}^{m-1} c_{n+i} 2^i 3^{m-1-i};\n\\]\nsince all terms on the right-hand side have odd denominator, the same must be true of the sum, a contradiction.\n\n\\noindent\n\\textbf{Remark:}\nGreg Marks asks whether the assumption that $f(2/3)=3/2$ further ensures that $f(1/2)$ is transcendental. \nWe do not know of any existing results that would imply this. However, the following result follows from a theorem of T. Tanaka (Algebraic independence of the values of power series generated by linear recurrences, \\textit{Acta Arith.} \\textbf{74} (1996), 177--190), building upon work of Mahler.\nLet $\\{a_n\\}_{n=0}^\\infty$ be a linear recurrent sequence of positive integers with characteristic polynomial $P$.\nSuppose that $P(0), P(1), P(-1) \\neq 0$ and that no two distinct roots of $P$ have ratio which is a root of unity. Then\nfor $f(x) = \\sum_{n=0}^\\infty x^{a_n}$, the values $f(1/2)$ and $f(2/3)$ are algebraically independent over $\\QQ$.\n(Note that for $f$ as in the original problem, the condition on ratios of roots of $P$ fails.)",
  "vars": [
    "x",
    "i"
  ],
  "params": [
    "f",
    "c_i",
    "m",
    "n",
    "a_n",
    "P"
  ],
  "sci_consts": [],
  "variants": {
    "descriptive_long": {
      "map": {
        "x": "variable",
        "i": "indexer",
        "f": "function",
        "c_i": "coefficient",
        "m": "periodlen",
        "n": "offset",
        "a_n": "sequenceterm",
        "P": "polynomial"
      },
      "question": "Suppose that $function(variable) = \\sum_{indexer=0}^{\\infty} coefficient\\, variable^{indexer}$ is a power series for which each coefficient $coefficient$ is $0$ or $1$.\\nShow that if $function(2/3) = 3/2$, then $function(1/2)$ must be irrational.",
      "solution": "Suppose by way of contradiction that $function(1/2)$ is rational. Then $\\sum_{indexer=0}^{\\infty} coefficient 2^{-indexer}$ is the binary expansion of a rational number, and hence must be eventually periodic; that is, there exist some integers $periodlen,offset$ such that\\n$coefficient = c_{periodlen+indexer}$ for all $indexer \\ge offset$. We may then write\\n\\[\\nfunction(variable) = \\sum_{indexer=0}^{offset-1} coefficient\\, variable^{indexer} + \\frac{variable^{offset}}{1-variable^{periodlen}} \\sum_{indexer=0}^{periodlen-1} c_{offset+indexer}\\, variable^{indexer}.\\n\\]\\nEvaluating at $variable = 2/3$, we may equate $function(2/3) = 3/2$ with \\n\\[\\n\\frac{1}{3^{offset-1}} \\sum_{indexer=0}^{offset-1} coefficient 2^{indexer} 3^{offset-indexer-1} + \\frac{2^{offset} 3^{periodlen}}{3^{offset+periodlen-1}(3^{periodlen}-2^{periodlen})} \\sum_{indexer=0}^{periodlen-1} c_{offset+indexer} 2^{indexer} 3^{periodlen-1-indexer};\\n\\]\\nsince all terms on the right-hand side have odd denominator, the same must be true of the sum, a contradiction.\\n\\n\\noindent\\n\\textbf{Remark:}\\nGreg Marks asks whether the assumption that $function(2/3)=3/2$ further ensures that $function(1/2)$ is transcendental. \\nWe do not know of any existing results that would imply this. However, the following result follows from a theorem of T. Tanaka (Algebraic independence of the values of power series generated by linear recurrences, \\textit{Acta Arith.} \\textbf{74} (1996), 177--190), building upon work of Mahler.\\nLet $\\{sequenceterm\\}_{offset=0}^{\\infty}$ be a linear recurrent sequence of positive integers with characteristic polynomial $polynomial$.\\nSuppose that $polynomial(0),\\, polynomial(1),\\, polynomial(-1) \\neq 0$ and that no two distinct roots of $polynomial$ have ratio which is a root of unity. Then\\nfor $function(variable) = \\sum_{offset=0}^{\\infty} variable^{sequenceterm}$, the values $function(1/2)$ and $function(2/3)$ are algebraically independent over $\\QQ$.\\n(Note that for $function$ as in the original problem, the condition on ratios of roots of $polynomial$ fails.)"
    },
    "descriptive_long_confusing": {
      "map": {
        "x": "sandcastle",
        "f": "fjordscape",
        "c_i": "guacamole",
        "m": "laryngitis",
        "n": "chandelier",
        "a_n": "gingerroot",
        "P": "scrollwork"
      },
      "question": "Suppose that $fjordscape(sandcastle) = \\sum_{i=0}^\\infty guacamole_{i} \\, sandcastle^{i}$ is a power series for which each coefficient $guacamole_{i}$ is $0$ or $1$.\nShow that if $fjordscape(2/3) = 3/2$, then $fjordscape(1/2)$ must be irrational.",
      "solution": "Suppose by way of contradiction that $fjordscape(1/2)$ is rational. Then $\\sum_{i=0}^{\\infty} guacamole_{i}\\, 2^{-i}$ is the binary expansion of a rational number, and hence must be eventually periodic; that is, there exist some integers $laryngitis,chandelier$ such that\n$guacamole_{i} = guacamole_{laryngitis+i}$ for all $i \\geq chandelier$. We may then write\n\\[\nfjordscape(sandcastle) = \\sum_{i=0}^{chandelier-1} guacamole_{i} \\, sandcastle^{i} + \\frac{sandcastle^{chandelier}}{1-sandcastle^{laryngitis}} \\sum_{i=0}^{laryngitis-1} guacamole_{chandelier+i} \\, sandcastle^{i}.\n\\]\nEvaluating at $sandcastle = 2/3$, we may equate $fjordscape(2/3) = 3/2$ with \n\\[\n\\frac{1}{3^{chandelier-1}} \\sum_{i=0}^{chandelier-1} guacamole_{i} 2^{i} 3^{chandelier-i-1} + \\frac{2^{chandelier} 3^{laryngitis}}{3^{chandelier+laryngitis-1}(3^{laryngitis}-2^{laryngitis})} \\sum_{i=0}^{laryngitis-1} guacamole_{chandelier+i} 2^{i} 3^{laryngitis-1-i};\n\\]\nsince all terms on the right-hand side have odd denominator, the same must be true of the sum, a contradiction.\n\n\\noindent\n\\textbf{Remark:}\nGreg Marks asks whether the assumption that $fjordscape(2/3)=3/2$ further ensures that $fjordscape(1/2)$ is transcendental. \nWe do not know of any existing results that would imply this. However, the following result follows from a theorem of T. Tanaka (Algebraic independence of the values of power series generated by linear recurrences, \\textit{Acta Arith.} \\textbf{74} (1996), 177--190), building upon work of Mahler.\nLet $\\{gingerroot_{chandelier}\\}_{chandelier=0}^\\infty$ be a linear recurrent sequence of positive integers with characteristic polynomial $scrollwork$.\nSuppose that $scrollwork(0), scrollwork(1), scrollwork(-1) \\neq 0$ and that no two distinct roots of $scrollwork$ have ratio which is a root of unity. Then\nfor $fjordscape(sandcastle) = \\sum_{chandelier=0}^\\infty sandcastle^{gingerroot_{chandelier}}$, the values $fjordscape(1/2)$ and $fjordscape(2/3)$ are algebraically independent over $\\QQ$.\n(Note that for $fjordscape$ as in the original problem, the condition on ratios of roots of $scrollwork$ fails.)"
    },
    "descriptive_long_misleading": {
      "map": {
        "x": "constantval",
        "i": "aggregate",
        "f": "immutable",
        "c_i": "noncoeffic",
        "m": "fractional",
        "n": "continuous",
        "a_n": "singularval",
        "P": "singleton"
      },
      "question": "Suppose that $immutable(constantval) = \\sum_{aggregate=0}^\\infty noncoeffic constantval^{aggregate}$ is a power series for which each coefficient $noncoeffic$ is $0$ or $1$.\nShow that if $immutable(2/3) = 3/2$, then $immutable(1/2)$ must be irrational.",
      "solution": "Suppose by way of contradiction that $immutable(1/2)$ is rational. Then $\\sum_{aggregate=0}^{\\infty} noncoeffic 2^{-aggregate}$ is the binary expansion of a rational number, and hence must be eventually periodic; that is, there exist some integers $fractional,continuous$ such that\n$noncoeffic = noncoeffic$ for all $aggregate \\geq continuous$. We may then write\n\\[\nimmutable(constantval) = \\sum_{aggregate=0}^{continuous-1} noncoeffic constantval^{aggregate} + \\frac{constantval^{continuous}}{1-constantval^{fractional}} \\sum_{aggregate=0}^{fractional-1} noncoeffic constantval^{aggregate}.\n\\]\nEvaluating at $constantval = 2/3$, we may equate $immutable(2/3) = 3/2$ with \n\\[\n\\frac{1}{3^{continuous-1}} \\sum_{aggregate=0}^{continuous-1} noncoeffic 2^{aggregate} 3^{continuous-aggregate-1} + \\frac{2^{continuous} 3^{fractional}}{3^{continuous+fractional-1}(3^{fractional}-2^{fractional})} \\sum_{aggregate=0}^{fractional-1} noncoeffic 2^{aggregate} 3^{fractional-1-aggregate};\n\\]\nsince all terms on the right-hand side have odd denominator, the same must be true of the sum, a contradiction.\n\n\\noindent\n\\textbf{Remark:}\nGreg Marks asks whether the assumption that $immutable(2/3)=3/2$ further ensures that $immutable(1/2)$ is transcendental. \nWe do not know of any existing results that would imply this. However, the following result follows from a theorem of T. Tanaka (Algebraic independence of the values of power series generated by linear recurrences, \\textit{Acta Arith.} \\textbf{74} (1996), 177--190), building upon work of Mahler.\nLet $\\{singularval\\}_{continuous=0}^\\infty$ be a linear recurrent sequence of positive integers with characteristic polynomial $singleton$.\nSuppose that $singleton(0), singleton(1), singleton(-1) \\neq 0$ and that no two distinct roots of $singleton$ have ratio which is a root of unity. Then\nfor $immutable(constantval) = \\sum_{continuous=0}^\\infty constantval^{singularval}$, the values $immutable(1/2)$ and $immutable(2/3)$ are algebraically independent over $\\QQ$.\n(Note that for $immutable$ as in the original problem, the condition on ratios of roots of $singleton$ fails.)"
    },
    "garbled_string": {
      "map": {
        "x": "vzktdnhg",
        "i": "hsplrkbt",
        "f": "zqtmpyfw",
        "c_i": "qzxwvtnp",
        "m": "hjgrksla",
        "n": "pkqjzrue",
        "a_n": "wvbsqnez",
        "P": "rsjdvkhm"
      },
      "question": "Suppose that $zqtmpyfw(vzktdnhg) = \\sum_{hsplrkbt=0}^\\infty qzxwvtnp_{hsplrkbt} vzktdnhg^{hsplrkbt}$ is a power series for which each coefficient $qzxwvtnp_{hsplrkbt}$ is $0$ or $1$.\nShow that if $zqtmpyfw(2/3) = 3/2$, then $zqtmpyfw(1/2)$ must be irrational.",
      "solution": "Suppose by way of contradiction that $zqtmpyfw(1/2)$ is rational. Then $\\sum_{hsplrkbt=0}^{\\infty} qzxwvtnp_{hsplrkbt} 2^{-hsplrkbt}$ is the binary expansion of a rational number, and hence must be eventually periodic; that is, there exist some integers $hjgrksla,pkqjzrue$ such that\n$qzxwvtnp_{hsplrkbt} = qzxwvtnp_{hjgrksla+hsplrkbt}$ for all $hsplrkbt \\geq pkqjzrue$. We may then write\n\\[\nzqtmpyfw(vzktdnhg) = \\sum_{hsplrkbt=0}^{pkqjzrue-1} qzxwvtnp_{hsplrkbt} vzktdnhg^{hsplrkbt} + \\frac{vzktdnhg^{pkqjzrue}}{1-vzktdnhg^{hjgrksla}} \\sum_{hsplrkbt=0}^{hjgrksla-1} qzxwvtnp_{pkqjzrue+hsplrkbt} vzktdnhg^{hsplrkbt}.\n\\]\nEvaluating at $vzktdnhg = 2/3$, we may equate $zqtmpyfw(2/3) = 3/2$ with \n\\[\n\\frac{1}{3^{pkqjzrue-1}} \\sum_{hsplrkbt=0}^{pkqjzrue-1} qzxwvtnp_{hsplrkbt} 2^{hsplrkbt} 3^{pkqjzrue-hsplrkbt-1} + \\frac{2^{pkqjzrue} 3^{hjgrksla}}{3^{pkqjzrue+hjgrksla-1}(3^{hjgrksla}-2^{hjgrksla})} \\sum_{hsplrkbt=0}^{hjgrksla-1} qzxwvtnp_{pkqjzrue+hsplrkbt} 2^{hsplrkbt} 3^{hjgrksla-1-hsplrkbt};\n\\]\nsince all terms on the right-hand side have odd denominator, the same must be true of the sum, a contradiction.\n\n\\noindent\n\\textbf{Remark:}\nGreg Marks asks whether the assumption that $zqtmpyfw(2/3)=3/2$ further ensures that $zqtmpyfw(1/2)$ is transcendental. \nWe do not know of any existing results that would imply this. However, the following result follows from a theorem of T. Tanaka (Algebraic independence of the values of power series generated by linear recurrences, \\textit{Acta Arith.} \\textbf{74} (1996), 177--190), building upon work of Mahler.\nLet $\\{wvbsqnez_{pkqjzrue}\\}_{pkqjzrue=0}^\\infty$ be a linear recurrent sequence of positive integers with characteristic polynomial $rsjdvkhm$.\nSuppose that $rsjdvkhm(0), rsjdvkhm(1), rsjdvkhm(-1) \\neq 0$ and that no two distinct roots of $rsjdvkhm$ have ratio which is a root of unity. Then\nfor $zqtmpyfw(vzktdnhg) = \\sum_{pkqjzrue=0}^\\infty vzktdnhg^{wvbsqnez_{pkqjzrue}}$, the values $zqtmpyfw(1/2)$ and $zqtmpyfw(2/3)$ are algebraically independent over $\\QQ$.\n(Note that for $zqtmpyfw$ as in the original problem, the condition on ratios of roots of $rsjdvkhm$ fails.)"
    },
    "kernel_variant": {
      "question": "Let\n\\[\n   f(x)=\\sum_{i=0}^{\\infty} c_i x^{i}, \\qquad c_i\\in\\{0,1\\},\n\\]\nand suppose that\n\\[\n   f\\!\\left(\\frac45\\right)=\\frac52.\n\\]\nProve that the number \\(f(1/2)\\) is irrational.",
      "solution": "Proof (corrected in full detail).  Suppose, for contradiction, that\n\n  f(1/2)=\\sum_{i=0}^\\infty c_i2^{-i}\n\nis rational.  Then its binary expansion is eventually periodic, so there are integers n\\ge1 and m\\ge1 such that\n\n  c_{i+m}=c_i  \\quad\\text{for all }i\\ge n.\n\nAccordingly, we split the power series into a finite part plus a repeating tail.  Writing\n\n  A(x)=\\sum_{i=0}^{n-1}c_i x^i,\n  B(x)=\\sum_{i=0}^{m-1}c_{n+i}x^i,\n\nwe have for all |x|<1,\n\n  f(x)=A(x)+x^n\\sum_{i=0}^\\infty c_{n+i}x^i\n       =A(x)+\\frac{x^n}{1-x^m}\\,B(x).\n\nNow evaluate at x=4/5.  We check that each of the two summands on the right is a rational number whose denominator (in lowest terms) is a power of 5 and hence odd.\n\n1)  Finite part:\n\n   A(4/5)=\\sum_{i=0}^{n-1}c_i\\bigl(4/5\\bigr)^i\n          =\\frac1{5^{n-1}}\\sum_{i=0}^{n-1}c_i\\,4^i\\,5^{\\,n-1-i}.\n\n   Since c_i\\in\\{0,1\\}, the numerator is an integer and the denominator is 5^{n-1}, which is odd.\n\n2)  Tail part:\n\n   T:=\\frac{(4/5)^n}{1-(4/5)^m}\\sum_{i=0}^{m-1}c_{n+i}(4/5)^i.\n\n   First,\n     (4/5)^n=4^n/5^n,\n     1-(4/5)^m=(5^m-4^m)/5^m,\n   and\n     \\sum_{i=0}^{m-1}c_{n+i}(4/5)^i\n       =\\frac1{5^{m-1}}\\sum_{i=0}^{m-1}c_{n+i}\\,4^i\\,5^{\\,m-1-i}.\n\n   Therefore\n\n   T=\\frac{4^n}{5^n}\\cdot\\frac{5^m}{5^m-4^m}\\cdot\\frac1{5^{m-1}}\\sum_{i=0}^{m-1}c_{n+i}\\,4^i\\,5^{\\,m-1-i}\n     =\\frac{\\displaystyle4^n\\sum_{i=0}^{m-1}c_{n+i}4^i5^{\\,m-1-i}\\,5^m}{5^{n+(m-1)}\\,(5^m-4^m)}\n     =\\frac{\\text{integer}}{5^{n+m-1}(5^m-4^m)}.\n\n   Here 5^{n+m-1} is odd and (5^m-4^m)=\\text{odd}-\\text{even}=\\text{odd}.  Thus T in lowest terms also has an odd denominator.\n\nAdding, f(4/5)=A(4/5)+T is a rational number whose denominator (in lowest terms) is odd.  But by hypothesis\n\n  f(4/5)=5/2\n\nwhose denominator 2 is even.  This contradiction shows that f(1/2) cannot be rational.  Hence f(1/2) is irrational, as claimed.  \\boxed{}",
      "_meta": {
        "core_steps": [
          "Assume f(1/2) is rational, so the binary (base-2) expansion is eventually periodic.",
          "Translate “eventually periodic” into c_{n+i}=c_i for i≥n, giving a finite part plus a geometric-series tail.",
          "Write f(x)=∑_{i=0}^{n-1}c_i x^i + (x^n/(1-x^m))∑_{i=0}^{m-1}c_{n+i}x^i.",
          "Evaluate this at x=2/3; every denominator that appears is a product of powers of 3 and (3^m−2^m), hence odd.",
          "But f(2/3)=3/2 has an even denominator, contradiction ⇒ f(1/2) irrational."
        ],
        "mutable_slots": {
          "slot1": {
            "description": "Rational value assigned to f at the special point; only the property “irreducible denominator even” is used.",
            "original": "3/2"
          },
          "slot2": {
            "description": "Special evaluation point a/b with a even, b odd (here 2/3); guarantees all constructed denominators stay odd.",
            "original": "2/3"
          }
        }
      }
    }
  },
  "checked": true,
  "problem_type": "proof"
}