Since we rotated ABC by 90° to get DEF, each side in DEF is perpendicular to the corresponding side in ABC. So, AB and DE are perpendicular, AC and DF are perpendicular, and BC and EF are perpendicular. Now that you know that BC is the side you want, you can figure out the equation of its line, y = mx + b, using the coordinates of its two endpoints, B and C.
First, determine the slope, m, of BC using the slope formula
m = (yC-yB)/(xC-xB)
Plug the value of m you get into y = mx + b. Next, using either endpoint (B or C), plug the x and y values into your y = mx + b equation and solve for b.