| dbp:mathStatement
|
- If are linearly independent over the rational numbers, then for any algebraic numbers not all zero, we have
where H is the maximum of the heights of and C is an effectively computable number depending on n, and the maximum d of the degrees of In particular this number is nonzero, so 1 and are linearly independent over the algebraic numbers. (en)
|