正方形と３つの円
四辺形 ABCD は正方形をなし
O はその中心とするとき
正方形 ABCD の内接円と
円 BA 及び円 DO は
は同一点で交わる
このサイトでは
円 PQ で P を中心とし
半径 PQ の円を表す
解説
↓
↓
↓
↓
E を 正方形 ABCD の
内接円と円 BA との
交点の一つとする
DE = DO を示す
O は BD の中点なので
EB
2
+ ED
2
= 2(EO
2
+ BO
2
)
これより DE = DO を得る