Question: right-angled triangle

I am playing around with Linear least squares. I have this system of equations


Which can be ploted as:



with(plots):
p1 := implicitplot(x1+2*x2-10, x1 = -10 .. 20, x2 = -10 .. 30, color = blue, legend = "x1+2*x2-10"):
p2 := implicitplot(-2*x1+x2-10, x1 = -10 .. 20, x2 = -10 .. 30, color = red, legend = "x1+2*x2-10"):
p3 := plot([10, y, y = 0 .. 30], color = black, thickness = 3, linestyle = dash):

display({p1, p2, p3});

 

 

Now in order for use to apply Pythagoras' theorem the angle where the blue and red line
crosses each other has to be equal to 90 degrees

How can I find out if such angel indeed is 90 degress ?

This has been branched into the following page(s):
Please Wait...