3
高校数学解説
文献あり

レム・ツー・スリー・フォー　～レムニスケート上の点がつくる角度に関して～

レムニスケート,幾何
170
0

勘が冴えていれば証明の方針も見えるはず 勘が冴えていれば証明の方針も見えるはず


　はい構図ドーン、という体で、いきなり画像を掲載してみた。今回の記事では、レムニスケートにおいて成り立つ角度の関係(要するに上図)を見ていきたいと思う。いつも通り独自研究の成果であるが、初等幾何エンジョイ勢を自称する某氏から記事執筆中に先行研究(とは言っているが、件の研究と本記事の内容がどう関連しているのかを見抜ける人はほぼ皆無と思われるうえ、おそらく先行研究を記した人物でさえも本記事の内容に心当たりは無いであろう)を紹介されたので、暇な方は記事末尾の文献も読んでみよう。


構図(注：汎用性のある性質を幾何界隈ではこう呼びます)の紹介

　2点F,F′を焦点とするレムニスケートΛの中心をOとし、Λの周上にOF5<PF′<OFをみたす任意の点Pをとる。線分FF′の垂直二等分線に関するPの対称点をA、△OF′Pの外接円とΛの交点をB、半直線PF′とΛの交点をC、と、それぞれ名付ける(ただし、いずれもPと異なる)。このとき、以下が成立する。
2∠AOP−∠AFP=3∠BOP−∠BFP=4∠COP−∠CFP=180∘

不要かもしれませんが再掲します 不要かもしれませんが再掲します


　OF5<PF′<OFの条件は図を成立させるために付けたもので、本質とは関係ない。各点が図2のような位置関係にあれば、自ずとみたされる条件である。
　本質は、1番下の行に記した2∠AOP−∠AFP=…の部分。係数に2,3,4が1度ずつ登場しており、ビジュアルに特化した構図であることが伺える。構図はビジュアルが命、というのは、私の半世紀に亘る幾何研究で培われた確固たる信念であるすみません盛りました実際は2年くらいです。
　


　それでは、この構図を証明していこう。余談だが、一般的にはOを二重点(Double point)と呼ぶらしい。本記事では分かりやすさのために、敢えて「中心」という表現を用いる。


構図の証明を丁寧に書きたい

　一目見ただけで「証明は大変だな……」と直感を得た読者も多いだろう。実際、 前々回の記事 のように各点の座標を計算して、根性で加法定理を叩きつける証明方法も無くはない。しかし、あまりにも骨が折れる所業で、ともすれば日本国憲法第25条(2022年6月時点)に抵触しかねない。
　よって、可能な限り楽をせんと試みる。以下をご覧あれ。
【いちよんひくいちの補題】
　2点F,F′を焦点とするレムニスケートΛの中心をOとし、Λの周上にPF<OFをみたす任意の点Pをとる。ここで∠OFP=α, ∠FOP=β, ∠OF′P=γとすると、α+4β−γ=180∘が成立する。

実はこっちが本記事の核心だったりそうでもなかったり 実はこっちが本記事の核心だったりそうでもなかったり


(Lem.) 【いちよんひくいちの補題】の証明

　2点F,F′の座標がF(−1,0),F′(1,0)となるようにxy直交座標平面を設定すると、Λの方程式は以下のように表される(有名事実)。
Λ:(x2+y2)2=2(x2−y2)　いま、点Pの座標をP(a,b)とすると、PはΛ上に存在するので、
(a2+b2)2=2(a2−b2)が従う。また、αおよびγについて、tan⁡(α)=ba+1, tan⁡(γ)=−ba−1は明らかである。


　tanの加法定理を用いると、
tan⁡(α−γ)=ba+1−(−ba−1)1+ba+1(−ba−1)=2aba2−b2−1であるが、
(2ab)2+(a2−b2−1)2=(a2+b2)2−2(a2−b2)+1=1に注意することで、sin⁡(α−γ)=2ab, cos⁡(α−γ)=a2−b2−1が判明する(正負も考慮した)。
　ゆえに、tanの半角公式(の変形版)を適用して、tan⁡(α−γ2)は以下のように求められる。
tan⁡(α−γ2)=sin⁡(α−γ)1+cos⁡(α−γ)=2aba2−b2


　ところで、βについてtan⁡(β)=−baがいえるので、tan⁡(2β)を求めると、
tan⁡(2β)=2⋅(−ba)1−(−ba)2=−2aba2−b2となる。すなわちtan⁡(α−γ2)=−tan⁡(2β)であり、0∘<α−γ<180∘, 0∘<β<45∘に注意するとα+4β−γ=180∘を得る。　((Lem.)の証明終)




