In fact, a similar result can be used to prove $A(X\times Y)=A(X)\otimes_k A(Y)$. I assume here that the product $X\times Y$ of affine varieties is defined via the Segre embedding.
Let $X\subseteq\mathbb{A}^n$ and $Y\subseteq\mathbb{A}^m$ and let $A(\mathbb{A}^n)=k[\underline{x}]:=k[x_1,\ldots,x_n]$ as well as $A(\mathbb{A}^m)=k[\underline{z}]$ be the respective coordinate rings. Let $I=I(X)$ and $J=I(Y)$. We then define I':=I\cdot k[\underline{x},\underline{z}] and J':=J\cdot k[\underline{x},\underline{z}], the images of $I$ and $J$ in the coordinate ring of $\mathbb{A}^{n+m}$. This means X\times\mathbb{A}^m=Z(I') and \mathbb{A}^n\times Y=Z(J'), so $X\times Y=(X\times\mathbb{A}^m)\cap(\mathbb{A}^n\times Y)$ is a closed subset of $\mathbb{A}^{n+m}$ with coordinate ring A(X\times Y)=k[\underline{x},\underline{z}]/\sqrt{I'+J'}. Now you have to show that this defines the tensor product $k[\underline{x}]/I \otimes_k k[\underline{z}]/J$, which is elementary and probably works very similar to the result you cited.