Date le due rette r: x - 3·y + 3 = 0 ed s: 3·x - y - 3 = 0 , individua i punti A e C in cui tali rette intersecano l'asse x e i punti B e D in cui intersecano l'asse y rispettivamente. Verifica che il quadrilatero convesso ABCD è un trapezio isoscele e calcolane il perimetro. Rappresentazione grafica.
-----------------------------------------
{x - 3·y + 3 = 0
{y = 0
soluzione: [x = -3 ∧ y = 0]
{3·x - y - 3 = 0
{y = 0
soluzione: [x = 1 ∧ y = 0]
{x - 3·y + 3 = 0
{x = 0
soluzione: [x = 0 ∧ y = 1]
{3·x - y - 3 = 0
{x = 0
soluzione: [x = 0 ∧ y = -3]