高校だとルートを含む関数の根号の中身が非負なんてのはある種の暗黙の了解
x≦1かも、なんて（大抵の場合）考えない

>>459のおっしゃるように始めに定義域x>1を確認するのが無難だけど