Το σημείο Α  βρίσκεται πάνω
στην ευθεία ε:  .
Οι συντεταγμένες του επαληθεύουν την
εξίσωσή της.

Η εξίσωση 0x+0y=0 είναι αόριστη, 
έχει δηλαδή άπειρες λύσεις,
κάθε ζεύγος αριθμών (x,y) είναι λύση της,
δηλάδη όλα τα σημεία του επιπέδου

α = -1 (slider from -5 to 5, step 1)
β = 1 (slider from -5 to 5, step 1)
γ = 2 (slider from -5 to 5, step 1)
ε: (α * x) + (β * y) = γ
Α = (2.270509977827053, 4.258314855875831)
f = OrthogonalLine(Α, ε)
Β = Intersect(f, ε)
d = Segment(Α, Β)
d_1 = Distance(Α, ε)
κείμενο2: "Το σημείο Α" + (LaTeX[Α]) + " δεν βρίσκεται πάνω
στην ευθεία ε: " + (LaTeX[ε]) + ".
Οι συντεταγμένες του δεν επαληθεύουν την
εξίσωσή της."
xA: x(Α)
yA: y(Α)
p: (α * x(Α)) + (β * y(Α))
κείμενο3: "" + (LaTeX[α]) + "\cdot(" + (LaTeX[xA]) + ")+(" + (LaTeX[β]) + ")\cdot(" + (LaTeX[yA]) + ")=" + (LaTeX[p]) + "\\" + (LaTeX[p]) + "\neq" + (LaTeX[γ]) + ""
κείμενο5: "" + (LaTeX[α]) + "\cdot(" + (LaTeX[xA]) + ")+(" + (LaTeX[β]) + ")\cdot(" + (LaTeX[yA]) + ")=" + (LaTeX[p]) + "\\" + (LaTeX[p]) + "=" + (LaTeX[γ]) + ""
κείμενο6: "Άρα το ζεύγος των αριθμών " + Α + " είναι
λύση της εξίσωσης " + ε + ""
κείμενο1: "Η απόσταση του σημείου Α από
την ευθεία ε:" + ε + " είναι d=" + d + ""
Δ = Intersect(ε, xAxis)
Γ = Intersect(yAxis, ε)
Ε = Point(ε)
Ζ = Intersect(ε, xAxis)
Η = Point(xAxis)
δ = Angle(Η, Ζ, Ε)
Θ = Point(ε)
ζ = Angle(Η, Ζ, Θ)
Ι = Point(ε)
Κ = Point(xAxis)
Λ = Intersect(ε, xAxis)
η = Angle(Ι, Λ, Κ)
Μ = Point(ε)
Ν = Intersect(ε, xAxis)
Ξ = Point(xAxis)
θ = Angle(Μ, Ν, Ξ)
κείμενο7: "Η εξίσωση 0x+0y=" + γ + " είναι αδύνατη.
Κανένα ζεύγος αριθμών (x,y) δεν επαληθεύει
την εξίσωση"