a1과 a2가 모두 음수이거나, 모두 양수일 수 있으니 그 두가지 캐이스를 나눠서 가지치기 해보심 될듯?

너가 쓴걸 못알아보겟엉….ㅎㅎ

가지쳐서 접근해도 상관 없어보입니다. 또는 a3 와 a5를 같게한 후 시작하여 역으로 a1 a2를 추적해서 (가)를 만족하게 해도 좋을 것 같습니다.

a1과 a2가 음수일때는 나조건 자체가 성립이 안돤다고 판단해서 한가지 케이스만 했는데 뭐가 부족한건지 잘 모르겠습니다

어모얌 그렇네요 그럼 양수일때만 해서 가지치기 쫙쫙 해보면 될듯??