Gọi `E` là giao của `d` và `AB`
Áp dụng định lí Pitago vào tam giác `AME` vuông tại `E`
` => AE^2 + ME^2 = AM^2`
Áp dụng định lí Pitago vào tam giác `BME` vuông tại `E`
` => BE^2 + ME^2 = MB^2`
` => MA^2 - MB^2 = (AE^2 + ME^2) - ( BE^2 + ME^2) = AE^2 - BE^2`
Vì `AE ; BE` không đổi nên ` => MA^2 - MB^2 ` không đổi