二分查找

http://www.acmerblog.com/ubiquitous-binary-search-5345.html

二分查找及一些变形，用了循环不变式来解释，理论比较统一。