kẻ CE//BD ( E thuộc AD)
=> d( BD;SC)= d( BD; ( SCE))=d( O; ( SCE))
kẻ OK _|_SC
OC_|_ CE
SO_|_CE => CE_|_ ( SOC) => CE_|_OK
do đó OK_|_(SCE)=> d(O;(SCE))=OK
1/OK^2=1/SO^2+1/OC^2
câu 2:
BC//AD=> d( BC;SA)=d(BC:(SAD))=d( B;( SAD))=2 d( O; (SAD))
kẻ OH_|_ AD
kẻ OE_|_SH
ta có OH_|_AD; SO_|_AD=> AD_|_(SOH)=> AD_|_ OE
do đó OE_|_( SAD)=> d( O; (SAD))=OE