ANSWER
The circumcenter of triangle DEF has coordinates

Step-by-step explanation
The circumcenter of triangle DEF is the point where all the three perpendicular bisectors of the three sides of the triangle intersect.
Let us find the perpendicular bisector of any two sides, because the third one will also meet these two perpendicular bisectors at the same point.
The perpendicular bisector of ED passes through the midpoint of the line connecting D(1,3) and E(8,3).
We must therefore find the midpoint to obtain,

The slope of ED is

.
The slope of the perpendicular bisector is the negative reciprocal of the slope of ED

which undefined.
The equation of a line that has an undefined slope is given by

.
Therefore the equation of the perpendicular bisector of ED is

We must also find the equation of the perpendicular bisector of DF.
The midpoint of D(1,3) and F(1,-5) is

The slope of DF is

this is an undefined slope but let us keep it like this for now.
The perpendicular bisector will have a slope that is the negative reciprocal of this undefined slope

. This means that the slope is parallel to the x-axis.
The equation of lines that are parallel to the x-axis is given by the formula,

.
Therefore the equation of the perpendicular bisector is

.
The perpendicular bisectors will intersect at,

Hence the circumcenter is
