Definition: Special Relativity
The posutlates of special relativity are:

Theorem: Fundamental Effects
From the postulates, we can derive the three fundamental effects: where $\gamma = \frac{1}{\sqrt{1-v^2/c^2}}.$

Theorem: Lorentz Transformations
Let the frame $S'$ move with velocity $v\hat{\mathbf x}$ with respect to the frame of the observer, $S$. Then, $$x = \gamma (x' + vt'), t = \gamma (t'+vx'/c^2), \gamma = \frac{1}{\sqrt{1-v^2/c^2}}.$$ This can also be written in matrix form, $$\begin{pmatrix}x
ct\end{pmatrix} = \begin{pmatrix} \gamma & \gamma \beta
\gamma \beta & \gamma \end{pmatrix}\begin{pmatrix}x'
ct'\end{pmatrix},$$ where $\beta = v/c$. This can be made even simpler by setting $c = 1$.
Theorem: Invariant Interval
The quantity $$s^2 = (ct)^2 - x^2,$$ known as the invariant interval, is invariant across Lorentz transformations. You won't see this used much in the olympiad, but the generalization of this -- the magnitude of any four-vector will be introduced next week and be useful for energy and momentum.

Theorem
If an object moves at velocity $v_2$ in frame $S'$ which moves at velocity $v_1$ with respect to frame $S$, then in frame $S$, the object moves at $$v = \frac{v_1 +v_2}{1+v_1v_2/c^2}.$$

Sometimes, spacetime diagrams, or minkowski diagrams, can be especially helpful for problem solving. They are graphs with a $t$ orc $ct$ vertical axis and $x$ as the horizontal axis, as shown below.

" alt="" style="max-width:100%;height:auto;display:block;margin:.5em auto;">
The $45$ degree line represents the path of light. One must be careful though, as the units scale differently: $$\frac{\text{one }ct'\text{ unit}}{\text{one }ct\text{ unit}} = \frac{\text{one }x'\text{ unit}}{\text{one }x\text{ unit}} = \sqrt{\frac{1+\beta^2}{1-\beta^2}}$$

Idea: Rapidity
Rapidity, $\phi$ is defined by $$\tanh \phi = \beta = v/c.$$ This is especially useful as the Lorentz transform becomes $$\begin{pmatrix} x
ct \end{pmatrix} = \begin{pmatrix}\cosh \phi & \sinh \phi
\sinh \phi & \cosh \phi\end{pmatrix}\begin{pmatrix}x'
ct'\end{pmatrix},$$ analogous to a rotation in 2D. The velocity addition formula also becomes nicer, with $$\tanh(\phi_1+\phi_2) = \frac{\tanh \phi_1 + \tanh \phi_2}{1+\tanh\phi_1 \tanh \phi_2}.$$