Problem

Source: Iran 3rd round 2012-Algebra exam-P5

Tags: algebra proposed, algebra



Let $p$ be an odd prime number and let $a_1,a_2,...,a_n \in \mathbb Q^+$ be rational numbers. Prove that \[\mathbb Q(\sqrt[p]{a_1}+\sqrt[p]{a_2}+...+\sqrt[p]{a_n})=\mathbb Q(\sqrt[p]{a_1},\sqrt[p]{a_2},...,\sqrt[p]{a_n}).\]