AUTHORS: Massimo Bertolini, Henri Darmon (with an appendix by Bas Edixhoven). TITLE: A rigid analytic Gross-Zagier Formula and Arithmetic formula. STATUS: Annals of Math, accepted; to appear. TYPESET: 1. amstex paper 2. latex appendix (+hit return twice...) There will be TWO dvi files: paper.dvi and appendix.dvi.