Chứng minh `:` Tam giác `ADK` là tam giác từ
`⇒` Trực tâm `S` nằm ngoài tam giác `ADK`
`→` Tam giác `ADS` có `3` đường cao
`→` `K` là trực tâm của tam giác `ADS`
`→` `K` là đường tròn ngoại tiếp của tam giác `ADS`
mà `A` ∈ `BD`
`D` ∈ `BD`
`⇒` `S` ∈ `BC`
`→` `B` ; `C` ; `S` thẳng hàng