Là giao điểm của AC và BD nên O là trung điểm của AC và BD.
Tam giác SAC có SA=SC
nên tam giác SAC cân tại S, mà O là trung điểm AC
⇒ SO⊥AC(1)
Tam giác SBD có SB=SD
nên tam giác SBD cân tại S, mà O là trung điểm BD
⇒ SO⊥BD(2)
Từ (1) và (2)
⇒ SO⊥(ABCD)