選択肢：ア  の場合を考えると、要素数が1の場合、
lowとhighは1のまま更新されずにendwhileが処理され、
while(low≦high)のwhile文に戻るため、
1（low）≦1（high）でwhile文がTRUEになりループすると考えたのですが、
なぜwhile文を抜けるのでしょうか？

1（low）≦1（high）がelseに該当し、returnの記述によりwhile文を抜けたのです。
---
・・・（省略）・・・
else
  return middle  ←ここ
endif
・・・（省略）・・・
---

ご教授頂きありがとうございます
returnの記載は、戻り値を返すだけだと認識していたのですが、処理を終了させる、しかも、直前のif文だけではなく処理全体のwhile文も含み処理を終了させるとのことで、誤った認識を正すことができました。

本当にありがとうございました。


後学のためメモを残します
参考URL
note.com/yuta1496/n/n265b43184fb7