\overrightarrow{\mathrm{MA}} \cdot \overrightarrow{\mathrm{MB}}=0 \Leftrightarrow\left(x-x_{\mathrm{A}}\right)\left(x-x_{\mathrm{B}}\right)+\left(y-y_{\mathrm{A}}\right)\left(y-y_{\mathrm{B}}\right)=0
soit, en développant, x^{2}-x_{\mathrm{A}} x-x_{\mathrm{B}} x+x_{\mathrm{A}} x_{\mathrm{B}}+y^{2}-y_{\mathrm{A}} y-y_{\mathrm{B}} y+y_{\mathrm{A}} y_{\mathrm{B}}=0.
Ainsi, x^{2}-2 \times \dfrac{x_{\mathrm{A}}+x_{\mathrm{B}}}{2} \times x+y^{2}-2 \times \dfrac{y_{\mathrm{A}}+y_{\mathrm{B}}}{2} \times y+x_{\mathrm{A}} x_{\mathrm{B}}+y_{\mathrm{A}} y_{\mathrm{B}}=0,
On obtient \left(x-\dfrac{x_{\mathrm{A}}+x_{\mathrm{B}}}{2}\right)^{2}+\left(y-\dfrac{y_{\mathrm{A}}+y_{\mathrm{B}}}{2}\right)^{2}=\dfrac{\left(x_{\mathrm{A}}-x_{\mathrm{B}}\right)^{2}+\left(y_{\mathrm{A}}-y_{\mathrm{B}}\right)^{2}}{4}
soit \left(x-\dfrac{x_{\mathrm{A}}+x_{\mathrm{B}}}{2}\right)^{2}+\left(y-\dfrac{y_{\mathrm{A}}+y_{\mathrm{B}}}{2}\right)^{2}=\left(\dfrac{\mathrm{AB}}{2}\right)^{2} qui est bien une équation de cercle de diamètre \text{[AB].}