√x−7=x+1 en x−7=(x+1)2 zijn geen logisch equivalente beweringen. Waarom niet?
- √x−7=x+1⇒x−7=(x+1)2 klopt:
Neem aan dat √x−7=x+1 waar is. Door te kwadrateren aan beide zijden van het gelijkteken krijgen we x−7=(x+1)2. We concluderen dat √x−7=x+1⇔x−7=(x+1)2 klopt.
- √x−7=x+1⇐x−7=(x+1)2 klopt niet:
Neem aan dat x−7=(x+1)2 waar is, oftewel a2=b2 met a=√x−7 en b=x+1.Vanuit a2=b2 kunnen we enkel concluderen dat a=b of a=−b, oftewel √x−7=x+1 of √x−7=−(x+1). We kunnen zeker niet beweren dat √x−7=x+1. Dus √x−7=x+1⇐x−7=(x+1)2 klopt niet.
We kunnen dus enkel schrijven √x−7=x+1⇒x−7=(x+1)2.