Whitehead's point-free geometry: Difference between revisions
en>AK456 m WP:DPL |
en>AnomieBOT m Dating maintenance tags: {{Citation style}} |
||
Line 1: | Line 1: | ||
A [[polynomial]] is palindromic, if the sequence of its coefficients are a [[palindrome]]. | |||
Let | |||
:<math> P(x) = \sum_{i=0}^n a_ix^i</math> | |||
be a polynomial of [[Degree of a polynomial|degree]] ''n'', then ''P'' is palindromic if ''a<sub>i</sub>'' = ''a''<sub>''n'' − ''i''</sub> for ''i'' = 0, 1, ... ''n''. | |||
Similarly, P is called '''antipalindromic''' if ''a<sub>i</sub>'' = −''a''<sub>''n'' − ''i''</sub> for ''i'' = 0, 1, ... ''n''. It follows from the definition that if ''P'' is of even degree (so has odd number of terms in the polynomial), then it can only be antipalindromic when the 'middle' term is 0, i.e. ''a<sub>i</sub>'' = −''a<sub>n</sub>'', where ''n'' = 2''i''. | |||
==Examples== | |||
Some examples of palindromic polynomials are: | |||
:<math>(x+1)^2 = x^2 + 2x + 1</math> | |||
:<math>(x+1)^3 = x^3 + 3x^2 + 3x + 1.</math> | |||
These are examples of the expansion of (''x'' + 1)<sup>''n''</sup>, which is palindromic for all ''n'', this can be seen from the [[binomial expansion]]. | |||
Another example of a palindromic polynomial [which isn't of the form (''x'' + 1)<sup>''n''</sup>] is: | |||
:<math>x^2 + 3x + 1</math> | |||
An example of an antipalindromic polynomial is: | |||
:<math>x^2 - 1</math> | |||
Note the zero coefficient for the term in x. | |||
==Properties== | |||
# If ''a'' is a root of a polynomial that is either palindromic or antipalindromic, then 1/''a'' is also a root and has the same [[multiplicity (mathematics)|multiplicity]].<ref>{{harvnb|Pless|1990|loc=pg. 57}} for the palindromic case only</ref> | |||
# The converse is true: If a polynomial is such that if ''a'' is a root then 1/''a'' is also a root of the same multiplicity, then the polynomial is either palindromic or antipalindromic. | |||
# The product of two palindromic or antipalindromic polynomials is palindromic. | |||
# The product of a palindromic polynomial and an antipalindromic polynomial is antipalindromic. | |||
# A palindromic polynomial of odd degree is a multiple of ''x''+1 (it has -1 as a root) and its quotient by ''x''+1 is also palindromic. | |||
# An antipalindromic polynomial is a multiple of ''x''-1 (it has 1 as a root) and its quotient by ''x''-1 is palindromic. | |||
# An antipalindromic polynomial of even degree is a multiple of ''x''<sup>2</sup>-1 (it has -1 and 1 as a roots) and its quotient by ''x''<sup>2</sup>-1 is palindromic. | |||
# If ''p''(''x'') is a palindromic polynomial of even degree 2''d'', then there is a polynomial ''q'' of degree ''d'' such that ''x''<sup>''d''</sup>''q''(''x''+1/''x'') = ''p''(''x''). | |||
It results from these properties that the study of the roots of a polynomial of degree ''d'' that is either palindromic or antipalindromic may be reduced to the study of the roots of a polynomial of degree at most ''d''/2. | |||
== Factorization== | |||
Factorization techniques (and the search for roots) follow on directly from the properties listed above. | |||
For example, Property 5 yields an immediate factor ''x''+1 for palindromic polynomials of odd degree. | |||
As another example, Property 8 leads to the technique of dividing by ''x''<sup>''d''</sup> and replacing ''x'' + ''1''/''x'' by ''X''. | |||
As an example of the latter technique suppose | |||
:<math>x^4 + x^2 + 1 = 0</math> | |||
Letting ''X'' = ''x'' + ''1''/''x'', dividing by ''x''<sup>''2''</sup> and deriving | |||
:<math>X^2 = x^2 + 2 + 1/x^2</math> | |||
we have the much simpler | |||
:<math>X^2 - 1 = 0</math> | |||
which factorizes as | |||
:<math>(X - 1)(X + 1) = 0</math> | |||
so either ''X = ''1'' or ''X = - 1'' | |||
The ''X = - 1'' case yields | |||
:<math> x + 1/x = - 1</math> | |||
or | |||
:<math>x^2 + x + 1 = 0</math> | |||
which has no real roots. | |||
The ''X = 1'' case yields | |||
:<math> x + 1/x = 1</math> | |||
or | |||
:<math>x^2 - x + 1 = 0</math> | |||
which also has no real roots. | |||
==Converting other polynomials to palindromic form== | |||
Some polynomials can be converted to palindromic form by, for example, suitable substutions. For example consider | |||
:<math>4x^2 + 4x + 1</math>. | |||
Writing ''y'' = 2''x'' this becomes | |||
:<math>y^2 + 2y + 1</math> | |||
or | |||
:<math>(y + 1)^2</math> | |||
with the resultant factorization | |||
:<math>(2x + 1)^2</math> | |||
Similar techniques might yield a polynomial in antipalindromic form. | |||
==See also== | |||
* [[Reciprocal polynomial]] | |||
== Notes == | |||
{{reflist}} | |||
== External links == | |||
* {{MathPages|id=home/kmath294/kmath294|title=The Fundamental Theorem for Palindromic Polynomials}} | |||
{{Algebra-footer}} | |||
[[Category:Polynomials]] | |||
[[Category:Palindromes]] |
Revision as of 01:47, 28 March 2013
A polynomial is palindromic, if the sequence of its coefficients are a palindrome.
Let
be a polynomial of degree n, then P is palindromic if ai = an − i for i = 0, 1, ... n.
Similarly, P is called antipalindromic if ai = −an − i for i = 0, 1, ... n. It follows from the definition that if P is of even degree (so has odd number of terms in the polynomial), then it can only be antipalindromic when the 'middle' term is 0, i.e. ai = −an, where n = 2i.
Examples
Some examples of palindromic polynomials are:
These are examples of the expansion of (x + 1)n, which is palindromic for all n, this can be seen from the binomial expansion.
Another example of a palindromic polynomial [which isn't of the form (x + 1)n] is:
An example of an antipalindromic polynomial is:
Note the zero coefficient for the term in x.
Properties
- If a is a root of a polynomial that is either palindromic or antipalindromic, then 1/a is also a root and has the same multiplicity.[1]
- The converse is true: If a polynomial is such that if a is a root then 1/a is also a root of the same multiplicity, then the polynomial is either palindromic or antipalindromic.
- The product of two palindromic or antipalindromic polynomials is palindromic.
- The product of a palindromic polynomial and an antipalindromic polynomial is antipalindromic.
- A palindromic polynomial of odd degree is a multiple of x+1 (it has -1 as a root) and its quotient by x+1 is also palindromic.
- An antipalindromic polynomial is a multiple of x-1 (it has 1 as a root) and its quotient by x-1 is palindromic.
- An antipalindromic polynomial of even degree is a multiple of x2-1 (it has -1 and 1 as a roots) and its quotient by x2-1 is palindromic.
- If p(x) is a palindromic polynomial of even degree 2d, then there is a polynomial q of degree d such that xdq(x+1/x) = p(x).
It results from these properties that the study of the roots of a polynomial of degree d that is either palindromic or antipalindromic may be reduced to the study of the roots of a polynomial of degree at most d/2.
Factorization
Factorization techniques (and the search for roots) follow on directly from the properties listed above.
For example, Property 5 yields an immediate factor x+1 for palindromic polynomials of odd degree.
As another example, Property 8 leads to the technique of dividing by xd and replacing x + 1/x by X.
As an example of the latter technique suppose
Letting X = x + 1/x, dividing by x2 and deriving
we have the much simpler
which factorizes as
so either X = 1 or X = - 1
The X = - 1 case yields
or
which has no real roots.
The X = 1 case yields
or
which also has no real roots.
Converting other polynomials to palindromic form
Some polynomials can be converted to palindromic form by, for example, suitable substutions. For example consider
Writing y = 2x this becomes
or
with the resultant factorization
Similar techniques might yield a polynomial in antipalindromic form.
See also
Notes
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
External links
- ↑ Template:Harvnb for the palindromic case only