Whitehead's point-free geometry: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
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]].
Hi there. Let me start by introducing the writer, her title is Myrtle Cleary. One of the extremely very best things in the world for him is to collect badges but he is struggling to find time for it. Years in the past we moved to North Dakota. For many years I've been operating as a payroll clerk.<br><br>Also visit my blog - [http://reinodoprazer.com.br/index.php?do=/blog/326/tips-about-how-to-overcome-candidiasis-easily/ home std test]
 
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]]

Latest revision as of 15:31, 1 November 2014

Hi there. Let me start by introducing the writer, her title is Myrtle Cleary. One of the extremely very best things in the world for him is to collect badges but he is struggling to find time for it. Years in the past we moved to North Dakota. For many years I've been operating as a payroll clerk.

Also visit my blog - home std test