I think I just need help thinking about this one. Hints without the answer would be great.
Prove with just the field and order axioms. You may assume that any indicated square root exists in the field.
If $0 and $b=1-\sqrt{1-a}$ prove $0
I have:
$b+-1=1-\sqrt{1-a}+-1$ by additive inverses axiom
$b=(1-1)-\sqrt{1-a}$ by communitivity
$b-1=\sqrt{1-a}$
$(b-1)^2=\sqrt{1-a}^2$ by an axiom? I'm confused at this part
$1-a=(b-1)^2$
$a=1-(b-1)^2$
So then we know that $0 => $0<1-(b-1)^2<1$
From this point I can get that statement down to $0 or $1 (the latter should be ignored because I'm assuming the square root is meant only to be positive.)
So from this point I can see the answer is close, but I'm discouraged because I have no idea if this is what using only field and order axioms means. Any help would be appreciated. Thanks!