Với tích ab > 8070 chứng minh ít nhất một trong hai phương trình sau có nghiệm

Với tích ab > 8070 chứng minh ít nhất một trong hai phương trình sau có nghiệm:
1) x²+ax+2017=0
2) x²+bx+2018=0