△ABC とその外接円 O があり、OA = 3、AB = 4 である。半直線 AO と線分 BC が交わるように点 C をとり、その交点を D とする。BD : DC = 2 : 1 となるときの OD の長さを全て求めなさい。ただし、点 C は弧 AB 上にないものとする。
答えはある整数 $a, b, c$ を用いて$$\rm{OD} = \frac{b \pm \sqrt{c}}{a}$$と表せるので、一行目に $a$、二行目に $b$、三行目に $c$ を半角で入力してください。
三辺の長さがa!、b!、c!(a,b,cは自然数)となる直角三角形は存在するか。
存在するならば組(a,b,c)を1組入力してください。存在しないならば、存在しないことを証明してください。(簡単にでいいです)