Răspuns:
Explicație pas cu pas: m∡(BAC)=m∡(ABD)=90
ΔABC si ΔBAD avem AB≡AB(latura comuna)
BD≡AC(IP) ⇒CC ⇒ΔABC≡ΔBAD⇒ m∡(BAD)=m∡(ABC)(alt interne)⇒BC║AD (1)
dar si DB║AC(ambele ⊥pe AB si congruente) (2)
din 1 si 2 ⇒ADBC -paralelogram
demonstram usor ca ΔAOC≡ΔOBD(OA≡OB;AC≡BD,m∡(B)=m∡(A)=90°;cazul CC)⇒OC≡OD
Din OC≡OD si AO≡OB⇒O este punctul de inters al diag paralelogramului ADBC⇒C,O,D coliniare
