HOMELv012 四角形が円に外接するとき、対辺の長さの和が等しいという定理は。 2026年5月3日 円に外接する四角形の性質 AB+CD = BC+DA をピトーの定理と呼ぶ。 $\sum_{k=1}^{\infty} 1/k^2$ の値が $\pi^2/6$ であることを解いた問題名は。 鳩の巣原理を用いて、6人いれば「互いに知り合いの3人」か「互いに他人の3人」がいることを示す理論は。