(P/Q - p/q)^2 + (1/(2 Q^2) - 1/(2 q^2))^2 - (1/(2 q^2) + 1/(2 Q^2))^2 // FullSimplify