クエリ: 「ケプラーの法則」が発表されたのはいつ
文章: ケプラーの法則 ケプラーの法則(ケプラーのほうそく)は、1609年から約1619年にかけてヨハネス・ケプラーによって発表された惑星の運動に関する法則である。
文章: ケプラー予想 2003年1月、ヘイルズはケプラー予想の完全な形式的証明を求める共同プロジェクトを開始した。その目標は、証明の妥当性に一切の疑問を残さないため、HOL LightやIsabelleなどのプログラムにかけられるような形式的証明を構築することであった。プロジェクトは「Flyspeck」と名付けられた。そのうちの3文字、F、P、Kは「Formal Proof of Kepler」(ケプラーの形式的証明)から取ったものである。ヘイルズは完全な形式的証明を構築するのには20年ほどの作業が必要だと見積もっていた。2014年8月10日にプロジェクトの終結が発表された。2015年1月、ヘイルズと21人の共同研究者は「ケプラー予想の形式的証明」と題された論文を公開した。 文章: 天文台 イスラム圏では1420年に天文学者ウルグ・ベグがサマルカンド郊外にウルグ・ベク天文台を建設した。ヨーロッパでは、チコ・ブラーエが北欧に設立した天文台まで、記録が残っていない。オランダの眼鏡職人ハンス・リッペルスハイが発明したとされる、ガリレオ式天体望遠鏡やチコ・ブラーエの下で天体観測データの解析を通じて、惑星運動のケプラーの法則に名を残すヨハネス・ケプラーによって考案された、ケプラー式天体望遠鏡などが開発されてから、天体観測所として人類の宇宙観を大きく変える発見がなされた。その後も、イギリスのアイザック・ニュートンが開発した、ニュートン式反射天体望遠鏡が天体観測装置の精密化や大口径化を後押しした。 文章: ダンドラン球面 しかしこの証明はダンドランもケトレーも行っておらず、最初に行ったのは、1829年のパース・モートン、か1758年のヒュー・ハミルトンが、「円錐と接する球は、円錐断面と準線を定義する円で接する」と述べた。焦点と準線との性質は、ケプラーの法則の証明に不可欠である。 文章: ティコ・ブラーエ ティコ・ブラーエ("Tycho Brahe" 、1546年12月14日 - 1601年10月24日)は、デンマークの天文学者、占星術師。膨大な天体観測記録を残し、ケプラーの法則を生む基礎を作った。 文章: 麻田剛立 宝暦13年(1763年)に、ケプラーの法則を用いて、同年9月1日(旧暦)の日食を予言した。この日食は当時使用されていた宝暦暦に記されていなかったこともあり、麻田の名声を高めた。 文章: ヘスの法則 ヘスの法則(へすのほうそく、)は、スイス生まれのロシアの化学者ジェルマン・アンリ・ヘスが1840年に発表した熱化学の法則。総熱量不変の法則()ともいう。ヘスの法則は熱力学第一法則の化学的言い換えであるが、熱力学第一法則の提唱以前に発見されたことは特筆すべき点である。 文章: 重力 ドイツのケプラー(1571年1630年)は、重力というのは似たもの同士が引き合う力(引力)であり、この引力は潮の満ち引きという(月の変化の周期と連動する)現象から推察するに、地球と月との間にも作用している、と見なした。 文章: 軌道速度 中心方向に対して横向きの軌道速度は、角運動量保存の法則、もしくはそれと等価なケプラーの法則のために、中心の物体との距離と反比例する。物体が軌道をある一定時間の間に周回する時、重心と物体を結ぶ線分が作る領域の面積は、その時物体が占めている軌道の位置によらず常に等しいということである。このことは近地点では遠地点より物体は速く動くことを意味する。なぜならより物体がより短い距離にある時は、同じ面積を掃くためにはより大きな角度を動く必要があるからである。この法則は通常「面積速度一定の法則」と呼ばれる。 文章: オルバースのパラドックス 地動説に賛同しその惑星の運動を解明した著名な天文学者ヨハネス・ケプラーは、一方で神秘主義的な考えに固執し「恒星天」の考えを堅持した。 ケプラーにとって、ディッグズやジョルダーノ・ブルーノ、あるいはウィリアム・ギルバートらによって広まりつつあった無限の宇宙という考えは、太陽の特権的地位をおとしめるものであった。 1611年にガリレオの『星界の報告』を讃えた手紙の中で、ケプラーはこの夜空の暗闇の問題に言及している。 そこにおいて、夜空の暗さこそ宇宙が有限であることを証明する証拠のひとつとされた。 その論証においてケプラーは星々が太陽と同じ性質のものなら「すべての星々を全部一緒にしても、最も近いところにすら大層ほの暗い光しか送ってこないのはなぜだろうか」と問うている。 ケプラーはこれに自ら答えて、宇宙には全天を覆うほどの星が元々存在しておらず、ガリレオが望遠鏡によって発見した暗い数多くの星々は、遠くにあるのではなく他の星と同じ距離だが太陽よりもずっと小さく弱々しくしか輝いていないのだとみなした。 文章: ケブラー ケブラー(Kevlar)とは、芳香族ポリアミド系樹脂の登録商標である。1965年に化学者でデュポン社に勤めていたステファニー・クオレクによって発明された。1970年代初期に商業的に使用され始めた。正式名称は 英:Poly-paraphenylene terephthalamide (ポリパラフェニレン テレフタルアミド)。 文章: ケプラーの法則 第3法則は、公転周期の長さは楕円軌道の長半径のみに依存して決まることを意味する。楕円軌道の離心率に依存しないので、楕円軌道の長半径が同じであれば、円運動でも楕円運動でも周期は同じになる。この法則も後のニュートン力学で導ける。 文章: 音楽と数学 は純正律の最も一般的な形式であり、基本周波数の有理数倍音を用いた調律体系である。これは1619年に書かれたヨハネス・ケプラーの著書「」にて惑星の運動と関連して示された音階の一つである。同じ音階が1721年にスコットランドの数学者兼音楽理論家のアレクサンダー・マルコムにより、著書「"Treatise of Musick: Speculative, Practical and Historical"」において移調形式で与えられ、20世紀には音楽理論家のJose Wuerschmidtにより与えられた。この純正律の形式は北インドの音楽で使用されている。アメリカ合衆国の作曲家テリー・ライリーもまた、自著「"Harp of New Albion"」において逆形式の使用を行っている。純正律は和声進行がほとんどもしくはまったくない場合に優れた結果を与える。人声と他の楽器は常に純正音程へ引き寄せられる。しかし、2つの異なる全音の音程 (9:8と10:9) が与えられることで、純正律に調律された鍵盤楽器では移調ができなくなる。比率による音階の音の周波数は、主音の周波数に対し比を乗算を行うことで求められる。例として、主音A4(中央のCの上のA)を周波数440Hzとすると、純正に調律された五度 (E5)の周波数は440×(3:2) = 660Hzとなる。 文章: ケプラーの法則 ケプラーの法則に従う運動をケプラー運動ともいう。 文章: シャルルの法則 シャルルの法則()とは、一定の圧力の下で、気体の体積の温度変化に対する依存性を示した法則である。シャールの法則ともいう。1787年にジャック・シャルルが発見し、1802年にジョセフ・ルイ・ゲイ=リュサックによって初めて発表された。この法則は理想気体に対して成り立つ近似法則であり、実在気体ではずれが生じる。この法則から絶対零度の存在と、普遍的な理想気体温度の存在が見いだされる。 文章: 地動説 ティコ・ブラーエは、恒星の年周視差が当時の望遠鏡では観測できなかったことから、地球は止まっているとしたが、太陽は5つの惑星を従えて地球の周りを公転するという折衷案を唱えた。最初に地動説に賛同した職業天文学者は、コペルニクスの直接の弟子レティクスを除けばヨハネス・ケプラーだった。ケプラーはブラーエの共同研究者であり、ブラーエの膨大な観測記録を土台として1597年、「宇宙の神秘」を公刊。コペルニクス説に完全に賛同すると主張してコペルニクスを擁護した。これらに追随する形で、ガリレオ・ガリレイもまた地動説を唱えた。