MathLabs

第4問

凸四辺形 ABCD で、CD が直径 AB の円に接するとする。AB が直径 CD の円にも接することと、BC∥ADBC\parallel AD が同値であることを証明せよ。
ステップ 4/5: 第4段階
前のステップ次のステップ
OBOA=OCOD⟺BC∥AD\frac{OB}{OA}=\frac{OC}{OD}\Longleftrightarrow BC\parallel AD
詳しい解説

二つ目の接線条件は OB/OA=OC/ODOB/OA=OC/OD と同値である。タレスの定理の逆により、この比の等式は BC∥ADBC\parallel AD と同値である。