9.5 结构理论中静变形解和模态解的存在性