let be the monks distance from the bottom to the peak as a function of time on the first day.

let be the distance from the bottom on day 2

let D be the distance from the peak to the bottom then

define

f(0)=0-D and f(12)=D-0

by the intermediate value theorem there exits a c such that

QED