NOTIONS DE LOGIQUE:

Montrer que:
(Pour Tout (a, b) R²) (a² + b² = 1 => |a + b| ≤ √2)​