Krdytkyu

I'm trying to solve a problem that to me is "triangulation" but searching to see if it's been answered before makes me think that this word has a different meaning to pure mathematicians.

Broadly, I'm using the term to refer to the kind of thing one does with a map and a compass to find location in planar space. However, my problem is probably more closely modeled on something like seismography or "passive sonar" except in two dimensional space. Here's the problem.

I have three sound sensors at known, fixed, locations. The "target" emits a noise somewhere in the space between these sensors. In due course, the sound reaches each of the sensors and the absolute time of these events is noted (by a computer!)

Now, some notes:

• The whole thing is entirely planar, I don't have a third dimension to worry about


• I can position the three sensors to form an equilateral triangle, or put them on three vertices of a square, if either makes the math easier, mostly, I'm in complete control of the positions of the sensors, and there aren't any obstacles or the like


• I know with modest accuracy the speed of sound in the medium this is all happening in, but I have a feeling that a solution should be possible without that information, instead relying only on the fact that the speed of sound is constant across the medium


• I don't know the absolute time that the target emitted the sound, so the first knowledge about the event is when the first sensor responds. In effect, I have to treat that as time zero, and the only "real" input information (other than the geometry of the sensors, and possibly the speed of sound) is the two differential times, marked delta t 1 (green) and delta t 2 (purple) in the diagram.

I've tried a number of doodles hoping to solve this, but even just trying to plot the locus of possible points from one pair of sensors kept leading me to very messy worse-than-quadratic equations involving way too many squares and roots of compound expressions, and I have no idea if I'm even on the right track. Even if I solved that part, I'd still have to find a point by solving two of these equations simultaneously and given that my math ended not long after high school and that was forty years ago, I'm struggling badly!

On one hand, it would be most rewarding if I could solve this myself, so hints and references are welcome, but on the other hand, my main interest is in building the device and so an actual solution would be totally welcome too. I'll let you decide if you think this is an interesting investigation for me.

EDIT:
So, I'm failing to understand Claude's help. I'm trying to take the equations he provided (6) and (7) and "(6) and (7), eliminate X and Y which then express as linear functions of T." But I don't understand how to do this. I've written out as far as I can get in the image:

But this gives me a function that relates Y and T, both of which are unknowns, but I don't understand how to eliminate Y to get at an expression for T (which is what I think Claude is telling me to do, though I admit I'm wondering if I've totally misunderstood). To be fair, even if I did have a function for T, I'm not entirely sure I see how the next step of "plug the results in 1" proceeds, but I'm not there yet anyway.

You have $3$ sensors located at coordinates $(x_i,y_i)$ which receive the information at times $t_i$ and you look for the coordinates $(X,Y)$ where the event happened at time $T$. Let $v$ be the speed of sound.

Consider the three equations
$$(X-x_1)^2+(Y-y_1)^2 = v^2 (t_1-T)^2 tag 1$$
$$(X-x_2)^2+(Y-y_2)^2 = v^2 (t_2-T)^2 tag 2$$
$$(X-x_3)^2+(Y-y_3)^2 = v^2 (t_3-T)^2 tag 3$$

Subtract $(1)$ from $(2)$ and $(3)$, simplify and group terms. You will get
$$2(x_1-x_2)X+2(y_1-y_2)Y+2(t_2-t_1)v^2 T=(x_1^2+y_1^2)-(x_2^2+y_2^2)+v^2(t_2^2-t_1^2)=2R_{12} tag 4$$
$$2(x_1-x_3)X+2(y_1-y_3)Y+2(t_3-t_1)v^2 T=(x_1^2+y_1^2)-(x_3^2+y_3^2)+v^2(t_3^2-t_1^2)=2R_{13} tag 5$$ that is to say
$$(x_1-x_2)X+(y_1-y_2)Y+(t_2-t_1)v^2 T=R_{12} tag 6$$
$$(x_1-x_3)X+(y_1-y_3)Y+(t_3-t_1)v^2 T=R_{13} tag 7$$
From $(6)$ and $(7)$, eliminate $X$ and $Y$ which then express as linear functions of $T$. Plug the results in $(1)$; this gives a quadratic equation in $T$. Solve it and go back to $X$ and $Y$.