For how many ordered pairs of complex numbers ( a , b ) is the polynomial P ( x ) = x 4 + ( a x + b ) 3 + 1 equal to a square of a complex polynomial?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Any smooth plane quartic curve has 2 8 bitangents (see e.g. http://en.wikipedia.org/wiki/Bitangents of a_quartic). So the projective curve x 4 + z y 3 + z 4 = 0 has 2 8 bitangents; the given curve is just the affine piece of it. The "line at infinity" z = 0 is indeed a bitangent to this curve (it actually hits the curve at ( 1 , 0 , 0 ) with multiplicity 4 ), so there are 2 7 affine bitangents.
Computing them explicitly is a bit of a mess!
Problem Loading...
Note Loading...
Set Loading...
Assume that P ( x ) = x 4 + ( a x + b ) 3 + 1 = x 4 + a 3 x 3 + 3 a 2 b x 2 + 3 a b 2 x + b 3 + 1 is a square, i.e. P ( x ) = ( x 2 + α x + β ) 2 = x 4 + 2 α x 3 + ( α 2 + 2 β ) x 2 + 2 α β x + β 2 .
We get a system of equations: a 3 = 2 α 3 a 2 b = α 2 + 2 β 3 a b 2 = 2 α β = ( 1 ) a 3 β b 3 + 1 = β 2 Consider equation ( 3 ) :
If a = 0 then, by ( 1 ) we have α = 0 and then, by ( 2 ) also β = 0 , so by ( 4 ) , b 3 + 1 = 0 - and we have three solutions.
Otherwise, a = 0 , so we can divide by a to get β = 3 a 2 b 2 (from ( 3 ) ) and also α = 2 1 a 3 . Substituting those into equtions ( 2 ) , ( 4 ) we get: 3 a 2 b = 4 a 6 + 6 a 2 b 2 ⇒ a 8 − 1 2 a 4 b + 2 4 b 2 = 0 b 3 + 1 = 9 a 4 b 4 By solving the first equation for a 4 we get: a 4 = 2 1 2 b ± 1 4 4 b 2 − 9 6 b 2 = 6 b ± 1 2 b 2 = ( 6 ± 2 2 ) b . Substituting this to the second equation we have: 9 b 4 = ( b 3 + 1 ) a 4 = ( b 3 + 1 ) ( 6 ± 2 2 ) b ⇒ ( 3 ∓ 2 3 ) b 4 = ( 6 ± 2 3 ) b So either b = 0 or b 3 = 3 ∓ 2 3 6 ± 2 3 (the signs match each other).
The option b = 0 is impossible since it implies a = 0 but that implies b 3 = − 1 as we have seen before. So we have the later option - which gives 6 solutions for b . Each of those gives 4 solutions for a (since the signs have to match). Hence we hve 6 ⋅ 4 = 2 4 solutions here.
So there are 3 + 2 4 = 2 7 pairs.