1. 루트 안이 양수가 될 지, 음수가 될 지를 전체적 시각으로 판단하지 못하는 상황인 것 같습니다. 
개별 변수에 대해 범위 조건을 넣어도 부분적(순간적)으로만 적용이 되고, 그 다음단계에서는 적용되지 않는 상황으로 판단되네요. 

2. 본질적인 해결방법은 될 수 없겠습니다만, 변수 말고 루트 전체를 다른 변수로 대체하는 방법이 되긴 하는것 같습니다. 

ㄴ 오류가능성이 있는지는 잘 모르겠습니다만, k1, k2 가 실수라면 문제가 없을 것 같긴 하네요.