ｙ^2＝ｘ^3＋１７，Ｐ1（－２，３），Ｐ2（２，５）

［１］２Ｐ1

　倍角公式にＰ1（－２，３），ａ＝０，ｂ＝１７を代入すると

　　ｘ3＝（ｘ1^4－２ａｘ1^2－８ｂｘ1＋ａ^2）／４（ｘ1^3＋ａｘ1＋ｂ）

＝（１６＋８・１７・２）／４（－８＋１７）＝２８８／３６＝８

　　ｙ3＝｛（３ｘ1^2＋ａ）／２ｙ1｝（ｘ1－ｘ3）－ｙ1

＝（１２／６）（－２－８）－３＝－２３

［２］Ｐ1－Ｐ2

　Ｐ1＋（－Ｐ2），Ｐ1（－２，３），－Ｐ2（２，－５）

　　ｘ3＝｛（ｙ2－ｙ1）／（ｘ2－ｘ1）｝^2－ｘ1－ｘ2

＝（－８／４）^2＋２－２＝４

　　ｙ3＝｛（ｙ2－ｙ1）／（ｙ2－ｙ1）｝（ｘ1－ｘ3）－ｙ1

＝（－２）（－２－４）－３＝９

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