ケプラーの法則
ケプラーの法則（ケプラーのほうそく）は、1609年から約1619年にかけてヨハネス・ケプラーによって発表された惑星の運動に関する法則である。
ケプラー80
この恒星には、ケプラーによるトランジット法の観測から、5つの惑星候補がみつかっていた。2012年、TTV法でケプラーの観測データを詳しく分析した結果、5つの候補の内で、公転周期の長い2つについて存在が確定し、ケプラー80b、ケプラー80cとなった。2014年、統計解析の手法を改良し、惑星候補とされるトランジットを再調査した結果、更に2つの惑星が確定し、ケプラー80d、ケプラー80eとなった。2016年には、ケプラーが検出した惑星候補の全てについて、惑星以外の信号である確率を計算する中で、5番目の惑星候補が惑星と判断するのが妥当とされ、ケプラー80fが確定した。