Thales's theorem/Linear algebra/Fact

< Thales's theorem < Linear algebra
Thales's theorem

Let be a point in the Euclidean plane , let be a circle with center , and let be a line through , intersecting the circle in the points and .

Then for every point

,

the triangle is a right triangle with the right angle at .