祖暅原理也就是“等积原理”，它是由我国南北朝杰出的数学家、祖冲之的儿子祖暅首先提出来的．祖暅原理的内容是：夹在两个平行平面间的两个几何体，被平行于这两个平行平面的平面所截，如果截得两个截面的面积总相等，那么这两个几何体的体积相等．可以用诗句“两个胖子一般高，平行地面刀刀切，刀刀切出等面积，两人必然同样胖”形象表示其内涵．利用祖暅原理可以推导几何体的体积公式，关键是要构造一个参照体．试用祖暅原理推导球的体积公式．

三垂线定理的内容是．

13、如图，是求满足1+2+3+…+n＞500的最小的自然数n的程序框图，则输出框内的内容是．