>>640
法線→垂線じゃないの？
たぶんこんな計算になると思う
π*(s)*((3/4)*s)=(3/4)π*s^2=(3/4)π*4(1-t^2/9)=π(9-t^2)/3