楕円上には有理点が存在しないことを証明するには何から手をつければいいですか？