过O作OA⊥平面a于A,设B是平面a截球o的球面所得圆上的一点,
依题意AB=1,OA=√2,
由勾股定理,OB^2=OA^2+AB^2=3,
∴球O的体积=12π.