ｙ^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

＝（−２）（−２−４）−３＝９

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