　はい補題ドーン。これをやりたくて冒頭で構図をドーンした。驚いてくれただろうか

。万一読者の中で心臓に基礎疾患をお持ちの方がいれば少々申し訳ないが。
　話を戻す。こちらの【いちよんひくいちの補題】、実は最初の構図の証明に使える優れもの。本補題と最初の構図との関係を確認しよう。


再々掲は流石に過剰かもしれない 再々掲は流石に過剰かもしれない


(2) 2∠AOP−∠AFP=180∘について

∠AOP=180∘−∠FOA−∠F′OP=180∘−2∠FOA∠AFP=∠OFA−∠OFP=∠OFA−∠OF′Aであるから、【いちよんひくいちの補題】より、
2∠AOP−∠AFP=360∘−(∠OFA+4∠FOA−∠OF′A)=360∘−180∘=180∘がいえる。　((2)の証明終)


(3) 3∠BOP−∠BFP=180∘について

　【いちよんひくいちの補題】より、
∠OF′P+4∠F′OP−∠OFP=180∘∠OF′B+4∠F′OB−∠OFB=180∘を得て、これらを辺々足し合わせると、
∠BF′P+4∠BOP−∠BFP=360∘となる。四角形OBF′Pが円に内接することから∠BF′P+∠BOP=180∘が従うので、
3∠BOP−∠BFP=(∠BF′P+4∠BOP−∠BFP)−(∠BF′P+∠BOP)=360∘−180∘=180∘がいえる。　((3)の証明終)


(4) 4∠COP−∠CFP=180∘について

　【いちよんひくいちの補題】より、
∠OF′P+4∠F′OP−∠OFP=180∘∠OF′C+4∠F′OC−∠OFC=180∘を得て、これらを辺々足し合わせると、
∠CF′P+4∠COP−∠CFP=360∘となる。∠CF′P=180∘に注意すると、
4∠COP−∠CFP=(∠CF′P+4∠COP−∠CFP)−∠CF′P=360∘−180∘=180∘がいえる。　((4)の証明終)




　……と、以上のように、【いちよんひくいちの補題】ただひとつを証明するだけで、他の構図がすべて得られる。要するに、最初の構図は補題の系でしかないのだ。(構図の証明終)


あとがきに示唆を込めて

　以上、補題が頑張るだけの構図であった。最初の構図紹介で囲み枠が青色になっていることから「あ、この構図は何かの定理から自明に導かれるのだな」と予感した読者がいれば、私の記事をよく読んでくれているという意味になろう(問題は橙色、定理は緑色、系は青色、という風に囲み枠の色を使い分けている)。


　最後に。【いちよんひくいちの補題】について、先述の先行研究にそれを導出するための幾何学的性質が隠されている。つまり、補題がそのまま書かれているわけでもなければ、補題と類似の構図があるわけでもない。折角なので、読者のために追体験の機会を残しておく。要するに、宝探しの感覚で文献を読んでみよう、補題への手がかりを探し出そう、ということだ。
　他の先行研究や、本記事の誤謬などを見つけた方は、いつものようにコメントをお願いしたい。


　遠くから「補題だけ書けばよいのでは？」という声が聞こえてきたけれども、初めに書いた通り、「構図はビジュアルが命」。補題よりもビジュアルで優れた(と思われる)系を見つければ、そちらを主軸に据えたほうが記事の充実度も高まるだろう。


参考文献

[1]
Arseniy V. Akopyan, The Lemniscate of Bernoulli, Without Formulas, 閲覧日 2022年6月28日, https://arxiv.org/abs/1003.3078
投稿日：2022年7月3日
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

匿(Tock)
匿(Tock)
201
29291
主に初等幾何・レムニスケート。時々偏差値・多重根号。 「たとえ作曲家が忘れ去られた日であっても、彼の旋律が街並みを縫って美しく流れていますように。」

コメント

他の人のコメント

コメントはありません。
読み込み中
匿(Tock)
匿(Tock)
レム・ツー・スリー・フォー　～レムニスケート上の点がつくる角度に関して～
  1. 構図(注：汎用性のある性質を幾何界隈ではこう呼びます)の紹介
  2. 構図の証明を丁寧に書きたい
  3. あとがきに示唆を込めて
  4. 参考文献