text: # Gelfond-Schneider Theorem/Lemma 1
  
  ## Lemma
  
  Let $\map {a_1} t, \ldots, \map {a_n} t$ be non-zero polynomials in $\R \sqbrk t$ of degrees $d_1, \ldots, d_n$ respectively.
  
  Let $w_1, \ldots, w_n$ be pairwise distinct real numbers.
  
  Then:
  
  $\ds \map F t = \sum_{j \mathop = 1}^n \map {a_j} t e^{w_j t}$
  
  has at most $d_1 + \cdots + d_n + n − 1$ real roots (counting multiplicities).
  
  ## Proof
  
  By multiplying through by $e^{−w_n t}$ if necessary, we may suppose that $w_n = 0$ and that otherwise $w_j \ne 0$.
  
  Let $k = d_1 + \cdots + d_n + n$.
  
  We use strong induction on $k$.
  
  If $k = 1$, then $n = 1$ and $d_1 = 0$, and the lemma easily follows.
  
  Let $l \ge 2$ be such that the lemma holds whenever $k < l$.
  
  Suppose $k = l$.
  
  Let $N$ be the number of real roots of $\map F t$.
  
  By Rolle's Theorem, the number of real roots of $\map {F'} t$ is at least $N − 1$.
  
  On the other hand:
  
  $\ds \map {F'} t = \sum_{j \mathop = 1}^n \map {b_j} t e^{w_j t}$
  
  where:
  
  $\map {b_j} t = \map { {a_j}'} t + w_j \map {a_j} t$
  
  Note that for $1 \le j \le n − 1$, we have that $\map {b_j} t$ has degree exactly $d_j$.
  
  Also, since $w_n = 0$, either:
  
  there are only $n − 1$ non-zero polynomials $\map {b_j} t$ in the expression for $\map {F'} t$ above
  
  or:
  
  there are $n$ such polynomials and the degree of $\map {b_n} t$ is one less than the degree of $\map {a_n} t$.
  
  It follows from the induction hypothesis that $\map {F'} t$ has at most $d_1 + \cdots + d_n + n − 2$ real roots.
  
  Hence:
  
  $N − 1 \le d_1 + \cdots + d_n + n − 2$
  
  and the result follows.
  
  $\blacksquare$
metadata: {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}