Como demonstrar em análise as proposições seguintes:

A terceira é consequencia direta da definição de função modular;

as demais:

• I) (a+b)^2 = a^2 +2ab + b^2 = a^2 + b^2 ⇔ 2ab=0, ou seja, ou a=0, ou b=0, para quaisquer outros valores a afirmativa é absurda.
• II) √(a+b) = √a + √b⇒ a+b= a + 2√(ab) + b⇔ 2√(ab)=0, ou seja, ou a=0, ou b=0, para quaisquer outros valores a afirmativa é absurda.