Le 03 juillet 2022 à 15:26:03 :
4 = (2 * (i - i))^2
Alors (2 * (i - i))^2 + (2 * (i - i))^2 = (2i - 2i)^2 + (2i - 2i)^2
Ensuite 2^2 - 2*2*i + i^2 + 2^2 - 2*2*i + i^2
Finalement 4 - 4i + i2 + 4 - 4i + i2 = 8
CQFD 
Oui mais si 4 - 4i + i2 + 4 - 4i + i2 = 8
2b - 7(i2 x k) n’est plus convexe…