Alors vision, a nous deux
On commence par prouver que a est positif donc :
a - |a| = 0 sinon, ce n'est déjà pas un nombre positif ( ça revient à a > 0 ou a < b qui doit garder le même ordre que a carré < b carré, si le sens change a n'est pas positif ).
Après faut que tu continue dans ce sens là avec le signe tronqué qui me semble existe en mathématique.