מתמטיקה נוספת פורמלית 1 (FP1, בוחן WFM01/01, 1 שעות 30 דקות, 75 נקודות) היא חובה במתמטיקה נוספת בינלאומית AS ו-A Level ובמתמטיקה פורמלית בינלאומית AS ו-A Level המתמטיקה. P1–P2 נחשבות כידועות ועשויות להיבחן, כולל מיקום שינוי סימן של שורשים, סיבוב צורות סביב הראשית, וחלוקת משוואה קובית או רביעית במשוואה ריבועית. עמוד זה מכסה מספרים מרוכבים, שורשים של משוואות ריבועיות, שיטות נומריות, הפרבולה והיפרבולה מלבנית, אלגברת מטריצות, טרנספורמציות, סדרות סופיות והוכחה על ידי אינדוקציה. בעזרת אינדוקציה.
חובה לדעת עבור FP1 (אינה בספרון):
| משפחה | נוסחות |
|---|---|
| שורשים ריבועיים | עבור $ax^2 + bx + c = 0$ עם שורשים $\alpha, \beta$: $\alpha + \beta = -\dfrac ba$, $\quad\alpha\beta = \dfrac ca$ |
| סדרות | $\displaystyle\sum_{r=1}^n r = \tfrac12 n(n+1)$ |
| מספרים מרוכבים | $z = a + bi$, $\lvert z\rvert = \sqrt{a^2 + b^2}$, $\bar z = a - bi$, $\lvert z_1z_2\rvert = \lvert z_1\rvert\lvert z_2\rvert$ |
| קוני | פרבולה $y^2 = 4ax$ (פרמטרית $x = at^2$, $y = 2at$); היפרבולה מלבנית $xy = c^2$ (פרמטרית $x = ct$, $y = \tfrac ct$) |
| מטריצות | $\det\begin{pmatrix}a&b\\c&d\end{pmatrix} = ad - bc$, $\quad\mathbf M^{-1} = \dfrac1{ad-bc}\begin{pmatrix}d&-b\\-c&a\end{pmatrix}$, $(\mathbf{AB})^{-1} = \mathbf B^{-1}\mathbf A^{-1}$ |