La retta data
* x - 3*y + 1 = 0 ≡ y = (x + 1)/3
ha pendenza m = 1/3
------------------------------
Il circumcerchio Γ dei punti A(0, 2), B(1, 1), C(1, 3) ha centro K(k, 2) dovendo cadere sull'asse di BC e K deve anche essere equidistante da A; tale comune distanza è il circumraggio R.
* |KA|^2 = |KB|^2 = q = R^2 ≡
≡ k^2 = (k - 1)^2 + 1 = q = R^2 ≡
≡ (k = 1) & (q = 1)
da cui
* K(1, 2)
* Γ ≡ (x - 1)^2 + (y - 2)^2 = 1
------------------------------
Per K(1, 2) passano, oltre alla x = 1, anche tutte le rette di forma
* y = 2 + m*(x - 1)
fra cui quella richiesta di pendenza m = 1/3
* r ≡ y = 2 + (x - 1)/3 ≡ y = (x + 5)/3
che interseca gli assi in
* X(- 5, 0) oppure Y(0, 5/3)
da cui l'area S del triangolo OXY
* S = |xX|*|yY|/2 = |- 5|*|5/3|/2 = 25/6