Suppose that abcd=n2 for some n∈Z+. We can suppose that a<c<d<b. From this, we have bd+ac−ad−bc=(b−a)(d−c)>0, thus
ad+bc<21(ad+bc+bd+ac)=2(a+b)(c+d)=2p2.
Denote gcd(ad,bc)=k∈Z+ then ad=ku2, bc=kv2 with u,v∈Z+, and u<v, gcd(u,v)=1. Since a,b,c,d are coprime to p then gcd(k,p)=1. We have
k(v2−u2)=bc−ad=(p−a)c−a(p−c)=p(c−a).
So p∣v2−u2 since gcd(k,p)=1. Hence, p∣v−u or p∣v+u. In both cases, we always have u+v≥p. From this, we can conclude that
ad+bc=k(u2+v2)>k2(u+v)2≥2p2
by AM-GM inequality. But this contradicts the inequality we stated above, then abcd cannot be a perfect square.