已知两个不相等的质数 $a,b$ 和一个正整数 $c$，满足 $a^2+b^2-ab=c^2$，问是否有满足条件的 $a,b,c$。（请给出证明，谢谢）