このページのノートに、このページに関する依頼があります。(2019年10月)
依頼の要約:類型の日本語名称の正確性についての調査・確認
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "方べきの定理"
方べきの定理(方冪の定理、方羃の定理、方巾の定理[1]、ほうべきのていり、英: power of a point theorem[2])は、平面初等幾何学の定理の1つである。
定理の主張図1 Pが円の内側にある(交わる弦の定理)図2 Pが円の外側にある(交わる割線の定理)図3 Pが円の外側にあり、直線の一方が円の接線である(接線と割線の定理)
(図1、図2)円 O とその円周上にない点 P について、点 P を通る2本の直線 ℓ {\displaystyle \ell } , m がともに円の割線(円との共有点が2個である直線)になっているとしよう。円と ℓ {\displaystyle \ell } の交点を A, B とし、円と m の交点を C, D とすると、 PA ⋅ PB = PC ⋅ PD {\displaystyle {\text{PA}}\cdot {\text{PB}}={\text{PC}}\cdot {\text{PD}}}
が成り立つ。
(図3)また、P が円 O の外側にあり、P を通る直線の一方が円 O の接線となる場合にも、円と割線の交点を A, B とし、円と接線の接点を T とすると、 PA ⋅ PB = PT 2 {\displaystyle {\text{PA}}\cdot {\text{PB}}={\text{PT}}^{2}}
が成り立つ。 P が円 O の内側にある場合左の図において、同一の弧に対する円周角は互いに等しいから∠PAC = ∠PDB∠PCA = ∠PBD 二角相等により△PAC ∽ △PDB よってPA: PC = PD: PB すなわちPA ・ PB = PC ・ PD 二角相等により△PAC ∽ △PDB よってPA: PC = PD: PB すなわちPA ・ PB = PC ・ PD また、共通の角として∠TPA = ∠BPT 二角相等により△PAT ∽ △PTB よってPA: PT = PT: PB すなわちPA ・ PB = PT2 方べきの定理は、適当な意味においてその逆が成立することが知られている。 平面上に相異なる4点 A, B, C, D があり、直線 AB と 直線 CD がただ一つの交点 P をもつとする。ここで次の条件を考える。 (1)かつ(2-1)を満たすならば、4点 A, B, C, D を通る円(共円)が存在し、P はこの円の内側にある。 (1)かつ(2-2)を満たすならば、4点 A, B, C, D を通る円が存在し、P はこの円の外側にある。 また、平面上に相異なる3点 A, B, T があり、直線 AB 上に点 P があるとする。ここで次の条件を考える。 (3)かつ(4)かつ(5)を満たすならば、3点 A, B, T を通る円(△ABTの外接円)の T における接線は P を通る。 いずれの場合も、もとの定理の証明を逆向きにたどるようにして、三角形の相似を利用して証明することができる。条件(2-1), (2-2), (4), (5)を外すことができないことには注意すべきである。 この節では、円をその中心点の名前を借りて円 O のように呼ぶことはせず、独立した記号を与えることとする。 平面上に点 O, P と、O を中心とする円 ω がある。P を通る直線 ℓ {\displaystyle \ell } が ω と1つまたは2つの共有点をもつとし、それを A, B とする(共有点が1つのときは A=B として扱う)。 さて、P と ω が動かずに、 ℓ {\displaystyle \ell } がさまざまに動くとき、A, B はつられてさまざまに動くが、 PA ⋅ PB {\displaystyle {\text{PA}}\cdot {\text{PB}}} の値は変化しないことが方べきの定理からわかる。P≠O のとき、直線 OP を考えることにより、 PA ⋅ PB = 。 PO − r 。 ⋅ ( PO + r ) = 。 PO 2 − r 2 。 {\displaystyle {\text{PA}}\cdot {\text{PB}}=|{\text{PO}}-r|\cdot ({\text{PO}}+r)=|{\text{PO}}^{2}-r^{2}|} と表すことができる。P=O のときにも、ω の任意の直径を考えることにより、やはり PA ⋅ PB = r 2 = 。 0 − r 2 。 = 。 PO 2 − r 2 。 {\displaystyle {\text{PA}}\cdot {\text{PB}}=r^{2}=|0-r^{2}|=|{\text{PO}}^{2}-r^{2}|} が成り立つ。 そこで、P と ω のみによって決まる量 Π ω ( P ) = PO 2 − r 2 {\displaystyle \Pi _{\omega }(P)={\text{PO}}^{2}-r^{2}} を定義すると便利である。この値を、P の ω に関する方べきの値(ほうべきのあたい)または単に方べき(ほうべき、英: power)という。記号には Π ( P ) , Pow ω ( P ) {\displaystyle \Pi (P),{\text{Pow}}_{\omega }(P)} などが用いられることもある。 方べきの値は、P が ω の外側にあれば正、ω の内側にあれば負、ちょうど ω の上にあればゼロとなる。 学校数学で方べきの値が教えられることは少ない。 平面上の異なる中心をもつ2つの円の根軸は、方べきの値を用いて特徴付けられる[3]。
証明
P が円 O の外側にある場合左の図において、円に内接する四角形の外角の大きさは、その内対角の大きさに等しいから、∠PAC = ∠PDB∠PCA = ∠PBD
直線の一方が接線になる場合左の図において、接弦定理により、∠PTA = ∠PBT
方べきの定理の逆
(1) PA ⋅ PB = PC ⋅ PD {\displaystyle {\text{PA}}\cdot {\text{PB}}={\text{PC}}\cdot {\text{PD}}}
(2-1) P は線分 AB の内部の点であり、線分 CD の内部の点でもある。
(2-2) P は線分 AB の外部の点であり、線分 CD の外部の点でもある。
(3) PA ⋅ PB = PT 2 {\displaystyle {\text{PA}}\cdot {\text{PB}}={\text{PT}}^{2}}
(4) P は線分 AB の外部の点である。
(5) A, B, T は同一直線上にない。
方べきの値方べきの値は負の値をとりうる。(注意:この図では、線分の記号に絶対値記号をつけたものは単にその長さを表している。)
脚注[脚注の使い方]^ 「冪/羃」はひらがなで書かれることが多い。また、「巾」は数学者の間では「冪」の略字として用いられている。(詳しくは冪乗を参照されたい)
^ “ ⇒Power of a Point Theorem”. 数学も英語も強くなる! 意外な数学英語 Unexpected Math English. 2021年1月26日閲覧。
^ チェン 2023, pp. 42?44
参考文献
H.S.M.コクセター 著、銀林浩 訳『幾何学入門』 (上)、筑摩書房〈ちくま学芸文庫〉、2009年9月10日、161-165頁。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-4-480-09241-0。