Prvo rješenje.
Neka je S polovište dužine MB.

U pravokutnom trokutu MDB točka S je središte opisane kružnice budući da je polovište hipotenuze. Posebno, iz poučka o obodnom i središnjem kutu vrijedi
∠MSD=2⋅∠MBD=∠CBA.
Posebno, pravci SD i CB su paralelni.
Prema Talesovom poučku, vrijedi
∣DC∣∣AD∣=∣SB∣∣AS∣.
Dodatno, prema poučku o simetrali kuta, vrijedi
∣BC∣∣AB∣=∣DC∣∣AD∣.
Kako je S polovište dužine MB, a M polovište dužine AB, točka S dijeli dužinu AB u omjeru 3:1.
Zato zaključujemo
∣BC∣∣AB∣=∣DC∣∣AD∣=∣SB∣∣AS∣=3,
odnosno ∣AB∣=3∣BC∣, što je i trebalo dokazati.
Drugo rješenje.
Označimo s β kut ∠CBA. Neka je N polovište dužine AC. Dužina MN je srednjica trokuta ABC, odnosno paralelna je s BC.

Slijedi da je ∠BMN=180∘−β.
Kako je trokut BDM pravokutan, ∠BMD=90∘−∠DBM=90∘−2β.
Sada vidimo da je ∠BMD jednak polovici vrijednosti kuta ∠BMN, pa je pravac DM simetrala kuta ∠BMN.
Prema poučku o vanjskoj simetrali kuta ∠AMN vrijedi
∣DA∣∣DN∣=∣MA∣∣MN∣.
Budući da je MN srednjica trokuta ABC, vrijedi
∣MA∣∣MN∣=∣BA∣∣BC∣.
Prema poučku o unutarnjoj simetrali kuta ∠ABC vrijedi
∣BA∣∣BC∣=∣DA∣∣CD∣.
Sada računamo
∣DA∣∣DN∣=∣MA∣∣MN∣=∣BA∣∣BC∣=∣DA∣∣CD∣,
odnosno ∣DN∣=∣CD∣.
Kako je D polovište dužine NC, a N polovište dužine AC, točka D dijeli dužinu AC u omjeru 3:1.
Ponovno koristeći poučak o simetrali kuta ∠ABC zaključujemo
∣BC∣∣AB∣=∣DC∣∣AD∣=3,
čime smo pokazali željenu tvrdnju.
Treće rješenje.
Označimo s α, β i γ redom mjere kutova ∠BAC, ∠ABC i ∠BCA.
Primijetimo da je sada ∠AMD=90∘+2β.
Primjenom sinusovog poučka na trokut AMD dobivamo
∣MD∣∣AD∣=sinαsin(90∘+2β)=sinαcos2β.
Slijedi da je
∣AD∣=sinαcos2β∣MD∣=sinαcos2βsin2β∣MB∣.
Ponovnom primjenom sinusovog poučka na trokut ADM dobivamo
∣AM∣∣AD∣=sin(180∘−α−(90∘+2β))sin(90∘+2β)=cos(α+2β)cos2β.
Kako je ∣AM∣=∣MB∣, imamo
sinαcos2βsin2β=cos(α+2β)cos2β,
odnosno
sin2βcos(α+2β)=sinα.
Iz adicijskih formula dobivamo
sin(α+β)=sin(α+2β+2β)=sin(α+2β)cos2β+sin2βcos(α+2β)
i
sinα=sin(α+2β−2β)=sin(α+2β)cos2β−sin2βcos(α+2β),
odakle slijedi
sinα=2sin(α+β)−sinα,
odnosno
sin(α+β)=3sinα.
Konačno, primjenom sinusovog poučka na trokut ABC dobivamo
∣BC∣∣AB∣=sinαsinγ=sinαsin(α+β)=3,
što je i trebalo dokazati.