I think good educational videos are the result of a process where a trial audience raises such points and the video gets constantly refined, so that the end video is even good for people who question every point.
I think good educational videos are the result of a process where a trial audience raises such points and the video gets constantly refined, so that the end video is even good for people who question every point.
Ultimately, if you don't have a 100% formal version of a given statement, some people will find a interpretation different from the intended one (and this is independent of how clever the audience is!). I think 3Blue1Brown knows this and is experimenting with alternate formats; the video is also available as an interactive blog post (https://www.3blue1brown.com/lessons/inscribed-rect-v2) which explicitly defines the function as "f(A, B) = (x, y, z)" and explains what the variables are.
The fact that "given a large enough audience (even of very smart people), there will be different interpretations of any given informal explanation" is a key challenge in teaching mathematics, since it is very unpredictable. In interactive contexts it is possible to interrupt a lecture and ask questions, but it still provides an incentive to focus on formalism, which can leave less time for explaining visualizations and intuition.
It would be at least as long as a one-semester course in typical math major then.
To address your specific question: he doesn't assume each midpoint has only one distance at all. He doesn't say it and the visualization doesn't show it as so.
But he was careful to point out that it wasn't a graph.
To me the key point is that the input is all three variables, the two points and their midpoint, and not just the midpoint.