<=>a+b=[TEX]\frac{ab}{c}[/TEX]
do a b c nguyên dương
=>a+b nguyên dương
=> [TEX]\frac{ab}{c}[/TEX] nguyên dương
=> ít nhất a hoặc b chia hết cho c
TH1: a chia hết cho c
=> a:c=k
=>a+b=kb
=>a+b chia hết cho b
=>a chia hết cho b
=>a+b chia hết cho 1 ; b ; a+b
=> a + b không phải số nguyên tố
TH2: b chia hết cho c tương tự TH1 =>a+b cũng không phải số nguyên tố
TH3:a và b đều chia hết cho c
=>a+b chia hết cho a+b ; c ; 1 => không phải nguyên tố
=>ĐPCM