Ta có: `SB=SD` `=>` `DeltaSBD` là tam giác cân tại `S`

Mà `O` là trung điểm `BD`

`=>` `SO bot BD`

Ta có: `{:(SO bot BD),(AC bot BD),(SO nn AC={O}),(SO;AC subset (SAC)):}}=>BD bot (SAC)`

Ta có: `SA=SC` `=>` `DeltaSAC` là tam giác cân tại `S`

Mà `O` là trung điểm `AC`

`=>` `SO bot AC`

Ta có: `{:(SO bot AC),(AC bot BD),(SO nn BD={O}),(SO;BD subset (SBD)):}}=>AC bot (SBD)`