If sin⁡x+20∘=2sin⁡ x cos⁡ 40∘, where x∈(0, π/2), then which of the following hold(s) good?

sin⁡ x cos⁡ 20∘+cos⁡ x sin⁡ 20∘=2sin⁡ x cos⁡ 40∘or   sin⁡ 20∘ cos⁡ x=sin⁡ x 2cos⁡ 40∘−cos⁡ 20∘or   tan⁡x=sin⁡20∘2cos⁡40∘−cos⁡20∘=sin⁡20∘cos⁡40∘+cos⁡40∘−cos⁡20∘=sin⁡20∘cos⁡40∘+2sin⁡30∘sin⁡−10∘=sin⁡20∘sin⁡50∘−sin⁡10∘=sin⁡20∘2cos⁡30∘sin⁡20∘=13   or   ⁡x=30∘