线段树模板，式子也很好推吧。