The Stacks project

Proof. Since $x/y \cdot y/x = 1$ it is clear that the map $R[x/y] \oplus R[y/x] \to R[x/y, y/x]$ is surjective. Let $\alpha \in R[x/y] \cap R[y/x]$. To show exactness in the middle we have to prove that $\alpha \in R$. By assumption we may write

for some $n, m \geq 0$ and $a_ i, b_ j \in R$. Pick some $N > \max (n, m)$. Consider the finite $R$-submodule $M$ of $R_{xy}$ generated by the elements

We claim that $\alpha M \subset M$. Namely, it is clear that $(x/y)^ i (b_0 + b_1 y/x + \ldots + b_ m(y/x)^ m) \in M$ for $0 \leq i \leq N$ and that $(y/x)^ i (a_0 + a_1 x/y + \ldots + a_ n(x/y)^ n) \in M$ for $0 \leq i \leq N$. Hence $\alpha$ is integral over $R$ by Lemma 10.36.2. Note that $\alpha \in R_ x$, so if $R$ is integrally closed in $R_ x$ then $\alpha \in R$ as desired. $\square$