请实现一个找峰值元素的算法：给定一个数组，找到一个峰值元素并返回其索引，要求时间复杂度为 O(log n)，并先讲清思路。

回答思路

1. 明确峰值定义：元素大于相邻元素
2. 说明利用相邻比较确定收缩方向的原理
3. 正确处理数组边界只有一个元素或全部单调的情形
4. 能实现并解释 O(log n) 时间复杂度