Sin 2x half angle formula. We want to draw a triangle with all three side lengths labeled ...