図のように 2 個の円が外接し，小さい方の円の周上の点 E から大きい方の円に接線（接点は F）を引くとき，線分 EF はいかほどか。
小円，大円の半径を r1, r2 とおき，以下のように計算する。
using SymPy
@syms r1::positive, r2::positive
BD = 2sqrt(r1*r2)
DE = 2r1 - r2
BE = sqrt( (2r1 - r2)^2 + (2sqrt(r1*r2))^2) |> simplify
\(\displaystyle \sqrt{4 r_{1}^{2} + r_{2}^{2}}\)
EF = sqrt(BE^2 - r2^2)
\(\displaystyle 2 r_{1}\)
EF は小円の直径に等しい。
以下のアイコンをクリックして応援してください
