What is a Diophantine Polynomial? It is a polynomial of degree 2,3, or 4 which is factorable in the set of integers and whose derivative is factorable in the set of rational numbers. Why we want to discuss them is to facilitate curve sketching. The polynomials which we are about to examine can be used for both the grade 11 and the calculus student, because the intercepts are easy to find, and the yvalues for the maxima and minima are shared among the families of curves. For example, we can ask a grade 11 student to sketch by finding both the x and y intercepts. We can use the very same polynomial for the calculus 12 student who can not only find the intercepts easily, but can more readily because the derivative is easy to factor.
My belief is that students should learn a complicated algorithm in simple progressive steps using straightforward numbers. Diophantus worked with integers and rational numbers only. Pedagogically, Diophantus was really on to something because he created methods which involved a lot of processing and sequencing while focusing on whole numbers. The distractions I refer to in curve sketching are complex and irrational numbers. It is difficult enough to learn some five to eight steps gathering enough data in order to effectively and accurately sketch a cubic, quartic, or quintic polynomial and/or a rational expression which may involve a diagonal asymptote without difficulttoworkwith numbers. If the student has the burden (when first learning the process) of working with irrational or complex numbers, along with concentrating on behavior of the curve and concavity, then he/she might simply declare "whatever" and drop the task. If the numbers are whole or integral (Diophantus), then his/her focus remains where it should be on the algorithm. The task of the educator is to demonstrate algorithms in such a way that the student can master the process in sequence.
The solution is to stick to the Diophantine process and to model examples that involve process and sequencing without getting tangled up with irrational numbers. To some readers this may be a nobrainer, but it is not as simple as it sounds to find cubics, or quartics with single integral roots whose derivatives have single rational roots. Finding these involved testing hundreds of polynomials using DERIVE, as I was determined to find easytocalculate polynomials, which would facilitate graphing curves like without worrying about irrational and complex numbers. There was another challenge of course, and that was to keep the constant of the polynomial relatively small so that working without a calculator would not be arduous.
Another aspect of this approach with whole numbers is that when the student knows that the numbers are designed to work, learning of the method or algorithm remains the priority. The student also knows that there is something wrong if the numbers do not work. It's kind of a security blanket for the beginner, but it eliminates doubt that so often takes away confidence in ability and performance. Later on, after mastering the technique, the student gains confidence through the ease of this, and therefore he can tackle problems with both irrational and complex numbers.
It is my objective to propose families of cubics and quartics which are factorable in the integers and whose derivatives are factorable in the set of rational numbers. I will also propose methods using DERIVE by which you can construct your own polynomials. We'll start with the very basic table of linear and quadratic polynomials then lead up to the cubics and quartics. I will end the paper with a brief discussion of the quintic, which should have worked but didn't.
The following diagram (Table 1) contains all the various linear and quadratic forms along with the general set of cubics.
Family Function 
Roots 
Derivative 
Roots 
Conditions on coefficients and constants to have integral roots 
a 
none 
0 
none 
not applicable 
ax 
x=0 
a 
none 
not applicable 
ax + b 
a 
none 
not applicable 

2 
none 

2x + a 
a must be even 

2x + a + b 
a and b are both odd or both even 

2acx + ad + bc 
must either equal ac or be an even multiple of it 

none 

none 2b + a is 3 or a multiple of 3 

equals zero or a perfect square 

must be 3 or a multiple of 3 

must be a perfect square 
The polynomials in Table II consist of the particular numerical families with single roots. These are the ones that are ready to use in your classroom today.
As we observe the families in Table II, it is hard not to notice the pattern 8,15,21,30,35, and 36. It is a quadratic arithmetic sequence, whose elements (except for a couple) all work as families of curves.
In terms of methods for single roots let us begin by entering the form into DERIVE. This guarantees a factorable form. Press C for Calculus and differentiate. The resulting form is put in function form as DECLARE. Now we can either guess values and hope that our quadratic is factorable, or fix a value for "a", and then guess values for "b" until the quadratic is factorable. The question is, do we have anything to guide our guessing? In fact, we do. Visually, the values of "x" for maxima and minima will occur between the first and last xintercepts. Hence, if we were to choose 0 and 8 as two of our first and last roots, we would know that the third one must come between them. It's just a question of leaving enough room between the roots so that the critical points can occur as integers and/or rational numbers. Algebraically, we enter into DERIVE, and then differentiate giving Since we have a quadratic; the discriminant must equal a perfect square in order to be factorable. Using the command DECLARE, we set and evaluate (or use the TI83 where second function gives "TABLE" and we search it for perfect squares). Both 3 and 5 come up quickly implying both and have derivatives whose roots are rational.
I don't pretend to have all the families necessarily, but applying translations to any given family will yield many polynomials. The following is a small sample arrived at by adding a constant to all the terms:
given family
add 1
add 2
add 3
add 4
add 5
add 6
add 7
add 8 , etc.
Interestingly enough, the entire above shares a max height of , and minimum low of , and the difference between their corresponding xcoordinates is exactly . A linear relationship exists between these values and those found in the quartics. We shall explore this after exploring quartic family of curves.
Family Function 
Roots 
Derivative 
Roots 
Transformation 

