Deoarece cele doua cercuri de aceeasi raza R se intersecteaza in punctul D deducem ca DB=DC=>D este egal departat de capetele segmentului [BC]=>D apartine mediatoarei segmentului BC=>DM⊥BC, unde M mijlocul segmentului [BC]
Deoarece A este centrul cercului ce trece prin punctele B si C deducem ca AB=AC=>ΔABC isoscel=>AM⊥BC=>Punctele D,A,M sunt coliniare si AD⊥BC=>AD⊥d