>>346
p/q=(a+c)/(b+d) の分子分母の最大公約数をgとおくと
互いに素な自然数mnを用いて
a+c=gm,b+d=gnとおける
このときp/q=m/nとなりp=m,q=n
b+dが最小となるからn=b+dであり、g=1
したがって既約