When deriving the distance formula, Eowyn starts with two points, A(x1,y1) and B(x2,y2). She then draws point C on a horizontal line from point A and a vertical line from point B, giving it coordinates (x2,y1). In doing so, she believes she created a right triangle, with right angle C, which allows her to use the Pythagorean Theorem. She lets AC=b and BC=a, which means that AB=c by definition of the hypotenuse. Next, she uses the Ruler Postulate to state that a=|x2−x1| and b=|y2−y1|. Then, combining this information with the Pythagorean Theorem, she is able to use the Substitution Property of Equality to state that (x2−x1)2+(y2−y1)2=AB2. Finally, she applies the Square Root Property of Equality to find AB=(x2−x1)2+(y2−y1)2−−−−−−−−−−−−−−−−−−√. She is able to ignore the possible negative root since distance is always positive, by definition. Which statement about Eowyn's derivation is the most accurate?

A )Eowyn correctly derived the distance formula. She properly supported each statement and used theorems, properties, and postulates to correctly justify her reasoning.

B) Eowyn didn't correctly derive the distance formula. She should have drawn point C so that it had coordinates C(x1,y2), which changes her values of a and b, as well as the set up of AB2.

C) Eowyn didn't correctly derive the distance formula. She drew in her auxiliary segments correctly, but she didn't define a, b, and c correctly in order to apply them in the Pythagorean Theorem.

D) Eowyn didn't correctly derive the distance formula. She drew in her auxiliary segments correctly, and properly defined her variables, but she misused the Ruler Postulate to find values of a and b in terms of x and y.