Ibix thank you for all the suggestions on how to post a spacetime diagram in here. Of your suggestions, I will start by using pictures since that's the easiest way for now. I tired your javascript page which is interesting, and will try using it more to get a better feel for it.
Vanhees the book is "An Illustrated Guide to Relativity" by Tatsu Takeuchi.
There are six related diagrams I am working with now, each of which deal with two frames of reference: one frame of reference is the "tree frame" where someone is standing next to a tree, and the other frame is the "car frame" where the car is driving away from the tree at .5c. On each of these diagrams, the pink colored line is the world line of the car, the grey line is the world line of the tree, and the two crimson lines are two beams of light:
The top diagram above shows points A E F G in the tree frame which are all simultaneous in the car frame, but which all occur at different times in the tree frame. I understand that from the cars point of view, this line of simultaneity ("LOS") must be slanted so that the LOS is equidistant from both beams of light.
Here's the problem: The author says "I argued earlier that line AEFG in the tree frame diagram must fall on a horizontal line on the car frame diagram, but I haven't said yet which horizontal line it is".
So I assume the author wants us to figure out where on the time axis the horizontal line needs to be drawn in the car frame? He goes on to explain the solution by saying "one is tempted to think that the line corresponds to the points ## A \prime E \prime F \prime G \prime ## on the car frame diagram (second diagram from above) since the spatial separations of the tree, the car, and the two photons in ## x \prime ## are the same as those in x." My only reason for thinking that the second diagram above couldn't be true is that point E, which is the location and time of the car in the tree frame, is at t = 4 in the tree frame, and ## E \prime ## in the diagram below is at ## t \prime = 4 ##. We know that t can't =## t \prime ## for even E because event E happened at a distance from the tree frame, and the car is in motion relative to the tree? I assume, though, that the author is trying to explain it another more visual way. The author continues with another pair of diagrams, the top one which is again in the tree frame and the bottom in the car frame:
He says this cannot be correct because it implies that ## H \prime \prime F \prime \prime E J \prime \prime ## on the tree frame diagram correspond with ## H \prime F \prime I \prime J \prime ## on the car frame diagram. This makes my head spin a bit and I'm not sure I understand his reasoning, and the only reason why I can think that it's wrong is because the event F can't be at the same time, t = 4, in both frames.
Now the author introduces a rule to use to determine where to draw the line in the car frame given where it is in the tree frame, and shows a third pair of diagrams. He calls the rule the "conservation of spacetime volume" rule:
Referring to these diagrams he says: "On the tree frame diagram (first diagram of the above pair), draw a line parallel to the car worldline that goes through A, and a line parallel to AEFG that goes through the origin O. Call the point when the two lines cross P. Note that P is at the same time as O, and at the same place as A, in the car frame. So the diamond AEOP on the tree frame diagram must correspond with a square, like the one in the bottom figure, shown on the tree frame diagram."
How can we conclude that this diamond in the tree frame must correspond with a square in the car frame? To do that, wouldn't we need to know that this distance between O and P is the same as the distance between O and E? How do we know that these distances are the same?
He then continues: "In the current case we are considering here, the area enclosed in the diamond AEOP on the tree frame diagram is ## 12m^2 ##. Just count the number of squares in the diamond."
I have re-read this multiple times and don't how we get ## 12m^2 ## as the area of the diamond in the tree frame diagram. I can't just count the number of squares in the diamond because many of the squares in the diamond are cut up into odd fractions. Am I missing something?
"So the length of the sides of the square on the car-frame diagram must be ## \sqrt 12m^2 = 2 \sqrt 3m = 3.5m. ## Therefore, points AEFG lie on the horizontal line with ## ct \prime = 3.5m, as shown on the car frame diagram."
Just looking at the diamond shape in the tree frame, each side appears to be at least 4m in length, which makes it even more unclear to me about how the author gets 3.5m as the length of the sides of the square in the car frame.
"Under the conservation of spacetime volume rule, the square on the tree frame diagram which has OF as a one of its sides will be transformed to the diamond with the same area on the car-frame diagram as shown. So under the inverse transformation F will be mapped back to where it originally was.
This conservation of spacetime area maintains the symmetry between the tree and car frames, since each is moving at the exact same speed when observed from the other frame, and ensures that the correspondence between the points on the two diagrams is one-to-one. It is a consequence of the fact that the "number of events" enclosed in AEOP must be independent of the frame of reference."
So, is the spacetime conservation rule an alternative method, in situations like this, to using the lorentz transformations? When I used the lorentz transformation in the above example to convert the time of event E in the tree frame to the time of event E in the car frame, I got the same answer of 3.5.