a,b,cは素数で、2≦a≦b≦cかつa+b>cを満たす。
AB=c,BC=a,CA=bである△ABCの面積をS(a,b,c)とする。

(1)有理数pと自然数nを用い、S(a,b,c)=p√nと表したとき、n=1とならないことを示せ。

(2)次の命題の真偽を述べよ。
「どのような素数qについても、a,b,cをうまく選ぶことで、n=qとなるようにできる」