刈屋の定理・その2

  以下は刈屋の定理の特別な場合であることが,最近わかり
  ました。
  △ABC に内接する円 I と辺 BC,CA,AB との接点をそれ
  ぞれ D,E,F とするとき,線分 AD,BE,CF は1点 P で交
  わる。
  BC=a,CA=b,AB=c,(a+b+c)/2=L とするとき,AF=AE=L-a,
  BD=BF=L-b,CE=CD=L-c であることを利用します。
  ベクトルによる証明もよい演習にります。   証明

  頂点A,B,Cはドラッグで移動できます。
  戻る


  傍接円の接点についても,同様なことがいえます。
  傍接円 O(接点P,Q,R), O(接点P,Q,R), O(接点P,Q,R) について, 直線 AP,BQ,CR は1点で交わります。
  また,AP,BQ,CR も1点 S で交わります。  S と上図の P は等距離共役点になっています。