Ta có:

`SA bot CD (SA bot (ABCD))`

`AD bot CD (ABCD` là hình vuông `)`

`SA ∩ AD = A`

`SA, AD ⊂ (SAD)`

`=> CD bot (SAD)`

`=> d_(C;(SAD) = CD = a`