We know that $(A/\mathfrak p)_f$ is finite-dimensional. Since $A/\mathfrak p$ is a domain and the image of $f$ in $A/\mathfrak p$ is nonzero, the map $A/\mathfrak p \to (A\mathfrak p)_f$ is injective. Hence $A/\mathfrak p$ is a domain that is a finite-dimensional $k$-algebra. Therefore, it is a field (exercise).
The second form is indeed, as you said, a more general statement. First, we prove that, if $\mathbb{K}$ is algebraically closed, every maximal ideal of $R = \mathbb{K}[x_1, x_2, \dots, x_n]$ is of the form $\mathfrak{m} = (x_1 - a_1, \dots, x_n - a_n)$. Obviously any such ideal is maximal. To prove the converse, consider a maximal ideal $\mathfrak{n}$ and the projection $\varphi: R\to R/\mathfrak{n}$. As you said, $R/\mathfrak{n} \simeq \mathbb{K}$ by the Nullstellensatz. Call $a_i$ the image of $x_i$. Then we easily see that $\mathfrak{m} = (x_1-a_1, \dots, x_n-a_n) \subset \ker(\varphi)$. By maximality of $\mathfrak{m}$, it must coincide with the kernel $\mathfrak{n}$.
We now pass on to $V(I)$. Note that, if $(a_1,\dots, a_n) \in V(I)$, by considering the evaluation morphism in $(a_1, \dots, a_n)$, we get that $I \subseteq M = (x_1 -a_1, \dots, x_n - a_n)$: indeed, $M$ is in the kernel, and by assumption $I$ is in the kernel, too. If, on the other hand, $I$ is proper, then it is contained in some maximal ideal and we also know, by above, that every maximal ideal of $R$ is in a one-to-one correspondence with $n$-tuples $(a_1, \dots, a_n)$ and that it vanishes when evaluated on such tuple. So, considering again the evaluation morphism in the $n$-tuple corresponding to one of the maximal ideals containing $I$, we get that $(a_1, \dots, a_n) \in V(I)$ since $I$ is contained in the kernel of such morphism. We have proven and can now formulate the following: $$V(I) \neq \varnothing \iff I \text{ is proper}$$
Your statement is the contrapositive, since $1 \in \sqrt{I} \implies 1 \in I$, which in turn that implies $I$ is not proper.
Best Answer
This statement is much easier than the Nullstellensatz, and admits a straightforward direct proof.
The key point is that a finite dim'l algebra over $k$ is a domain iff it is a field.
This shows that in a finite dim'l algebra over a field, an ideal is prime iff it is maximal.
This in turn shows that for finite dim'l algebras over a field, the nilradical and Jacobson radical coincide.
The Nullstellensatz is much deeper: it involves showing that a finite type algebra over $k$ that is a field is in fact finite dim'l over $k$. In your setting of finite dim'l algs. over a field, finite dimensionality is automatic; you don't need to apply the Nullstellensatz to get it.
Added: This answered an earlier version of the question, which had a typo. See the comments for a discussion and clarification in light of the revised question.