円柱面
のうち、球面
の内部にある部分の面積
円柱側面をパラメータ表示すると
と表すことが出来る。ここに である。
と表すことが出来る。ここに
球面によって切り取られる上下の
と求まる。
従って、球面内部にある円柱側面の面積
と求まる。
ここで、
から
が導かれる。ここに等号成立は
となり、