Tio Boot DocsTio Boot Docs
Home
  • java-db
  • api-table
  • Enjoy
  • Tio Boot Admin
  • ai_agent
  • translator
  • knowlege_base
  • ai-search
  • 案例
Abount
  • Github
  • Gitee
Home
  • java-db
  • api-table
  • Enjoy
  • Tio Boot Admin
  • ai_agent
  • translator
  • knowlege_base
  • ai-search
  • 案例
Abount
  • Github
  • Gitee
  • 01_tio-boot 简介

    • tio-boot:新一代高性能 Java Web 开发框架
    • tio-boot 入门示例
    • Tio-Boot 配置 : 现代化的配置方案
    • tio-boot 整合 Logback
    • tio-boot 整合 hotswap-classloader 实现热加载
    • 自行编译 tio-boot
    • 最新版本
    • 开发规范
  • 02_部署

    • 使用 Maven Profile 实现分环境打包 tio-boot 项目
    • Maven 项目配置详解:依赖与 Profiles 配置
    • tio-boot 打包成 FastJar
    • 使用 GraalVM 构建 tio-boot Native 程序
    • 使用 Docker 部署 tio-boot
    • 部署到 Fly.io
    • 部署到 AWS Lambda
    • 到阿里云云函数
    • 使用 Deploy 工具部署
    • 胖包与瘦包的打包与部署
    • 使用 Jenkins 部署 Tio-Boot 项目
    • 使用 Nginx 反向代理 Tio-Boot
    • 使用 Supervisor 管理 Java 应用
  • 03_配置

    • 配置参数
    • 服务器监听器
    • 内置缓存系统 AbsCache
    • 使用 Redis 作为内部 Cache
    • 静态文件处理器
    • 基于域名的静态资源隔离
    • DecodeExceptionHandler
  • 04_原理

    • 生命周期
    • 请求处理流程
    • 重要的类
  • 05_json

    • Json
    • 接受 JSON 和响应 JSON
    • 响应实体类
  • 06_web

    • 概述
    • 文件上传
    • 接收请求参数
    • 接收日期参数
    • 接收数组参数
    • 返回字符串
    • 返回文本数据
    • 返回网页
    • 请求和响应字节
    • 文件下载
    • 返回视频文件并支持断点续传
    • http Session
    • Cookie
    • HttpRequest
    • HttpResponse
    • Resps
    • RespBodyVo
    • /zh/06_web/19.html
    • 全局异常处理器
    • 异步
    • 动态 返回 CSS 实现
    • 返回图片
    • Transfer-Encoding: chunked 实时音频播放
    • Server-Sent Events (SSE)
    • 接口访问统计
    • 接口请求和响应数据记录
    • 自定义 Handler 转发请求
    • 使用 HttpForwardHandler 转发所有请求
    • 跨域
    • 添加 Controller
    • 常用工具类
    • HTTP Basic 认证
    • WebJars
    • JProtobuf
  • 07_validate

    • 数据紧校验规范
    • 参数校验
  • 08_websocket

    • 使用 tio-boot 搭建 WebSocket 服务
    • WebSocket 聊天室项目示例
  • 09_java-db

    • java‑db
    • 操作数据库入门示例
    • SQL 模板
    • 数据源配置与使用
    • ActiveRecord
    • Model
    • 生成器与 Model
    • Db 工具类
    • 批量操作
    • 数据库事务处理
    • Cache 缓存
    • Dialect 多数据库支持
    • 表关联操作
    • 复合主键
    • Oracle 支持
    • Enjoy SQL 模板
    • Java-DB 整合 Enjoy 模板最佳实践
    • 多数据源支持
    • 独立使用 ActiveRecord
    • 调用存储过程
    • java-db 整合 Guava 的 Striped 锁优化
    • 生成 SQL
    • 通过实体类操作数据库
    • java-db 读写分离
    • Spring Boot 整合 Java-DB
    • like 查询
    • 常用操作示例
    • Druid 监控集成指南
    • SQL 统计
  • 10_api-table

    • ApiTable 概述
    • 使用 ApiTable 连接 SQLite
    • 使用 ApiTable 连接 Mysql
    • 使用 ApiTable 连接 Postgres
    • 使用 ApiTable 连接 TDEngine
    • 使用 api-table 连接 oracle
    • 使用 api-table 连接 mysql and tdengine 多数据源
    • EasyExcel 导出
    • EasyExcel 导入
    • TQL(Table SQL)前端输入规范
    • ApiTable 实现增删改查
    • 数组类型
    • 单独使用 ApiTable
  • 11_aop

    • JFinal-aop
    • Aop 工具类
    • 配置
    • 配置
    • 独立使用 JFinal Aop
    • @AImport
    • 原理解析
  • 12_cache

    • Caffine
    • Jedis-redis
    • hutool RedisDS
    • Redisson
    • Caffeine and redis
    • CacheUtils 工具类
    • 使用 CacheUtils 整合 caffeine 和 redis 实现的两级缓存
    • 使用 java-db 整合 ehcache
    • 使用 java-db 整合 redis
    • Java DB Redis 相关 Api
    • redis 使用示例
  • 13_认证和权限

    • hutool-JWT
    • FixedTokenInterceptor
    • 使用内置 TokenManager 实现登录
    • 用户系统
    • 重置密码
    • 匿名登录
    • Google 登录
    • 权限校验注解
    • Sa-Token
    • sa-token 登录注册
    • StpUtil.isLogin() 源码解析
    • 短信登录
    • 移动端微信登录实现指南
    • 移动端重置密码
  • 14_i18n

    • i18n
  • 15_enjoy

    • tio-boot 整合 Enjoy 模版引擎文档
    • 引擎配置
    • 表达式
    • 指令
    • 注释
    • 原样输出
    • Shared Method 扩展
    • Shared Object 扩展
    • Extension Method 扩展
    • Spring boot 整合
    • 独立使用 Enjoy
    • tio-boot enjoy 自定义指令 localeDate
    • PromptEngine
    • Enjoy 入门示例-擎渲染大模型请求体
    • Enjoy 使用示例
  • 16_定时任务

    • Quartz 定时任务集成指南
    • 分布式定时任务 xxl-jb
    • cron4j 使用指南
  • 17_tests

    • TioBootTest 类
  • 18_tio

    • TioBootServer
    • tio-core
    • 内置 TCP 处理器
    • 独立启动 UDPServer
    • 使用内置 UDPServer
    • t-io 消息处理流程
    • tio-运行原理详解
    • TioConfig
    • ChannelContext
    • Tio 工具类
    • 业务数据绑定
    • 业务数据解绑
    • 发送数据
    • 关闭连接
    • Packet
    • 监控: 心跳
    • 监控: 客户端的流量数据
    • 监控: 单条 TCP 连接的流量数据
    • 监控: 端口的流量数据
    • 单条通道统计: ChannelStat
    • 所有通道统计: GroupStat
    • 资源共享
    • 成员排序
    • ssl
    • DecodeRunnable
    • 使用 AsynchronousSocketChannel 响应数据
    • 拉黑 IP
    • 深入解析 Tio 源码:构建高性能 Java 网络应用
  • 19_aio

    • ByteBuffer
    • AIO HTTP 服务器
    • 自定义和线程池和池化 ByteBuffer
    • AioHttpServer 应用示例 IP 属地查询
    • 手写 AIO Http 服务器
  • 20_netty

    • Netty TCP Server
    • Netty Web Socket Server
    • 使用 protoc 生成 Java 包文件
    • Netty WebSocket Server 二进制数据传输
    • Netty 组件详解
  • 21_netty-boot

    • Netty-Boot
    • 原理解析
    • 整合 Hot Reload
    • 整合 数据库
    • 整合 Redis
    • 整合 Elasticsearch
    • 整合 Dubbo
    • Listener
    • 文件上传
    • 拦截器
    • Spring Boot 整合 Netty-Boot
    • SSL 配置指南
    • ChannelInitializer
    • Reserve
  • 22_MQ

    • Mica-mqtt
    • EMQX
    • Disruptor
  • 23_tio-utils

    • tio-utils
    • HttpUtils
    • Notification
    • 邮箱
    • JSON
    • 读取文件
    • Base64
    • 上传和下载
    • Http
    • Telegram
    • RsaUtils
    • EnvUtils 使用文档
    • 系统监控
    • 毫秒并发 ID (MCID) 生成方案
  • 24_tio-http-server

    • 使用 Tio-Http-Server 搭建简单的 HTTP 服务
    • tio-boot 添加 HttpRequestHandler
    • 在 Android 上使用 tio-boot 运行 HTTP 服务
    • tio-http-server-native
    • handler 常用操作
  • 25_tio-websocket

    • WebSocket 服务器
    • WebSocket Client
  • 26_tio-im

    • 通讯协议文档
    • ChatPacket.proto 文档
    • java protobuf
    • 数据表设计
    • 创建工程
    • 登录
    • 历史消息
    • 发消息
  • 27_mybatis

    • Tio-Boot 整合 MyBatis
    • 使用配置类方式整合 MyBatis
    • 整合数据源
    • 使用 mybatis-plus 整合 tdengine
    • 整合 mybatis-plus
  • 28_mongodb

    • tio-boot 使用 mongo-java-driver 操作 mongodb
  • 29_elastic-search

    • Elasticsearch
    • JavaDB 整合 ElasticSearch
    • Elastic 工具类使用指南
    • Elastic-search 注意事项
    • ES 课程示例文档
  • 30_magic-script

    • tio-boot 整合 magic-script
  • 31_groovy

    • tio-boot 整合 Groovy
  • 32_firebase

    • 整合 google firebase
    • Firebase Storage
    • Firebase Authentication
    • 使用 Firebase Admin SDK 进行匿名用户管理与自定义状态标记
    • 导出用户
    • 注册回调
    • 登录注册
  • 33_文件存储

    • 文件上传数据表
    • 本地存储
    • 使用 AWS S3 存储文件并整合到 Tio-Boot 项目中
    • 存储文件到 腾讯 COS
  • 34_spider

    • jsoup
    • 爬取 z-lib.io 数据
    • 整合 WebMagic
    • WebMagic 示例:爬取学校课程数据
    • Playwright
    • Flexmark (Markdown 处理器)
    • tio-boot 整合 Playwright
    • 缓存网页数据
  • 36_integration_thirty_party

    • tio-boot 整合 okhttp
    • 整合 GrpahQL
    • 集成 Mailjet
    • 整合 ip2region
    • 整合 GeoLite 离线库
    • 整合 Lark 机器人指南
    • 集成 Lark Mail 实现邮件发送
    • Thymeleaf
    • Swagger
    • Clerk 验证
  • 37_dubbo

    • 概述
    • dubbo 2.6.0
    • dubbo 2.6.0 调用过程
    • dubbo 3.2.0
  • 38_spring

    • Spring Boot Web 整合 Tio Boot
    • spring-boot-starter-webflux 整合 tio-boot
    • Tio Boot 整合 Spring Boot Starter
    • Tio Boot 整合 Spring Boot Starter Data Redis 指南
  • 39_spring-cloud

    • tio-boot spring-cloud
  • 40_mysql

    • 使用 Docker 运行 MySQL
    • /zh/42_mysql/02.html
  • 41_postgresql

    • PostgreSQL 安装
    • PostgreSQL 主键自增
    • PostgreSQL 日期类型
    • Postgresql 金融类型
    • PostgreSQL 数组类型
    • PostgreSQL 全文检索
    • PostgreSQL 查询优化
    • 获取字段类型
    • PostgreSQL 向量
    • PostgreSQL 优化向量查询
    • PostgreSQL 其他
  • 43_oceanbase

    • 快速体验 OceanBase 社区版
    • 快速上手 OceanBase 数据库单机部署与管理
    • 诊断集群性能
    • 优化 SQL 性能指南
    • /zh/43_oceanbase/05.html
  • 50_media

    • JAVE 提取视频中的声音
    • Jave 提取视频中的图片
    • /zh/50_media/03.html
  • 51_asr

    • Whisper-JNI
  • 54_native-media

    • java-native-media
    • JNI 入门示例
    • mp3 拆分
    • mp4 转 mp3
    • 使用 libmp3lame 实现高质量 MP3 编码
    • Linux 编译
    • macOS 编译
    • 从 JAR 包中加载本地库文件
    • 支持的音频和视频格式
    • 任意格式转为 mp3
    • 通用格式转换
    • 通用格式拆分
    • 视频合并
    • VideoToHLS
    • split_video_to_hls 支持其他语言
    • 持久化 HLS 会话
  • 55_telegram4j

    • 数据库设计
    • /zh/55_telegram4j/02.html
    • 基于 MTProto 协议开发 Telegram 翻译机器人
    • 过滤旧消息
    • 保存机器人消息
    • 定时推送
    • 增加命令菜单
    • 使用 telegram-Client
    • 使用自定义 StoreLayout
    • 延迟测试
    • Reactor 错误处理
    • Telegram4J 常见错误处理指南
  • 56_telegram-bots

    • TelegramBots 入门指南
    • 使用工具库 telegram-bot-base 开发翻译机器人
  • 60_LLM

    • 简介
    • AI 问答
    • /zh/60_LLM/03.html
    • /zh/60_LLM/04.html
    • 增强检索(RAG)
    • 结构化数据检索
    • 搜索+AI
    • 集成第三方 API
    • 后置处理
    • 推荐问题生成
    • 连接代码执行器
    • 避免 GPT 混乱
    • /zh/60_LLM/13.html
  • 61_ai_agent

    • 数据库设计
    • 示例问题管理
    • 会话管理
    • 历史记录
    • 对接 Perplexity API
    • 意图识别与生成提示词
    • 智能问答模块设计与实现
    • 文件上传与解析文档
    • 翻译
    • 名人搜索功能实现
    • Ai studio gemini youbue 问答使用说明
    • 自建 YouTube 字幕问答系统
    • 自建 获取 youtube 字幕服务
    • 通用搜索
    • /zh/61_ai_agent/15.html
    • 16
    • 17
    • 18
    • 在 tio-boot 应用中整合 ai-agent
    • 16
  • 62_translator

    • 简介
  • 63_knowlege_base

    • 数据库设计
    • 用户登录实现
    • 模型管理
    • 知识库管理
    • 文档拆分
    • 片段向量
    • 命中测试
    • 文档管理
    • 片段管理
    • 问题管理
    • 应用管理
    • 向量检索
    • 推理问答
    • 问答模块
    • 统计分析
    • 用户管理
    • api 管理
    • 存储文件到 S3
    • 文档解析优化
    • 片段汇总
    • 段落分块与检索
    • 多文档解析
    • 对话日志
    • 检索性能优化
    • Milvus
    • 文档解析方案和费用对比
    • 离线运行向量模型
  • 64_ai-search

    • ai-search 项目简介
    • ai-search 数据库文档
    • ai-search SearxNG 搜索引擎
    • ai-search Jina Reader API
    • ai-search Jina Search API
    • ai-search 搜索、重排与读取内容
    • ai-search PDF 文件处理
    • ai-search 推理问答
    • Google Custom Search JSON API
    • ai-search 意图识别
    • ai-search 问题重写
    • ai-search 系统 API 接口 WebSocket 版本
    • ai-search 搜索代码实现 WebSocket 版本
    • ai-search 生成建议问
    • ai-search 生成问题标题
    • ai-search 历史记录
    • Discover API
    • 翻译
    • Tavily Search API 文档
    • 对接 Tavily Search
    • 火山引擎 DeepSeek
    • 对接 火山引擎 DeepSeek
    • ai-search 搜索代码实现 SSE 版本
    • jar 包部署
    • Docker 部署
    • 爬取一个静态网站的所有数据
    • 网页数据预处理
    • 网页数据检索与问答流程整合
  • 65_java-linux

    • Java 执行 python 代码
    • 通过大模型执行 Python 代码
    • MCP 协议
    • Cline 提示词
    • Cline 提示词-中文版本
  • 66_manim

    • Manim 开发环境搭建
    • 生成场景提示词
    • 生成代码
    • 完整脚本示例
    • 语音合成系统
    • Fish.audio TTS 接口说明文档与 Java 客户端封装
    • 整合 fishaudio 到 java-uni-ai-server 项目
    • 执行 Python (Manim) 代码
    • 使用 SSE 流式传输生成进度的实现文档
    • 整合全流程完整文档
    • HLS 动态推流技术文档
    • manim 分场景生成代码
    • 分场景运行代码及流式播放支持
    • 分场景业务端完整实现流程
    • Maiim布局管理器
    • 仅仅生成场景代码
    • 使用 modal 运行 manim 代码
    • Python 使用 Modal GPU 加速渲染
    • Modal 平台 GPU 环境下运行 Manim
    • Modal Manim OpenGL 安装与使用
    • 优化 GPU 加速
    • 生成视频封面流程
    • Java 调用 manim 命令 执行代码 生成封面
    • Manim 图像生成服务客户端文档
    • /zh/66_manim/25.html
    • /zh/66_manim/26.html
    • /zh/66_manim/27.html
  • 70_tio-boot-admin

    • 入门指南
    • 初始化数据
    • token 存储
    • 与前端集成
    • 文件上传
    • 网络请求
    • 图片管理
    • /zh/70_tio-boot-admin/08.html
    • Word 管理
    • PDF 管理
    • 文章管理
    • 富文本编辑器
  • 71_tio-boot

    • /zh/71_tio-boot/01.html
    • Swagger 整合到 Tio-Boot 中的指南
    • HTTP/1.1 Pipelining 性能测试报告
  • 80_性能测试

    • 压力测试 - tio-http-serer
    • 压力测试 - tio-boot
    • 压力测试 - tio-boot-native
    • 压力测试 - netty-boot
    • 性能测试对比
    • TechEmpower FrameworkBenchmarks
    • 压力测试 - tio-boot 12 C 32G
  • 99_案例

    • 封装 IP 查询服务
    • tio-boot 案例 - 全局异常捕获与企业微信群通知
    • tio-boot 案例 - 文件上传和下载
    • tio-boot 案例 - 整合 ant design pro 增删改查
    • tio-boot 案例 - 流失响应
    • tio-boot 案例 - 增强检索
    • tio-boot 案例 - 整合 function call
    • tio-boot 案例 - 定时任务 监控 PostgreSQL、Redis 和 Elasticsearch
    • Tio-Boot 案例:使用 SQLite 整合到登录注册系统
    • tio-boot 案例 - 执行 shell 命令

02

topic

证明7x5x2=7x(5x2)

场景提示

好的,下面给出 7 x 5 x 2 = 7 x (5 x 2) 的证明,以及对证明过程的解释,便于你理解:

**证明:**

根据乘法结合律,对于任意实数 a, b, 和 c,都有:

a x b x c = a x (b x c) = (a x b) x c

在本例中,a = 7,b = 5,c = 2。因此,我们可以直接应用乘法结合律来证明:

7 x 5 x 2 = 7 x (5 x 2)

**解释:**

*   **乘法结合律:**  这个定律是证明的关键。它表明,在只有乘法的运算中,改变运算顺序(通过添加括号)不会改变结果。
*   **应用:**  我们直接将乘法结合律应用于给定的表达式。左侧是三个数的连续乘积,而右侧是先计算后两个数的乘积,然后再乘以第一个数。根据结合律,这两个表达式是等价的。

**结论:**

因为乘法满足结合律,所以 7 x 5 x 2 必然等于 7 x (5 x 2)。这个等式成立,无需进行具体的数值计算。 你可以计算一下,两边都等于70,验证这个结果。

代码

# -*- coding: utf-8 -*-
import os
import numpy as np
import requests
from contextlib import contextmanager
from manim import *
import hashlib
import manimpango # For font checking

from moviepy import AudioFileClip # Correct import

# --- Font Check ---
DEFAULT_FONT = "Noto Sans CJK SC" # Example desired font for Chinese
available_fonts = manimpango.list_fonts()
final_font = None

if DEFAULT_FONT in available_fonts:
    print(f"Font '{DEFAULT_FONT}' found.")
    final_font = DEFAULT_FONT
else:
    print(f"Warning: Font '{DEFAULT_FONT}' not found. Trying fallback fonts...")
    fallback_fonts = ["PingFang SC", "Microsoft YaHei", "SimHei", "Arial Unicode MS"]
    found_fallback = False
    for font in fallback_fonts:
        if font in available_fonts:
            print(f"Switched to fallback font: '{font}'")
            final_font = font
            found_fallback = True
            break
    if not found_fallback:
        print(f"Warning: Neither '{DEFAULT_FONT}' nor fallbacks found. Using Manim default. Chinese characters may not display correctly.")
        # final_font remains None

# --- Custom Colors ---
MY_DARK_BLUE = "#1E3A8A"  # 深蓝色
MY_LIGHT_GRAY = "#F3F4F6"  # 浅灰色
MY_MEDIUM_GRAY = "#D1D5DB" # 中灰色
MY_GOLD = "#F59E0B"      # 金色
MY_ORANGE = "#F97316"    # 橙色
MY_RED = "#DC2626"       # 红色
MY_GREEN = "#10B981"     # 绿色
MY_WHITE = "#FFFFFF"     # 白色
MY_BLACK = "#000000"     # 黑色

# --- TTS Caching Setup ---
CACHE_DIR = "tts_cache"
os.makedirs(CACHE_DIR, exist_ok=True)


class CustomVoiceoverTracker:
    """Tracks audio path and duration for TTS."""

    def __init__(self, audio_path, duration):
        self.audio_path = audio_path
        self.duration = duration


def get_cache_filename(text):
    """Generates a unique filename based on the text hash."""
    # Use a hash of the text for a unique filename
    text_hash = hashlib.md5(text.encode('utf-8')).hexdigest()
    return os.path.join(CACHE_DIR, f"{text_hash}.mp3")


@contextmanager
def custom_voiceover_tts(text, token="123456", base_url="https://uni-ai.fly.dev/api/manim/tts"):
    """
    Fetches TTS audio, caches it, and provides path and duration.
    Usage: with custom_voiceover_tts("text") as tracker: ...
    """
    cache_file = get_cache_filename(text)
    audio_file = cache_file # Initialize audio_file

    if os.path.exists(cache_file):
        # print(f"Using cached TTS for: {text[:30]}...")
        audio_file = cache_file
    else:
        # print(f"Requesting TTS for: {text[:30]}...")
        try:
            # URL encode the input text to handle special characters
            input_text_encoded = requests.utils.quote(text)
            url = f"{base_url}?token={token}&input={input_text_encoded}"

            response = requests.get(url, stream=True, timeout=60) # Added timeout
            response.raise_for_status() # Raise HTTPError for bad responses (4xx or 5xx)

            with open(cache_file, "wb") as f:
                for chunk in response.iter_content(chunk_size=8192):
                    if chunk: # filter out keep-alive new chunks
                        f.write(chunk)
            audio_file = cache_file
            # print("TTS downloaded and cached.")

        except requests.exceptions.RequestException as e:
            print(f"TTS API request failed: {e}")
            # Fallback: create a dummy tracker with zero duration
            tracker = CustomVoiceoverTracker(None, 0)
            yield tracker
            return # Exit context manager
        except Exception as e:
             # Clean up potentially incomplete cache file on error
            if os.path.exists(cache_file):
                os.remove(cache_file)
            print(f"An error occurred during TTS processing: {e}")
            tracker = CustomVoiceoverTracker(None, 0)
            yield tracker
            return # Exit context manager


    # Ensure audio file exists before processing with MoviePy
    if audio_file and os.path.exists(audio_file):
        try:
            # Use context manager for AudioFileClip
            with AudioFileClip(audio_file) as clip:
                 duration = clip.duration
            # print(f"Audio duration: {duration:.2f}s")
            tracker = CustomVoiceoverTracker(audio_file, duration)
        except Exception as e:
            print(f"Error processing audio file {audio_file}: {e}")
            # Fallback if audio file is corrupted or invalid
            tracker = CustomVoiceoverTracker(None, 0)
    else:
        # Fallback if audio file was not created or found
        print(f"TTS audio file not found or not created: {audio_file}")
        tracker = CustomVoiceoverTracker(None, 0)

    try:
        yield tracker
    finally:
        # No cleanup needed here as we are caching
        pass

# --- Custom TeX Template for HTML Colors ---
HTML_COLOR_TEMPLATE = TexTemplate(
    preamble=r"""
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[HTML]{xcolor} %% <<< MUST INCLUDE THIS LINE
\usepackage{graphicx}
% Add other necessary packages like fontspec, ctex if needed
"""
)

# -----------------------------
# CombinedScene: Integrates all scenes for the proof
# -----------------------------
class CombinedScene(MovingCameraScene):
    """
    Combines scenes to prove and explain 7 x 5 x 2 = 7 x (5 x 2)
    using the associative property of multiplication.
    """
    def setup(self):
        MovingCameraScene.setup(self)
        # Set default font if found
        if final_font:
            Text.set_default(font=final_font)

    def construct(self):
        # --- Play Scenes Sequentially ---
        self.play_scene_01()
        self.clear_and_reset()

        self.play_scene_02()
        self.clear_and_reset()

        self.play_scene_03()
        self.clear_and_reset()

        self.play_scene_04()
        self.clear_and_reset()

        # End of animation message
        final_message = Text("证明完毕,感谢观看! 😄", font_size=48, color=MY_WHITE)
        bg_final = Rectangle(width=config.frame_width, height=config.frame_height, fill_color=MY_BLACK, fill_opacity=1,
                             stroke_width=0).set_z_index(-10)
        self.add(bg_final)
        self.play(FadeIn(final_message))
        self.wait(2)

    def get_scene_number(self, number_str):
        """Creates and positions the scene number."""
        scene_num = Text(number_str, font_size=24, color=MY_WHITE)
        scene_num.to_corner(UR, buff=0.3)
        scene_num.set_z_index(10)
        return scene_num

    def clear_and_reset(self):
        """Clears all objects and resets the camera."""
        # Clear updaters explicitly
        for mob in self.mobjects:
            if mob is not None and hasattr(mob, 'get_updaters') and mob.get_updaters():
                mob.clear_updaters()

        valid_mobjects = [m for m in self.mobjects if m is not None]
        all_mobjects = Group(*valid_mobjects)

        if all_mobjects:
            self.play(FadeOut(all_mobjects, shift=DOWN * 0.5), run_time=0.5)

        self.clear()

        self.camera.frame.move_to(ORIGIN)
        self.camera.frame.set(width=config.frame_width, height=config.frame_height)
        self.wait(0.1)

    # --- Scene 1: Introduction & Associative Law ---
    def play_scene_01(self):
        """Scene 1: Introduce the equation and the associative law."""
        # Background
        bg1 = Rectangle(width=config.frame_width, height=config.frame_height, fill_color=MY_DARK_BLUE, fill_opacity=1.0, stroke_width=0).set_z_index(-10)
        self.add(bg1)
        scene_num_01 = self.get_scene_number("01")
        self.add(scene_num_01)

        # Title: Combine Text and MathTex
        title_text = Text("证明:", font_size=48, color=MY_WHITE)
        title_math = MathTex("7 \\times 5 \\times 2 = 7 \\times (5 \\times 2)", font_size=52, color=MY_ORANGE)
        title_group = VGroup(title_text, title_math).arrange(RIGHT, buff=0.2)
        title_group.to_edge(UP, buff=1.5)

        # Associative Law Formula
        law_text = Text("基于乘法结合律:", font_size=36, color=MY_WHITE)
        law_formula = MathTex("a \\times b \\times c = a \\times (b \\times c) = (a \\times b) \\times c", font_size=40, color=MY_GOLD)
        law_group = VGroup(law_text, law_formula).arrange(DOWN, buff=0.4)
        law_group.next_to(title_group, DOWN, buff=1.0)

        # --- TTS Integration ---
        voice_text_01 = "我们将证明 7 乘以 5 乘以 2 等于 7 乘以 括号 5 乘以 2 括号。这个证明基于乘法的一个基本定律:结合律。"
        with custom_voiceover_tts(voice_text_01) as tracker:
            if tracker.audio_path and tracker.duration > 0:
                self.add_sound(tracker.audio_path, time_offset=0)
            else:
                print("Warning: Scene 1 TTS audio failed or has zero duration.")

            subtitle_voice = Text(
                voice_text_01, font_size=32, color=MY_WHITE,
                width=config.frame_width - 2, should_center=True
            ).to_edge(DOWN, buff=0.5)

            # Animations
            anim_runtime_title = 2.0
            anim_runtime_law = 2.5
            fade_out_duration = 1.0
            total_initial_anim_time = max(anim_runtime_title, 0.5) # Subtitle fadein is fast

            self.play(
                AnimationGroup(
                    FadeIn(subtitle_voice, run_time=0.5),
                    FadeIn(title_group, shift=DOWN*0.2, run_time=anim_runtime_title),
                    lag_ratio=0.0
                ),
                run_time=total_initial_anim_time
            )
            self.play(FadeIn(law_group, shift=UP*0.2, run_time=anim_runtime_law))

            # Calculate wait time
            elapsed_time = total_initial_anim_time + anim_runtime_law
            if tracker.duration > 0:
                remaining_time = tracker.duration - elapsed_time - fade_out_duration
                if remaining_time > 0:
                    self.wait(remaining_time)
            else:
                self.wait(1.0)

            self.play(FadeOut(subtitle_voice), run_time=fade_out_duration)

        self.wait(1)

    # --- Scene 2: Applying the Law ---
    def play_scene_02(self):
        """Scene 2: Show how the law applies to the specific numbers."""
        # Background
        bg2 = Rectangle(width=config.frame_width, height=config.frame_height, fill_color=MY_LIGHT_GRAY, fill_opacity=1.0, stroke_width=0).set_z_index(-10)
        self.add(bg2)
        scene_num_02 = self.get_scene_number("02")
        self.add(scene_num_02)

        # Explanation Text
        explanation1 = Text("根据乘法结合律,对于任意实数 a, b, 和 c,都有:", font_size=36, color=MY_BLACK)
        explanation1.to_edge(UP, buff=1.0)

        # General Law (again for reference)
        law_formula_ref = MathTex("a \\times b \\times c = a \\times (b \\times c)", font_size=40, color=MY_DARK_BLUE)
        law_formula_ref.next_to(explanation1, DOWN, buff=0.5)

        # Specific Case Explanation
        explanation2 = Text("在本例中,我们令:", font_size=36, color=MY_BLACK)
        explanation2.next_to(law_formula_ref, DOWN, buff=1.0)

        # Identify a, b, c
        var_a = MathTex("a = 7", font_size=40, color=MY_RED)
        var_b = MathTex("b = 5", font_size=40, color=MY_GREEN)
        var_c = MathTex("c = 2", font_size=40, color=MY_ORANGE)
        vars_group = VGroup(var_a, var_b, var_c).arrange(RIGHT, buff=0.8)
        vars_group.next_to(explanation2, DOWN, buff=0.5)

        # Apply the law text
        explanation3 = Text("因此,我们可以直接应用此定律得到:", font_size=36, color=MY_BLACK)
        explanation3.next_to(vars_group, DOWN, buff=1.0)

        # Specific Equation
        specific_eq = MathTex("7 \\times 5 \\times 2 = 7 \\times (5 \\times 2)", font_size=48, color=MY_DARK_BLUE)
        specific_eq.next_to(explanation3, DOWN, buff=0.5)

        # --- TTS Integration ---
        voice_text_02 = "根据乘法结合律,对于任意实数 a, b, c,都有 a 乘以 b 乘以 c 等于 a 乘以 括号 b 乘以 c 括号。 在本例中,我们让 a 等于 7,b 等于 5,c 等于 2。 因此,我们可以直接应用这个定律,得到 7 乘以 5 乘以 2 等于 7 乘以 括号 5 乘以 2 括号。"
        with custom_voiceover_tts(voice_text_02) as tracker:
            if tracker.audio_path and tracker.duration > 0:
                self.add_sound(tracker.audio_path, time_offset=0)
            else:
                print("Warning: Scene 2 TTS audio failed or has zero duration.")

            subtitle_voice = Text(
                voice_text_02, font_size=32, color=MY_BLACK,
                width=config.frame_width - 2, should_center=True
            ).to_edge(DOWN, buff=0.5)

            # Animations
            anim_exp1 = 1.5
            anim_law = 1.5
            anim_exp2 = 1.0
            anim_vars = 1.5
            anim_exp3 = 1.0
            anim_eq = 2.0
            fade_out_duration = 1.0

            self.play(
                AnimationGroup(
                    FadeIn(subtitle_voice, run_time=0.5),
                    FadeIn(explanation1, run_time=anim_exp1),
                    lag_ratio=0.0
                ),
                run_time=anim_exp1
            )
            self.play(Write(law_formula_ref), run_time=anim_law)
            self.play(FadeIn(explanation2), run_time=anim_exp2)
            self.play(LaggedStart(FadeIn(var_a), FadeIn(var_b), FadeIn(var_c), lag_ratio=0.3), run_time=anim_vars)
            self.play(FadeIn(explanation3), run_time=anim_exp3)
            self.play(Write(specific_eq), run_time=anim_eq)

            # Calculate wait time
            elapsed_time = anim_exp1 + anim_law + anim_exp2 + anim_vars + anim_exp3 + anim_eq
            if tracker.duration > 0:
                remaining_time = tracker.duration - elapsed_time - fade_out_duration
                if remaining_time > 0:
                    self.wait(remaining_time)
            else:
                self.wait(1.0)

            self.play(FadeOut(subtitle_voice), run_time=fade_out_duration)

        self.wait(1)

    # --- Scene 3: Verification Calculation ---
    def play_scene_03(self):
        """Scene 3: Calculate both sides to verify they are equal."""
        # Background
        bg3 = Rectangle(width=config.frame_width, height=config.frame_height, fill_color=MY_BLACK, fill_opacity=1.0, stroke_width=0).set_z_index(-10)
        self.add(bg3)
        scene_num_03 = self.get_scene_number("03")
        self.add(scene_num_03)

        # Title
        verify_title = Text("验证计算:", font_size=40, color=MY_WHITE)
        verify_title.to_edge(UP, buff=1.0)

        # Left Hand Side (LHS) Calculation
        lhs_title = Text("左侧 (LHS):", font_size=36, color=MY_WHITE).next_to(verify_title, DOWN, buff=0.8).align_to(verify_title, LEFT).shift(LEFT*3)
        lhs_calc1 = MathTex("LHS = 7 \\times 5 \\times 2", font_size=40, color=MY_WHITE).next_to(lhs_title, DOWN, buff=0.4, aligned_edge=LEFT)
        lhs_calc2 = MathTex("= 35 \\times 2", font_size=40, color=MY_WHITE).next_to(lhs_calc1, DOWN, buff=0.4, aligned_edge=LEFT)
        lhs_calc3 = MathTex("= 70", font_size=40, color=MY_GREEN).next_to(lhs_calc2, DOWN, buff=0.4, aligned_edge=LEFT)
        lhs_group = VGroup(lhs_title, lhs_calc1, lhs_calc2, lhs_calc3)

        # Right Hand Side (RHS) Calculation
        rhs_title = Text("右侧 (RHS):", font_size=36, color=MY_WHITE).align_to(lhs_title, UP).align_to(verify_title, RIGHT).shift(RIGHT*3)
        rhs_calc1 = MathTex("RHS = 7 \\times (5 \\times 2)", font_size=40, color=MY_WHITE).next_to(rhs_title, DOWN, buff=0.4, aligned_edge=LEFT)
        rhs_calc2 = MathTex("= 7 \\times 10", font_size=40, color=MY_WHITE).next_to(rhs_calc1, DOWN, buff=0.4, aligned_edge=LEFT)
        rhs_calc3 = MathTex("= 70", font_size=40, color=MY_GREEN).next_to(rhs_calc2, DOWN, buff=0.4, aligned_edge=LEFT)
        rhs_group = VGroup(rhs_title, rhs_calc1, rhs_calc2, rhs_calc3)

        # Result Comparison
        result_comp = MathTex("LHS = RHS = 70", font_size=48, color=MY_GOLD)
        result_comp.next_to(VGroup(lhs_group, rhs_group), DOWN, buff=1.0)

        # --- TTS Integration ---
        voice_text_03 = "我们可以分别计算等式两边的值来验证。首先看左侧:7 乘以 5 等于 35,然后 35 乘以 2 等于 70。 接着看右侧:括号里的 5 乘以 2 等于 10,然后 7 乘以 10 等于 70。 可以看到,两边的计算结果都是 70。"
        with custom_voiceover_tts(voice_text_03) as tracker:
            if tracker.audio_path and tracker.duration > 0:
                self.add_sound(tracker.audio_path, time_offset=0)
            else:
                print("Warning: Scene 3 TTS audio failed or has zero duration.")

            subtitle_voice = Text(
                voice_text_03, font_size=32, color=MY_WHITE,
                width=config.frame_width - 2, should_center=True
            ).to_edge(DOWN, buff=0.5)

            # Animations
            anim_title = 1.0
            anim_lhs_step = 1.5
            anim_rhs_step = 1.5
            anim_result = 1.5
            fade_out_duration = 1.0

            self.play(
                AnimationGroup(
                    FadeIn(subtitle_voice, run_time=0.5),
                    FadeIn(verify_title, run_time=anim_title),
                    lag_ratio=0.0
                ),
                run_time=anim_title
            )

            # LHS Calculation Steps
            self.play(FadeIn(lhs_title), Write(lhs_calc1), run_time=anim_lhs_step)
            # Highlight 7x5
            rect_lhs1 = SurroundingRectangle(lhs_calc1[0][4:7], color=MY_ORANGE, buff=0.05) # Indices for 7x5
            self.play(Create(rect_lhs1))
            self.play(TransformMatchingTex(lhs_calc1.copy(), lhs_calc2, path_arc=PI/2), FadeOut(rect_lhs1), run_time=anim_lhs_step)
            # Highlight 35x2
            rect_lhs2 = SurroundingRectangle(lhs_calc2[0][2:], color=MY_ORANGE, buff=0.05) # Indices for 35x2
            self.play(Create(rect_lhs2))
            self.play(TransformMatchingTex(lhs_calc2.copy(), lhs_calc3, path_arc=PI/2), FadeOut(rect_lhs2), run_time=anim_lhs_step)
            self.wait(0.5)

            # RHS Calculation Steps
            self.play(FadeIn(rhs_title), Write(rhs_calc1), run_time=anim_rhs_step)
            # Highlight (5x2)
            rect_rhs1 = SurroundingRectangle(rhs_calc1[0][5:10], color=MY_ORANGE, buff=0.05) # Indices for (5x2)
            self.play(Create(rect_rhs1))
            self.play(TransformMatchingTex(rhs_calc1.copy(), rhs_calc2, path_arc=-PI/2), FadeOut(rect_rhs1), run_time=anim_rhs_step)
            # Highlight 7x10
            rect_rhs2 = SurroundingRectangle(rhs_calc2[0][2:], color=MY_ORANGE, buff=0.05) # Indices for 7x10
            self.play(Create(rect_rhs2))
            self.play(TransformMatchingTex(rhs_calc2.copy(), rhs_calc3, path_arc=-PI/2), FadeOut(rect_rhs2), run_time=anim_rhs_step)
            self.wait(0.5)

            # Show final comparison
            self.play(Write(result_comp), run_time=anim_result)

            # Calculate wait time
            elapsed_time = anim_title + 3*anim_lhs_step + 0.5 + 3*anim_rhs_step + 0.5 + anim_result
            if tracker.duration > 0:
                remaining_time = tracker.duration - elapsed_time - fade_out_duration
                if remaining_time > 0:
                    self.wait(remaining_time)
            else:
                self.wait(1.0)

            self.play(FadeOut(subtitle_voice), run_time=fade_out_duration)

        self.wait(1)

    # --- Scene 4: Conclusion ---
    def play_scene_04(self):
        """Scene 4: State the conclusion based on the associative law."""
        # Background
        bg4 = Rectangle(width=config.frame_width, height=config.frame_height, fill_color=MY_DARK_BLUE, fill_opacity=1.0, stroke_width=0).set_z_index(-10)
        self.add(bg4)
        scene_num_04 = self.get_scene_number("04")
        self.add(scene_num_04)

        # Conclusion Text
        conclusion_text1 = Text("结论:", font_size=48, color=MY_WHITE, weight=BOLD)
        conclusion_text1.move_to(UP * 2.0)

        conclusion_text2 = Text("因为乘法满足结合律,", font_size=40, color=MY_WHITE)
        conclusion_text3 = Text("所以", font_size=40, color=MY_WHITE)
        conclusion_math = MathTex("7 \\times 5 \\times 2", font_size=44, color=MY_ORANGE)
        conclusion_text4 = Text("必然等于", font_size=40, color=MY_WHITE)
        conclusion_math2 = MathTex("7 \\times (5 \\times 2)", font_size=44, color=MY_ORANGE)
        conclusion_text5 = Text("。", font_size=40, color=MY_WHITE)

        line1 = VGroup(conclusion_text2).arrange(RIGHT, buff=0.2)
        line2 = VGroup(conclusion_text3, conclusion_math, conclusion_text4, conclusion_math2, conclusion_text5).arrange(RIGHT, buff=0.2)

        conclusion_group = VGroup(line1, line2).arrange(DOWN, buff=0.5, aligned_edge=LEFT)
        conclusion_group.next_to(conclusion_text1, DOWN, buff=0.8)

        # Final Statement
        final_statement = Text("这个等式成立。", font_size=40, color=MY_GREEN)
        final_statement.next_to(conclusion_group, DOWN, buff=1.0)

        # --- TTS Integration ---
        voice_text_04 = "结论:因为乘法满足结合律,所以 7 乘以 5 乘以 2 必然等于 7 乘以 括号 5 乘以 2 括号。 这个等式成立,无需进行具体的数值计算,定律本身保证了结果的正确性。"
        with custom_voiceover_tts(voice_text_04) as tracker:
            if tracker.audio_path and tracker.duration > 0:
                self.add_sound(tracker.audio_path, time_offset=0)
            else:
                print("Warning: Scene 4 TTS audio failed or has zero duration.")

            subtitle_voice = Text(
                voice_text_04, font_size=32, color=MY_WHITE,
                width=config.frame_width - 2, should_center=True
            ).to_edge(DOWN, buff=0.5)

            # Animations
            anim_conc1 = 1.0
            anim_conc_lines = 3.0 # Time to reveal the main conclusion lines
            anim_final = 1.5
            fade_out_duration = 1.0

            self.play(
                AnimationGroup(
                    FadeIn(subtitle_voice, run_time=0.5),
                    FadeIn(conclusion_text1, run_time=anim_conc1),
                    lag_ratio=0.0
                ),
                run_time=anim_conc1
            )
            # Use LaggedStart for the conclusion lines
            self.play(
                LaggedStart(
                    FadeIn(line1),
                    # Animate parts of line2
                    AnimationGroup(
                        FadeIn(conclusion_text3), Write(conclusion_math), FadeIn(conclusion_text4),
                        Write(conclusion_math2), FadeIn(conclusion_text5), lag_ratio=0.1
                    ),
                    lag_ratio=0.5 # Lag between line1 and line2 appearing
                ),
                run_time=anim_conc_lines
            )
            self.play(FadeIn(final_statement, shift=UP*0.2), run_time=anim_final)

            # Calculate wait time
            elapsed_time = anim_conc1 + anim_conc_lines + anim_final
            if tracker.duration > 0:
                remaining_time = tracker.duration - elapsed_time - fade_out_duration
                if remaining_time > 0:
                    self.wait(remaining_time)
            else:
                self.wait(1.0)

            self.play(FadeOut(subtitle_voice), run_time=fade_out_duration)

        self.wait(1)


# --- Main execution block ---
if __name__ == "__main__":
    # Basic configuration
    config.pixel_height = 1080  # Set resolution height
    config.pixel_width = 1920   # Set resolution width
    config.frame_rate = 30      # Set frame rate
    config.output_file = "CombinedScene"  # Specify output filename
    config.disable_caching = True # Disable caching

    # Set output directory using placeholder for Java replacement
    config.media_dir = r"#(output_path)" # IMPORTANT: Use the placeholder

    # Create and render the scene
    scene = CombinedScene()
    scene.render()

    print(f"Scene rendering finished. Output in: {config.media_dir}")

Video

https://manim.collegebot.ai/cache/499192080877916160/videos/1080p30/CombinedScene.mp4

Edit this page
Last Updated:
Contributors: litongjava