证明:
因为截面过内接球球心,则
VA-EFC=(1/3)(S△AEC+S△AFC+S△EFC)r
VA-BEFD=(1/3)(S◇BDEF+S△ADF+S△ABE+S△ABD)r
∵VA-EFC=VA-BEFD,又∵△AEF为公共面
∴S1=S2