1. 풀이가 안되는 이유
(아마도) 분모=0, 즉 a+b√3=0 을 배제할 수 없기 때문에 유리화를 진행하지 않는 것으로 파악됩니다.

2. 해결방법
분모가 0 이 아니라는 제약식(|a≠-b√3)을 넣어주면 해결이 되...면 좋지만,
TI-Nspire 에서 제약식으로 ≠ 를 넣는 것이 불가능합니다.
(넣어보면 ​​​Ignore 되었다는 경고가 뜹니다.)

그래서 대신에 분모를 (단일문자인) c로 만들기 위해
|a=c-b√3 을 넣으면 일단은 유리화가 진행되긴 합니다.