Solution:
Let D be the reflection of A across side BC, which clearly lies on k. Let K′ be the point where lines BD and MO intersect. We will eventually show that K′=K. Then K lies on line BD, which is therefore the same as line BK. Since B and D don't depend on the choice of M, this proves that the line BK does not depend on M, if all of the constructions are well-defined. One possible configuration is illustrated below. Notice that we cannot have M=B, because then the circumcenter O of triangle △ABM would not be well-defined (we will need this later).

We first show that ∠AMO=∠BDA, by focusing on the circumcircle of △ABM, as illustrated below. Let L be the point diametrically opposite M. Then ∠LAM is right and thus ∠AMO=90∘−∠ALM. Since AD⊥BM, we have ∠BDA=∠BAD=90∘−∠ABM. But the angles ∠ABM and ∠ALM subtend the same arc, so ∠ABM=∠ALM and thus ∠BDA=∠AMO, as desired.

We will now show that the points A,D,M, and K′ are concyclic. Recall the following theorem.
A convex quadrilateral EFGH is cyclic if either of the following are true:
(1) ∠EFG+∠EHG=180∘.
(2) ∠EGF=∠EHF.
We will apply this theorem to four separate cases, illustrated below.

(a.i)

(b.i)

(b.ii)
(a) Suppose that M lies to the right of AD. Then O and K′ are on the same side of M.
i. If B and K′ are on the same side of D, then ∠AMK′=∠AMO=∠ADB=∠ADK′. Therefore, quadrilateral AMDK′ is cyclic by condition (2).
ii. If B and K′ are on opposite sides of D, then ∠AMK′=∠AMO=∠ADB=180∘−∠ADK′, so ∠AMK′+∠ADK′=180∘. Therefore, quadrilateral AMK′D is cyclic by condition (1).
(b) Now suppose that M lies to the left of AD. Then O and K′ are on opposite sides of M.
i. If B and K′ are on the same side of D, then ∠ADK′=∠ADB=∠AMO=180∘−∠AMK′, so ∠ADK′+∠AMK′=180∘. Therefore, quadrilateral ADK′M is cyclic by condition (1).
ii. If B and K′ are on opposite sides of D, then ∠ADK′=180∘−∠ADB=180∘−∠AMO=∠AMK′. Therefore, quadrilateral AK′DM is cyclic by condition (2).
This proves that the points A,D,M, and K′ are concyclic. Since k is the unique circle going through points A,D, and M, it follows that K′ lies on k. Thus K′ lies on line MO and circle k, so we have K′=K or K′=M. But if K′=M, then M lies on line BD and thus M=B. We noted above that this cannot be the case (or O will not be well-defined), so we have K=K′, as desired.