直角と円
(1) 四辺形 ABCD において
∠BAC = 90°かつ ∠BDC = 90°ならば
A,B,C,D は同一円周上にある。
(増加を押す)
(2) 四辺形 ABCD において
∠BAD = 90°かつ ∠BCD = 90°ならば
A,B,C,D は同一円周上にある。