not rational 









not rational 


not rational 

Having fully explored the cubic, the quartic family of curves presented quite a challenge because there would be three roots, (other than zero), to find. Visually, I opted for a span of 7, (one less than the 8 for cubics) entered into DERIVE, fixed (only because it had worked with the cubic), took the derivative and evaluated "b" from 1 to 7 hoping some value "b" would work. The derived form was and by declaring "f" as the function I simply tested values for "b" and systematically factored (pressing F). To my great delight worked, giving . Observing 3 and 4 together, I acted on a hunch that Pythagorean Triples might work. So following in the footsteps of Diophantus, I tried triplets beginning with odd numbers and even numbers, and they worked beautifully. An added bonus were those triplets with consecutive legs such as 202129 and 119120169, etc., which also worked wonderfully.
The patterns appear in Table III. The numerical families of the form appear in Table IV. The numerical families for the form appear in Table V.
Family Function 
ROOTS 
DERIVATIVE 
ROOTS 
CONDITIONS FOR
INTERGRAL ROOTS 
no restrictions 

and 
must be a
multiple of 4 





for b=1 a=1,5,9… 4k3
for b=2 a=2,6,10…4k2
for b=3 a=3,7,11…4k1
for b=4 a=4,8,12…4k 
and 
a and b must both be odd or both even 

must be perfect square 

The product of (x) and
and and 
and 
and 
no conditions 

The product of (x) and
and
and

and

and 
no conditions 
FAMILY FFUNCTION

ROOTS 
DERIVATIVE 
ROOTS 
TRANSFORMATION

ODD PYTHAGOREAN TRIPLETS 












etc. 
EVEN PYTHAGOREAN
TRIPLETS 










etc. 
CONSECUTIVELEG TRIPLETS 




etc. 
(11)
FAMILY FUNCTION 
ROOTS 
DERIVATIVE 
ROOTS 
TRANSFORMATION 
(12)
FAMILY FUNCTION 
ROOTS 
DERIVATIVE 
ROOTS 
CONDITIONS FOR
INTEGRAL ROOTS 


none 



and 
must be 5
or a multiple of 5 

and 
Conditions:
must be zero or a perfect square 

and 
must be 5 or
a multiple of 5 

and 
Conditions:
must be a perfect square 

no rational roots 
N/A 

no rational roots 
N/A

(13)
FAMILY FUNCTION 
ROOTS 
DERIVATIVE 
ROOTS 
TRANSFORMATION 















(14)
In terms of multiple roots the quintic lends itself nicely to easytoworkwith numbers which are small in quantity. However, for quintics of the form , the derivative has no rational roots primarily because of Fermat's Last Theorem whereby there are no integral values for which .
Having run the computer through thousands of number combinations (just to be sure), no derivative with rational roots could be found. Our Table VI contains multiple roots only.
Table VII contains the numerical families for the forms
and .
With all the patterns that do work, it was too tempting not to try to make a linear link among the cubic, quartic, and quintic forms. Let us examine the following facts:
Derivative

Smallest Root
0
2 
Largest Root
8

Range
8

Sum of Roots
13






Derivative

Smallest Root
0
1

Largest Root
7
6 
Range
7

Sum of Roots
14







Smallest Root
0
.616036… 
Largest Root
6
5.383960… 
Range
6
4.767924… 
Sum of Roots
15

We realize very quickly that we can come close to rational roots, but cannot obtain them as our constant term could have to be a multiple of 5 in order to be factorable, which is impossible in this situation.
If nothing else, the reader now has a list (not complete) of cubic and quartic polynomials with multiple or single integral roots whose derivatives have multiple or single rational roots. The quintic avails itself to multiple but not to single roots.
I would never have attempted all this work without the userfriendly program DERIVE, as I was able to test many polynomials in seconds and quickly find derivative and corresponding factored forms. It goes without saying that the same Diophantine process can be applied to rational forms, making life a little easier for the curve sketcher.
#1:
#2:
#3:
#4: FACTOR Rational, x)
#5: