geometry-ai999x — offline, verified geometry solver with step-by-step answers

Install · Capability guide · Evaluation · AI999X on Hugging Face · Website · Support: Buy Me a Coffee

License: Apache-2.0 · Author: Ibnul Jaif Farabi (creator and engineer) · Organization: AI999X · Version 1.0.0

Field: Mathematics & Statistics · Tasks: Question Answering, Token Classification, Text Classification, Sentence Similarity, Feature Extraction

geometry-ai999x is an offline, deterministic Python solver that answers geometry questions with verified results from 76 certified capabilities, gives 375 documented answers identically on Windows and Linux, and refuses rather than guesses when an answer cannot be verified.

geometry-ai999x is a compact, deterministic geometry engine for Python. It reads a question in plain English (or a typed call), picks a certified geometry capability, computes the answer exactly, checks it, and returns the result with its steps, units, LaTeX and assumptions — or an honest refusal that says what is missing. It runs fully offline on any CPU, needs no GPU, no API key and no internet, and is built to give zero wrong answers: when it is not sure, it refuses instead of guessing.

Highlights

• Verified, not generated. Every answer is computed by a certified geometry capability and checked (substituted back, dimension-checked or compared with an independent computation) before it is returned.
• Zero wrong answers by design. Seven explicit outcomes — SOLVED, NEEDS_INPUT, AMBIGUOUS, INVALID_INPUT, OUT_OF_SCOPE, UNRECOGNIZED_FORMAT, INTERNAL_ERROR — never a silent guess. Every one of its 375 documented answers is reproduced exactly on every tested platform.
• Plain-English questions and a guaranteed typed interface. ask() reads documented question forms; solve(capability_id, **inputs) always solves a supported task with valid inputs.
• Explains itself. Steps, formulas in LaTeX, units, assumptions and the model used, ready for notebooks, tutoring apps and homework checkers.
• Small and portable. Pure Python (sympy, mpmath); identical answers on Windows and Linux (Python 3.10, 3.11, 3.12, 3.13, 3.14).
• Coverage: plane and solid figures, coordinate geometry, conic sections, polygons and polyhedra, computational geometry, transformations, spherical geometry and curves and surfaces.

Model overview

Property	Value
Package	geometry-ai999x 1.0.0 (import geometry_ai999x)
Type	Deterministic neuro-symbolic geometry engine (rule-based reading + certified symbolic capabilities)
Capabilities	76 certified procedures
Knowledge pack	version 1.0.0
Golden answers	375 documented answers, identical on every tested platform
Platforms tested	Windows (Python 3.13), Linux x86-64 (Python 3.10, 3.11, 3.12, 3.13, 3.14)
Runtime	CPU only, offline; no GPU, no network, no API key
License	Apache-2.0
Creator / engineer	Ibnul Jaif Farabi
Organization	AI999X

Quickstart

pip install geometry-ai999x
# or straight from this repository:
pip install https://huggingface.co/AI999X/geometry-ai999x/resolve/main/dist/geometry_ai999x-1.0.0-py3-none-any.whl

import geometry_ai999x as geometry

geometry.ask("Find the circumcenter and circumradius of the triangle with vertices (0, 0), (4, 0) and (0, 3).").show()
# -> SOLVED — cx = 2, cy = 1.5, radius = 2.5  (triangle_circumcircle)
geometry.ask("Find the convex hull of the points (0, 0), (2, 1), (4, 0), (3, 3), (1, 2), (2, 4).").show()
# -> SOLVED — hull = [[0.0, 0.0], [4.0, 0.0], [3.0, 3.0], [2.0, 4.0]], n_vertices = 4, area = 9, perimeter = 13.0486  (convex_hull)
geometry.ask("Where does the line y = x + 1 intersect the circle x^2 + y^2 = 25?").show()
# -> SOLVED — count = 2, x1 = -4, y1 = -3, x2 = 3  (circle_line_intersection)
geometry.ask("Find the volume and surface area of a regular icosahedron with edge 2.").show()
# -> SOLVED — vertices = 12, edges = 30, faces = 20, euler_characteristic = 2  (platonic_solid)
geometry.solve("great_circle_distance", lat1=51.5074, lon1=-0.1278, lat2=40.7128, lon2=-74.006).show()
# -> SOLVED — central_angle = 50.0942, distance = 5570.22  (great_circle_distance)
geometry.ask("Who created you?").message
# -> geometry-ai999x was created and engineered by Ibnul Jaif Farabi at AI999X.

Command line: geometry-ai999x "<question>", geometry-ai999x --capabilities. The outputs above were produced by running this exact code on geometry-ai999x 1.0.0.

How every answer is verified

1. Reading — the question is turned into typed quantities (value, unit, kind, role) and one asked quantity; every stated number must be used or the question is refused.
2. Planning — only certified capabilities may answer; a capability applies only under the conditions the wording states (for example a pendulum, a liquid at rest, boiling).
3. Computing — exact symbolic or high-precision numeric evaluation.
4. Checking — dimensions, substitution back into the defining equation, and agreement between independent readings; any disagreement becomes a refusal, never a number.

Capabilities are certified before they ship: each must reproduce hand-worked reference cases, reject a deliberately wrong variant (a control), and leave every benchmark answer unchanged.

Capabilities

76 certified procedures. A few of them:

• Procedures: Angle between two lines; Angle between two planes; Arc length of a parabola; Area and spherical excess of a spherical triangle; Area of a triangle from base and height; Area of an annulus (ring); Area of the intersection of two convex polygons; Barycentric coordinates of a point in a triangle; Centroid of a polygon; Circle: area, circumference and diameter; Circular sector: arc length, area and chord; Circular segment: area, chord, height, arc; Circumcircle: the circle through three points; Classify a conic section from its general equation; Classify a triangle by its sides and angles; Closest pair of points; Cone: volume, slant height and surface area; Convex hull of points in the plane; Cuboid (rectangular box): volume, surface area, space diagonal; Curvature of a polynomial graph at a point; Curvature of a torus at a point; Curvature of an ellipse at a point; Cylinder: volume and surface area; Delaunay triangulation and Voronoi diagram: counts …

geometry_ai999x.templates() lists every question form ask() reads; the capability guide (PDF, every example executed) is included in this repository.

All 76 formulas

Show every formula, by topic

Computational geometry / convex hulls

Convex hull of points in the plane

$$\mathrm{conv}(S)=\{\sum {\lambda }_i{p}_i:{\lambda }_i\ge 0,\sum {\lambda }_i=1\}\backslash operatorname\{conv\}(S)\; =\; \backslash \{\backslash textstyle\backslash sum\; \backslash lambda\_i\; p\_i\; :\; \backslash lambda\_i\; \backslash ge\; 0,\; \backslash sum\backslash lambda\_i\; =\; 1\backslash \}$$

Computational geometry / enclosing shapes

Minimum-area enclosing rectangle

$$A^{\ast }=\underset{e\in \text{hull edges}}{\min }{w}_e{h}_{e}A^*\; =\; \backslash min\_\{e\; \backslash in\; \backslash text\{hull\; edges\}\}\; w\_e\backslash ,\; h\_e$$

Smallest enclosing circle of points

$$\underset{c,r}{\min }r\text{ s.t. }vert{p}_i-cvert\le r\mathrm{\forall }i\backslash min\_\{c,\; r\}\; r\; \backslash ;\backslash text\{\; s.t.\; \}\; \backslash \backslash vert\; p\_i\; -\; c\backslash \backslash vert\; \backslash le\; r\backslash \; \backslash forall\; i$$

Computational geometry / intersections

Intersection of two line segments

$$A+t(B-A)=C+u(D-C),0\le t,u\le 1A\; +\; t(B-A)\; =\; C\; +\; u(D-C),\backslash quad\; 0\; \backslash le\; t,\; u\; \backslash le\; 1$$

Computational geometry / point location

Point in polygon test

$$\text{inside}⟺\mathrm{\#}\{\text{edges crossed by the ray }y=p_y,x>p_x\}\text{ is odd}\backslash text\{inside\}\; \backslash iff\; \backslash \#\backslash \{\backslash text\{edges\; crossed\; by\; the\; ray\; \}\; y\; =\; p\_y,\; x\; >\; p\_x\backslash \}\; \backslash text\{\; is\; odd\}$$

Computational geometry / polygon clipping

Area of the intersection of two convex polygons

$$A(P\cap Q)A(P\; \backslash cap\; Q)$$

Computational geometry / proximity

Closest pair of points

Distance from a point to a segment

$$t^{\ast }=\mathrm{clamp}\text{\hspace{0.17em}⁣}(\frac{(P-A)\cdot (B-A)}{vertB-Aver{t}^2},0,1),d=vertP-(A+t^{\ast }(B-A))vertt^*\; =\; \backslash operatorname\{clamp\}\backslash !\backslash left(\backslash frac\{(P-A)\backslash cdot(B-A)\}\{\backslash \backslash vert\; B-A\backslash \backslash vert\; ^2\},\; 0,\; 1\backslash right),\backslash quad\; d\; =\; \backslash \backslash vert\; P\; -\; (A\; +\; t^*(B-A))\backslash \backslash vert$$

Farthest pair of points (diameter of a point set)

Nearest neighbour of a query point

$$k^{\ast }=\arg \underset{k}{\min }vert{p}_k-qvertk^*\; =\; \backslash arg\backslash min\_k\; \backslash \backslash vert\; p\_k\; -\; q\backslash \backslash vert$$

Computational geometry / shape comparison

Hausdorff distance between two point sets

$$d_H(A,B)=\max \{\underset{a}{\sup }\underset{b}{\inf }verta-bvert,\underset{b}{\sup }\underset{a}{\inf }verta-bvert\}d\_H(A,B)\; =\; \backslash max\backslash \{\backslash sup\_\{a\}\backslash inf\_\{b\}\backslash \backslash vert\; a-b\backslash \backslash vert\; ,\backslash \; \backslash sup\_\{b\}\backslash inf\_\{a\}\backslash \backslash vert\; a-b\backslash \backslash vert\; \backslash \}$$

Computational geometry / triangulations

Delaunay triangulation and Voronoi diagram: counts

$$T=2n-2-h,E=3n-3-hT\; =\; 2n\; -\; 2\; -\; h,\backslash quad\; E\; =\; 3n\; -\; 3\; -\; h$$

Conic sections / ellipses

Perimeter of an ellipse (exact, by the complete elliptic integral)

$$P=4aE(e),E(m)=\frac{\pi }{2\mathrm{A}\mathrm{G}\mathrm{M}(1,\sqrt{1-m})}(1-\sum _{n\ge 0}{2}^{n-1}{c}_n^2)P\; =\; 4a\backslash ,E(e),\backslash quad\; E(m)\; =\; \backslash frac\{\backslash pi\}\{2\backslash ,\backslash mathrm\{AGM\}(1,\backslash sqrt\{1-m\})\}\backslash Big(1\; -\; \backslash sum\_\{n\backslash ge0\}\; 2^\{n-1\}\; c\_n^2\backslash Big)$$

Conic sections / general second-degree equation

Classify a conic section from its general equation

Coordinate geometry / circles

Intersection of a circle and a line

$$d=\frac{\mathrm{\mid }a{c}_x+b{c}_y+c\mathrm{\mid }}{\sqrt{a^2+b^2}},P=F\pm \sqrt{r^2-d^2}\frac{(-b,a)}{\sqrt{a^2+b^2}}d\; =\; \backslash frac\{\backslash vert\; a\; c\_x\; +\; b\; c\_y\; +\; c\backslash vert\; \}\{\backslash sqrt\{a^2+b^2\}\},\backslash quad\; P\; =\; F\; \backslash pm\; \backslash sqrt\{r^2-d^2\}\backslash ,\backslash frac\{(-b,\; a)\}\{\backslash sqrt\{a^2+b^2\}\}$$

Intersection of two circles

$$a=\frac{d^2+r_1^2-r_2^2}{2d},h=\sqrt{r_1^2-a^2}a\; =\; \backslash frac\{d^2\; +\; r\_1^2\; -\; r\_2^2\}\{2d\},\backslash quad\; h\; =\; \backslash sqrt\{r\_1^2\; -\; a^2\}$$

Tangents from a point to a circle

$$L=\sqrt{\mathrm{\mid }P-C{\mathrm{\mid }}^2-r^2},T=C+\frac{r^2}{d^2}(P-C)\pm \frac{rL}{d^2}(P-C{)}^{\perp }L\; =\; \backslash sqrt\{\backslash vert\; P-C\backslash vert\; ^2\; -\; r^2\},\backslash quad\; T\; =\; C\; +\; \backslash frac\{r^2\}\{d^2\}(P-C)\; \backslash pm\; \backslash frac\{rL\}\{d^2\}(P-C)^\{\backslash perp\}$$

Coordinate geometry / lines

Angle between two lines

$$\tan \theta =\mid \frac{a_1{b}_2-a_2{b}_1}{a_1{a}_2+b_1{b}_2}\mid \backslash tan\backslash theta\; =\; \backslash left\backslash vert\; \backslash frac\{a\_1b\_2\; -\; a\_2b\_1\}\{a\_1a\_2\; +\; b\_1b\_2\}\backslash right\backslash vert$$

Intersection point of two lines

$$x=\frac{b_1{c}_2-b_2{c}_1}{a_1{b}_2-a_2{b}_1},y=\frac{c_1{a}_2-c_2{a}_1}{a_1{b}_2-a_2{b}_1}x\; =\; \backslash frac\{b\_1c\_2\; -\; b\_2c\_1\}\{a\_1b\_2\; -\; a\_2b\_1\},\backslash quad\; y\; =\; \backslash frac\{c\_1a\_2\; -\; c\_2a\_1\}\{a\_1b\_2\; -\; a\_2b\_1\}$$

Coordinate geometry / paths

Length of a polyline (path through points)

$$L=\sum _{i=1}^{n-1}vert{p}_{i+1}-p_{i}vertL\; =\; \backslash sum\_\{i=1\}^\{n-1\}\; \backslash \backslash vert\; p\_\{i+1\}\; -\; p\_i\backslash \backslash vert$$

Coordinate geometry / triangle centres

Circumcircle: the circle through three points

$$\mathrm{\mid }O-A\mathrm{\mid }=\mathrm{\mid }O-B\mathrm{\mid }=\mathrm{\mid }O-C\mathrm{\mid }=R\backslash vert\; O\; -\; A\backslash vert\; =\; \backslash vert\; O\; -\; B\backslash vert\; =\; \backslash vert\; O\; -\; C\backslash vert\; =\; R$$

Incircle of a triangle: incentre and inradius

$$I=\frac{aA+bB+cC}{a+b+c},r=\frac{2K}{a+b+c}I\; =\; \backslash frac\{aA\; +\; bB\; +\; cC\}\{a+b+c\},\backslash quad\; r\; =\; \backslash frac\{2K\}\{a+b+c\}$$

Orthocentre of a triangle

$$(H-A)\cdot (C-B)=0,(H-B)\cdot (C-A)=0(H-A)\backslash cdot(C-B)\; =\; 0,\backslash quad\; (H-B)\backslash cdot(C-A)\; =\; 0$$

Coordinate geometry / triangles

Barycentric coordinates of a point in a triangle

$${\lambda }_1=\frac{[PBC]}{[ABC]},{\lambda }_2=\frac{[APC]}{[ABC]},{\lambda }_3=\frac{[ABP]}{[ABC]}\backslash lambda\_1\; =\; \backslash frac\{[PBC]\}\{[ABC]\},\backslash \; \backslash lambda\_2\; =\; \backslash frac\{[APC]\}\{[ABC]\},\backslash \; \backslash lambda\_3\; =\; \backslash frac\{[ABP]\}\{[ABC]\}$$

Triangle from vertex coordinates: area, perimeter, centroid, angles

$$K=\frac{1}{2}\mathrm{\mid }(x_B-x_A)(y_C-y_A)-(x_C-x_A)(y_B-y_A)\mathrm{\mid },G=\frac{1}{3}(A+B+C)K\; =\; \backslash tfrac12\; \backslash vert\; (x\_B-x\_A)(y\_C-y\_A)\; -\; (x\_C-x\_A)(y\_B-y\_A)\backslash vert\; ,\backslash quad\; G\; =\; \backslash tfrac13(A+B+C)$$

Curves / arc length

Arc length of a parabola

$$L=\frac{1}{2a}\left[\frac{1}{2}\right(u\sqrt{1+u^2}+\mathrm{arsinh}u){]}_{u_0}^{u_1},u=2ax+bL\; =\; \backslash frac\{1\}\{2a\}\backslash Big[\backslash tfrac12\backslash big(u\backslash sqrt\{1+u^2\}\; +\; \backslash operatorname\{arsinh\}\; u\backslash big)\backslash Big]\_\{u\_0\}^\{u\_1\},\backslash quad\; u\; =\; 2ax\; +\; b$$

Curves / curvature

Curvature of a polynomial graph at a point

$$\kappa =\frac{\mathrm{\mid }{y}^{\mathrm{\prime }\mathrm{\prime }}\mathrm{\mid }}{(1+y^{\mathrm{\prime }2}{)}^{3\mathrm{/}2}},R=\frac{1}{\kappa }\backslash kappa\; =\; \backslash frac\{\backslash vert\; y\text{'}\text{'}\backslash vert\; \}\{(1+y\text{'}^2)^\{3/2\}\},\backslash quad\; R\; =\; \backslash frac1\backslash kappa$$

Curvature of an ellipse at a point

$$\kappa (t)=\frac{ab}{(a^2{\sin }^{2}t+b^2{\cos }^{2}t{)}^{3\mathrm{/}2}}\backslash kappa(t)\; =\; \backslash frac\{ab\}\{(a^2\backslash sin^2\; t\; +\; b^2\backslash cos^2\; t)^\{3/2\}\}$$

Curves / space curves

Helix: curvature, torsion and length per turn

$$\kappa =\frac{r}{r^2+c^2},\tau =\frac{c}{r^2+c^2},c=\frac{p}{2\pi }\backslash kappa\; =\; \backslash frac\{r\}\{r^2+c^2\},\backslash quad\; \backslash tau\; =\; \backslash frac\{c\}\{r^2+c^2\},\backslash quad\; c\; =\; \backslash frac\{p\}\{2\backslash pi\}$$

Plane figures / circles

Area of an annulus (ring)

$$A=\pi (R^2-r^2)A\; =\; \backslash pi\; (R^2\; -\; r^2)$$

Circle: area, circumference and diameter

$$A=\pi r^2,C=2\pi rA\; =\; \backslash pi\; r^2,\backslash quad\; C\; =\; 2\backslash pi\; r$$

Circular sector: arc length, area and chord

$$s=r\theta ,A=\frac{1}{2}{r}^2\theta ,c=2r\sin \frac{\theta }{2}s\; =\; r\backslash theta,\backslash quad\; A\; =\; \backslash tfrac\{1\}\{2\}\; r^2\backslash theta,\backslash quad\; c\; =\; 2r\backslash sin\backslash tfrac\{\backslash theta\}\{2\}$$

Circular segment: area, chord, height, arc

$$A=\frac{1}{2}{r}^2(\theta -\sin \theta ),c=2r\sin \frac{\theta }{2},h=r(1-\cos \frac{\theta }{2})A\; =\; \backslash tfrac12\; r^2(\backslash theta\; -\; \backslash sin\backslash theta),\backslash quad\; c\; =\; 2r\backslash sin\backslash tfrac\{\backslash theta\}\{2\},\backslash quad\; h\; =\; r\backslash left(1-\backslash cos\backslash tfrac\{\backslash theta\}\{2\}\backslash right)$$

Plane figures / quadrilaterals

Rectangle: area, perimeter and diagonal

$$A=lw,P=2(l+w),d=\sqrt{l^2+w^2}A\; =\; lw,\backslash quad\; P\; =\; 2(l+w),\backslash quad\; d\; =\; \backslash sqrt\{l^2+w^2\}$$

Rhombus from its diagonals: area, side, perimeter

$$A=\frac{1}{2}{d}_1{d}_2,s=\frac{1}{2}\sqrt{d_1^2+d_2^2}A\; =\; \backslash tfrac\{1\}\{2\}\; d\_1\; d\_2,\backslash quad\; s\; =\; \backslash tfrac\{1\}\{2\}\backslash sqrt\{d\_1^2+d\_2^2\}$$

Trapezoid: area and midsegment

$$A=\frac{(a+b)h}{2}A\; =\; \backslash frac\{(a+b)\backslash ,h\}\{2\}$$

Plane figures / triangles

Area of a triangle from base and height

$$A=\frac{1}{2}bhA\; =\; \backslash tfrac\{1\}\{2\}\; b\; h$$

Classify a triangle by its sides and angles

$$x^2+y^2⋛z^2\iff \text{acute / right / obtuse}x^2\; +\; y^2\; \backslash gtreqless\; z^2\; \backslash ;\backslash Leftrightarrow\backslash ;\; \backslash text\{acute\; /\; right\; /\; obtuse\}$$

Medians, altitudes and angle bisectors of a triangle

$$m_a=\frac{1}{2}\sqrt{2b^2+2c^2-a^2},h_a=\frac{2K}{a},t_a=\frac{\sqrt{bc[(b+c{)}^2-a^2]}}{b+c}m\_a\; =\; \backslash tfrac12\backslash sqrt\{2b^2+2c^2-a^2\},\backslash quad\; h\_a\; =\; \backslash frac\{2K\}\{a\},\backslash quad\; t\_a\; =\; \backslash frac\{\backslash sqrt\{bc\backslash ,[(b+c)^2-a^2]\}\}\{b+c\}$$

Polygons / convexity

Is a polygon convex?

$$\mathrm{sign}((p_{i+1}-p_i)\times (p_{i+2}-p_{i+1}))\text{ constant}\backslash operatorname\{sign\}\backslash big((p\_\{i+1\}-p\_i)\backslash times(p\_\{i+2\}-p\_\{i+1\})\backslash big)\; \backslash text\{\; constant\}$$

Polygons / coordinates

Centroid of a polygon

$$C_x=\frac{1}{6A}\sum _i(x_i+x_{i+1})(x_i{y}_{i+1}-x_{i+1}{y}_i)C\_x\; =\; \backslash frac\{1\}\{6A\}\backslash sum\_i\; (x\_i\; +\; x\_\{i+1\})(x\_i\; y\_\{i+1\}\; -\; x\_\{i+1\}\; y\_i)$$

Interior angles of a polygon from its vertices

$${\theta }_i={180}^{\circ }-\mathrm{atan2}(\mathbf{u}\times \mathbf{v},\mathbf{u}\cdot \mathbf{v}),\sum {\theta }_i=(n-2){180}^{\circ }\backslash theta\_i\; =\; 180^\backslash circ\; -\; \backslash operatorname\{atan2\}(\backslash mathbf\; u\backslash times\backslash mathbf\; v,\; \backslash mathbf\; u\backslash cdot\backslash mathbf\; v),\backslash quad\; \backslash sum\backslash theta\_i\; =\; (n-2)180^\backslash circ$$

Polygon from vertices: area, perimeter, orientation

$$A=\frac{1}{2}\mid \sum _i(x_i{y}_{i+1}-x_{i+1}{y}_i)\mid A\; =\; \backslash tfrac12\backslash left\backslash vert\; \backslash sum\_\{i\}\; (x\_i\; y\_\{i+1\}\; -\; x\_\{i+1\}\; y\_i)\backslash right\backslash vert$$

Polygons / lattice polygons

Pick's theorem: lattice points of a polygon

$$A=I+\frac{B}{2}-1A\; =\; I\; +\; \backslash frac\{B\}\{2\}\; -\; 1$$

Polygons / regular polygons

Polygon angles and diagonals

$${\theta }_{int}=\frac{(n-2){180}^{\circ }}{n},{\theta }_{ext}=\frac{{360}^{\circ }}{n},D=\frac{n(n-3)}{2}\backslash theta\_\{int\}\; =\; \backslash frac\{(n-2)\backslash ,180^\backslash circ\}\{n\},\backslash quad\; \backslash theta\_\{ext\}\; =\; \backslash frac\{360^\backslash circ\}\{n\},\backslash quad\; D\; =\; \backslash frac\{n(n-3)\}\{2\}$$

Regular polygon: area, perimeter, apothem, circumradius

$$a=\frac{s}{2\tan (\pi \mathrm{/}n)},R=\frac{s}{2\sin (\pi \mathrm{/}n)},A=\frac{1}{2}nsaa\; =\; \backslash frac\{s\}\{2\backslash tan(\backslash pi/n)\},\backslash quad\; R\; =\; \backslash frac\{s\}\{2\backslash sin(\backslash pi/n)\},\backslash quad\; A\; =\; \backslash tfrac12\; n\; s\; a$$

Polyhedra / regular polyhedra

Platonic solids: counts, Euler characteristic, volume, surface, radii

$$V-E+F=2,V_{\text{ico}}=\frac{5}{12}(3+\sqrt{5})a^{3}V\; -\; E\; +\; F\; =\; 2,\backslash quad\; V\_\{\backslash text\{ico\}\}\; =\; \backslash tfrac\{5\}\{12\}(3+\backslash sqrt5)\backslash ,a^3$$

Solid coordinate geometry / lines

Distance between two lines in space (skew or parallel)

$$d=\frac{\mathrm{\mid }(P_2-P_1)\cdot ({\mathbf{d}}_1\times {\mathbf{d}}_2)\mathrm{\mid }}{vert{\mathbf{d}}_1\times {\mathbf{d}}_{2}vert}d\; =\; \backslash frac\{\backslash vert\; (P\_2-P\_1)\backslash cdot(\backslash mathbf\; d\_1\backslash times\backslash mathbf\; d\_2)\backslash vert\; \}\{\backslash \backslash vert\; \backslash mathbf\; d\_1\backslash times\backslash mathbf\; d\_2\backslash \backslash vert\; \}$$

Solid coordinate geometry / lines and planes

Intersection of a line and a plane

$$t=-\frac{\mathbf{n}\cdot P_0+d}{\mathbf{n}\cdot \mathbf{v}},X=P_0+t\mathbf{v}t\; =\; -\backslash frac\{\backslash mathbf\; n\backslash cdot\; P\_0\; +\; d\}\{\backslash mathbf\; n\backslash cdot\backslash mathbf\; v\},\backslash quad\; X\; =\; P\_0\; +\; t\backslash ,\backslash mathbf\; v$$

Solid coordinate geometry / planes

Angle between two planes

$$\cos \theta =\frac{\mathrm{\mid }{\mathbf{n}}_1\cdot {\mathbf{n}}_2\mathrm{\mid }}{vert{\mathbf{n}}_{1}vertvert{\mathbf{n}}_{2}vert}\backslash cos\backslash theta\; =\; \backslash frac\{\backslash vert\; \backslash mathbf\; n\_1\backslash cdot\backslash mathbf\; n\_2\backslash vert\; \}\{\backslash \backslash vert\; \backslash mathbf\; n\_1\backslash \backslash vert\; \backslash \backslash vert\; \backslash mathbf\; n\_2\backslash \backslash vert\; \}$$

Distance from a point to a plane

$$d=\frac{\mathrm{\mid }a{p}_x+b{p}_y+c{p}_z+d\mathrm{\mid }}{\sqrt{a^2+b^2+c^2}}d\; =\; \backslash frac\{\backslash vert\; a\; p\_x\; +\; b\; p\_y\; +\; c\; p\_z\; +\; d\backslash vert\; \}\{\backslash sqrt\{a^2+b^2+c^2\}\}$$

Plane through three points

$$\mathbf{n}=(B-A)\times (C-A),\mathbf{n}\cdot \mathbf{x}-\mathbf{n}\cdot A=0\backslash mathbf\; n\; =\; (B-A)\backslash times(C-A),\backslash quad\; \backslash mathbf\; n\backslash cdot\backslash mathbf\; x\; -\; \backslash mathbf\; n\backslash cdot\; A\; =\; 0$$

Solid coordinate geometry / polyhedra

Tetrahedron from four vertices: volume and surface area

$$V=\frac{1}{6}\mid (B-A)\cdot ((C-A)\times (D-A))\mid V\; =\; \backslash tfrac16\backslash left\backslash vert\; (B-A)\backslash cdot\backslash big((C-A)\backslash times(D-A)\backslash big)\backslash right\backslash vert$$

Solid coordinate geometry / spheres

Sphere through four points (circumsphere of a tetrahedron)

$$\mathrm{\mid }X-P_i{\mathrm{\mid }}^2=R^2(i=\mathrm{1..4})\Rightarrow 2(P_i-P_1)\cdot X=\mathrm{\mid }{P}_i{\mathrm{\mid }}^2-\mathrm{\mid }{P}_1{\mathrm{\mid }}^2\backslash vert\; X\; -\; P\_i\backslash vert\; ^2\; =\; R^2\; \backslash ;(i\; =\; 1..4)\; \backslash Rightarrow\; 2(P\_i\; -\; P\_1)\backslash cdot\; X\; =\; \backslash vert\; P\_i\backslash vert\; ^2\; -\; \backslash vert\; P\_1\backslash vert\; ^2$$

Solid coordinate geometry / triangles

Triangle in space: area and perimeter from vertices

$$K=\frac{1}{4}\sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}K\; =\; \backslash tfrac14\backslash sqrt\{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)\}$$

Solid geometry / solid angles

Solid angle of a cone

$$\mathrm{\Omega }=2\pi (1-\cos \alpha )=4\pi {\sin }^2\frac{\alpha }{2}\backslash Omega\; =\; 2\backslash pi(1-\backslash cos\backslash alpha)\; =\; 4\backslash pi\backslash sin^2\backslash tfrac\{\backslash alpha\}\{2\}$$

Solid angle subtended by a triangle

$$\tan \frac{\mathrm{\Omega }}{2}=\frac{\mathrm{\mid }\mathbf{a}\cdot (\mathbf{b}\times \mathbf{c})\mathrm{\mid }}{abc+(\mathbf{a}\cdot \mathbf{b})c+(\mathbf{a}\cdot \mathbf{c})b+(\mathbf{b}\cdot \mathbf{c})a}\backslash tan\backslash frac\{\backslash Omega\}\{2\}\; =\; \backslash frac\{\backslash vert\; \backslash mathbf\; a\backslash cdot(\backslash mathbf\; b\backslash times\backslash mathbf\; c)\backslash vert\; \}\{abc\; +\; (\backslash mathbf\; a\backslash cdot\backslash mathbf\; b)c\; +\; (\backslash mathbf\; a\backslash cdot\backslash mathbf\; c)b\; +\; (\backslash mathbf\; b\backslash cdot\backslash mathbf\; c)a\}$$

Solids / cones

Cone: volume, slant height and surface area

$$V=\frac{1}{3}\pi r^{2}h,l=\sqrt{r^2+h^2},A_L=\pi rlV\; =\; \backslash tfrac13\; \backslash pi\; r^2\; h,\backslash quad\; l\; =\; \backslash sqrt\{r^2+h^2\},\backslash quad\; A\_L\; =\; \backslash pi\; r\; l$$

Frustum of a cone: volume and surface area

$$V=\frac{1}{3}\pi h(R^2+Rr+r^2),A_L=\pi (R+r)\sqrt{h^2+(R-r{)}^2}V\; =\; \backslash tfrac13\backslash pi\; h\; (R^2\; +\; Rr\; +\; r^2),\backslash quad\; A\_L\; =\; \backslash pi\; (R+r)\backslash sqrt\{h^2+(R-r)^2\}$$

Solids / cylinders

Cylinder: volume and surface area

$$V=\pi r^{2}h,A=2\pi rh+2\pi r^{2}V\; =\; \backslash pi\; r^2\; h,\backslash quad\; A\; =\; 2\backslash pi\; r\; h\; +\; 2\backslash pi\; r^2$$

Solids / ellipsoids

Spheroid (ellipsoid of revolution): surface area and volume

$$S_{\text{obl}}=2\pi a^2(1+\frac{1-e^2}{e}\mathrm{artanh}e),S_{\text{pro}}=2\pi a^2(1+\frac{c}{ae}\arcsin e)S\_\{\backslash text\{obl\}\}\; =\; 2\backslash pi\; a^2\backslash left(1\; +\; \backslash frac\{1-e^2\}\{e\}\backslash operatorname\{artanh\}\; e\backslash right),\backslash quad\; S\_\{\backslash text\{pro\}\}\; =\; 2\backslash pi\; a^2\backslash left(1\; +\; \backslash frac\{c\}\{ae\}\backslash arcsin\; e\backslash right)$$

Solids / prisms

Cuboid (rectangular box): volume, surface area, space diagonal

$$V=lwh,S=2(lw+lh+wh),d=\sqrt{l^2+w^2+h^2}V\; =\; lwh,\backslash quad\; S\; =\; 2(lw+lh+wh),\backslash quad\; d\; =\; \backslash sqrt\{l^2+w^2+h^2\}$$

Right prism on a regular polygon base: volume and surface area

$$B=\frac{n{s}^2}{4\tan (\pi \mathrm{/}n)},V=Bh,A=nsh+2BB\; =\; \backslash frac\{n\; s^2\}\{4\backslash tan(\backslash pi/n)\},\backslash quad\; V\; =\; Bh,\backslash quad\; A\; =\; nsh\; +\; 2B$$

Solids / pyramids

Right rectangular (or square) pyramid: volume and surface area

$$V=\frac{1}{3}lwh,A_L=l\sqrt{h^2+(w\mathrm{/}2{)}^2}+w\sqrt{h^2+(l\mathrm{/}2{)}^2}V\; =\; \backslash tfrac13\; lwh,\backslash quad\; A\_L\; =\; l\backslash sqrt\{h^2+(w/2)^2\}\; +\; w\backslash sqrt\{h^2+(l/2)^2\}$$

Solids / solids of revolution

Torus: volume and surface area

$$V=2{\pi }^{2}R{r}^2,A=4{\pi }^{2}RrV\; =\; 2\backslash pi^2\; R\; r^2,\backslash quad\; A\; =\; 4\backslash pi^2\; R\; r$$

Solids / spheres

Sphere: volume and surface area

$$V=\frac{4}{3}\pi r^3,S=4\pi r^{2}V\; =\; \backslash tfrac43\backslash pi\; r^3,\backslash quad\; S\; =\; 4\backslash pi\; r^2$$

Spherical cap: volume, curved area, base radius

$$V=\frac{1}{3}\pi h^2(3R-h),A=2\pi Rh,a=\sqrt{h(2R-h)}V\; =\; \backslash tfrac13\; \backslash pi\; h^2(3R\; -\; h),\backslash quad\; A\; =\; 2\backslash pi\; R\; h,\backslash quad\; a\; =\; \backslash sqrt\{h(2R-h)\}$$

Spherical geometry / distances

Great-circle distance between two points on a sphere

$$h={\sin }^2\frac{\mathrm{\Delta }\phi }{2}+\cos {\phi }_1\cos {\phi }_2{\sin }^2\frac{\mathrm{\Delta }\lambda }{2},d=2R\mathrm{atan2}(\sqrt{h},\sqrt{1-h})h\; =\; \backslash sin^2\backslash tfrac\{\backslash Delta\backslash varphi\}\{2\}\; +\; \backslash cos\backslash varphi\_1\backslash cos\backslash varphi\_2\backslash sin^2\backslash tfrac\{\backslash Delta\backslash lambda\}\{2\},\backslash quad\; d\; =\; 2R\backslash ,\backslash operatorname\{atan2\}(\backslash sqrt\; h,\; \backslash sqrt\{1-h\})$$

Spherical geometry / navigation

Initial bearing (forward azimuth) along a great circle

$$\theta =\mathrm{atan2}(\sin \mathrm{\Delta }\lambda \cos {\phi }_2,\cos {\phi }_1\sin {\phi }_2-\sin {\phi }_1\cos {\phi }_2\cos \mathrm{\Delta }\lambda )\backslash theta\; =\; \backslash operatorname\{atan2\}\backslash big(\backslash sin\backslash Delta\backslash lambda\backslash cos\backslash varphi\_2,\backslash \; \backslash cos\backslash varphi\_1\backslash sin\backslash varphi\_2\; -\; \backslash sin\backslash varphi\_1\backslash cos\backslash varphi\_2\backslash cos\backslash Delta\backslash lambda\backslash big)$$

Spherical geometry / spherical triangles

Area and spherical excess of a spherical triangle

$$\tan \frac{E}{4}=\sqrt{\tan \frac{s}{2}\tan \frac{s-a}{2}\tan \frac{s-b}{2}\tan \frac{s-c}{2}},A=E{R}^2\backslash tan\backslash frac\; E4\; =\; \backslash sqrt\{\backslash tan\backslash frac\; s2\backslash tan\backslash frac\{s-a\}2\backslash tan\backslash frac\{s-b\}2\backslash tan\backslash frac\{s-c\}2\},\backslash quad\; A\; =\; E\; R^2$$

Surfaces / curvature

Curvature of a torus at a point

$$K=\frac{\cos v}{r(R+r\cos v)},H=\frac{R+2r\cos v}{2r(R+r\cos v)}K\; =\; \backslash frac\{\backslash cos\; v\}\{r(R\; +\; r\backslash cos\; v)\},\backslash quad\; H\; =\; \backslash frac\{R\; +\; 2r\backslash cos\; v\}\{2r(R\; +\; r\backslash cos\; v)\}$$

Gaussian and mean curvature of a quadratic surface z = f(x, y)

$$K=\frac{f_{xx}{f}_{yy}-f_{xy}^2}{(1+f_x^2+f_y^2{)}^2},H=\frac{(1+f_y^2)f_{xx}-2f_x{f}_y{f}_{xy}+(1+f_x^2)f_{yy}}{2(1+f_x^2+f_y^2{)}^{3\mathrm{/}2}}K\; =\; \backslash frac\{f\_\{xx\}f\_\{yy\}-f\_\{xy\}^2\}\{(1+f\_x^2+f\_y^2)^2\},\backslash quad\; H\; =\; \backslash frac\{(1+f\_y^2)f\_\{xx\}\; -\; 2f\_xf\_yf\_\{xy\}\; +\; (1+f\_x^2)f\_\{yy\}\}\{2(1+f\_x^2+f\_y^2)^\{3/2\}\}$$

Transformations / dilations

Dilation (enlargement) of a point

$$P^{\mathrm{\prime }}=C+k(P-C)P\text{'}\; =\; C\; +\; k\backslash ,(P\; -\; C)$$

Transformations / reflections

Reflection of a point in a line

$$P^{\mathrm{\prime }}=P-2\frac{a{p}_x+b{p}_y+c}{a^2+b^2}(a,b)P\text{'}\; =\; P\; -\; 2\backslash ,\backslash frac\{a\; p\_x\; +\; b\; p\_y\; +\; c\}\{a^2+b^2\}\backslash ,(a,\; b)$$

Transformations / rotations

Rotation of a point

Transformations / rotations in space

Rotation of a point in space about an axis

$${\mathbf{v}}^{\mathrm{\prime }}=\mathbf{v}\cos \theta +(\mathbf{k}\times \mathbf{v})\sin \theta +\mathbf{k}(\mathbf{k}\cdot \mathbf{v})(1-\cos \theta )\backslash mathbf\; v\text{'}\; =\; \backslash mathbf\; v\backslash cos\backslash theta\; +\; (\backslash mathbf\; k\backslash times\backslash mathbf\; v)\backslash sin\backslash theta\; +\; \backslash mathbf\; k(\backslash mathbf\; k\backslash cdot\backslash mathbf\; v)(1-\backslash cos\backslash theta)$$

Out of scope

• Open-ended explanation, essay writing or tutoring dialogue: it is a solver, not a chatbot.
• Questions outside its certified geometry capabilities, and any question whose stated numbers it cannot all use — it refuses with the reason instead.
• High-stakes engineering, medical or legal decisions without independent review.

Limitations

• It answers what its certified capabilities cover (plane and solid figures, coordinate geometry, conic sections, polygons and polyhedra, computational geometry, transformations, spherical geometry and curves and surfaces); anything else is refused with a reason.
• ask() reads documented question forms and common phrasings; unusual wording may be refused — use solve() for guaranteed results.
• Results are as correct as the certified relations and their stated conditions; a certified relation is a checked model, not a claim about every physical situation.

Citation

@software{geometry_ai999x_1_0_0,
  title  = {geometry-ai999x: an offline, verified geometry solver},
  author = {Farabi, Ibnul Jaif}, organization = {AI999X},
  year   = {2026}, version = {1.0.0},
  url    = {https://huggingface.co/AI999X/geometry-ai999x}
}

Contact

Questions, bug reports and requests: open a discussion on https://huggingface.co/AI999X/geometry-ai999x/discussions or visit https://ai999x.com.

Support the project

geometry-ai999x is free and open source. If it helps you, you can support further development on Buy Me a Coffee.

Created and engineered by Ibnul Jaif Farabi · AI999X · ai999x.com