[Risolto] Quadrilatero

"quadrilatero circoscritto ad una circonfeFenza" vuol dire che le somme delle lunghezze delle due coppie di lati opposti hanno lo stesso valore
* s = |AB| + |CD| = |BC| + |DA| ≡
≡ s = a + c = b + d
---------------
"due lati opposti congruenti" vuol dire che, ad esempio,
* c = a
* s = a + c = b + d ≡ s = 2*a = b + d
---------------
"gli altri due lati opposti differiscono di 30 cm e che l'uno supera di 5 cm il doppio dell'altro" vuol dire che, nello stesso esempio,
* d = b + 30 = 2*b + 5
---------------
"Calcola la misura dei lati" vuol dire che si deve risolvere il sistema delle relazioni appena scritte come traduzione simbolica della descrizione in narrativa
* (b + 30 = 2*b + 5) & (d = b + 30) & (2*a = b + d) & (c = a) ≡
≡ (b = 25) & (d = 25 + 30) & (2*a = 25 + d) & (c = a) ≡
≡ (b = 25) & (d = 55) & (2*a = 25 + 55) & (c = a) ≡
≡ (b = 25) & (d = 55) & (a = 40) & (c = 40)