己知正四面体ABCD的各边长为a,球o与各棱相切,那么该球的半经r公式是?