# Reciprocal of One minus x in terms of Gaussian Hypergeometric Function

## Theorem

$\dfrac 1 {1 - x} = {}_2 \map {F_1} {1, p; p; x}$

where:

$x$ and $p$ are real numbers with $\size x < 1$
${}_2 F_1$ denotes the Gaussian hypergeometric function.

## Proof

 $\ds {}_2 \map {F_1} {1, p; p; x}$ $=$ $\ds \sum_{n \mathop = 0}^\infty \frac {1^{\bar n} p^{\bar n} } {p^{\bar n} } \frac {x^n} {n!}$ Definition of Gaussian Hypergeometric Function $\ds$ $=$ $\ds \sum_{n \mathop = 0}^\infty n! \frac {x^n} {n!}$ One to Integer Rising is Integer Factorial $\ds$ $=$ $\ds \sum_{n \mathop = 0}^\infty x^n$ $\ds$ $=$ $\ds \frac 1 {1 - x}$ Sum of Infinite Geometric Sequence, justified as $\size x < 1$

$\blacksquare$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://proofwiki.org/wiki/Reciprocal_of_One_minus_x_in_terms_of_Gaussian_Hypergeometric_Function", "fetch_time": 1656539811000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2022-27/segments/1656103645173.39/warc/CC-MAIN-20220629211420-20220630001420-00048.warc.gz", "warc_record_offset": 521447036, "warc_record_length": 10873, "token_count": 272, "char_count": 709, "score": 3.53125, "int_score": 4, "crawl": "CC-MAIN-2022-27", "snapshot_type": "latest", "language": "en", "language_score": 0.5300148725509644, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00041-of-00064.parquet"}